coq_8_10: 8.10+β3 → 8.10.0 #70642
Merged
coq_8_10: 8.10+β3 → 8.10.0 #70642
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ofborg
bot
requested review from
7c6f434c,
roconnor,
thoughtpolice,
Zimmi48 and
vcunat
This comment has been minimized.
This comment has been minimized.
|
It has been merged in |
|
Ah right, I misunderstood what was meant by "land in". |
|
I don’t know how long it takes for staging to be merged into master, so I propose to (temporarily) disable CoqIDE for Coq 8.10. @GrahamcOfBorg build coqPackages_8_10.interval |
|
OK to me. Longer term we may want to split the Coq and CoqIDE packages, but this will probably be easier to do after Coq has switched to Dune as the primary build system. |
Zimmi48
reviewed
Oct 15, 2019
|
BTW, I just noticed that Coq 8.10+beta2 is in nixos-19.09. Given that this is a pre-release version, shouldn't the update to 8.10+beta3, and the upcoming one to 8.10.0 (maybe after CoqIDE is made available again) be backported? |
|
The release-19.09 branch has GTK3 at 3.24.10, so you can have CoqIDE there I guess. |
GTK3 at version 3.24.11 has broken pkg-config files
coqPackages.coq-elpi: master → 1.1.0
Zimmi48
approved these changes
Oct 15, 2019
12 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation for this change
Major release.
This PR is currently a draft, waiting for #70323 to land in
master.Fixes #66217
Things done
sandboxinnix.confon non-NixOS)nix-shell -p nix-review --run "nix-review wip"./result/bin/)nix path-info -Sbefore and after)