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.

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

Rocqide 9.0 release #27614

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

Conversation

mattam82
Copy link
Contributor

@mattam82 mattam82 commented Mar 12, 2025

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 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
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 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
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants