Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rocqide 9.0 release #27614

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Rocqide 9.0 release #27614

wants to merge 3 commits into from

Conversation

mattam82
Copy link
Contributor

@mattam82 mattam82 commented Mar 12, 2025 •
edited
Loading

On top of #27613.

@SkySkimmer
Copy link
Contributor 

  [ERROR] The compilation of conf-adwaita-icon-theme.2 failed at "sh -c pkg-config --short-errors --print-errors adwaita-icon-theme || test -d /usr/share/icons/Adwaita".
  [ERROR] The compilation of conf-cairo.1 failed at "pkgconf --cflags cairo".
  
  #=== ERROR while compiling conf-gtk3.18 =======================================#
  
  "pkg-config": command not found.

@mattam82 mattam82 force-pushed the rocqide-9.0-release branch from e4dfc6e to 049abde Compare March 12, 2025 21:28
@mattam82 mattam82 mentioned this pull request Mar 13, 2025
Open
@mattam82 mattam82 force-pushed the rocqide-9.0-release branch 2 times, most recently from 4806788 to 5a285ce Compare March 15, 2025 20:17
mattam82 and others added 3 commits March 17, 2025 22:15
@mattam82
Fix reverse dependencies of coq 9.0 package
3a67fda
@mattam82 @SkySkimmer @proux01
Rocq 9.0 release + Coq 9.0 compatibility packages
a3bc3c6 
Apply suggestions from code review
coqide-server and coq compat package
Remove with-test target as in 8.* packages

Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
@mattam82
RocqIDE package on top of ocaml#27613
f8c91a0
@mattam82 mattam82 force-pushed the rocqide-9.0-release branch from 5a285ce to f8c91a0 Compare March 17, 2025 21:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@SkySkimmer SkySkimmer SkySkimmer left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mattam82 @SkySkimmer