Hi, what needs to be done to get an 8.16 CoqIDE via nixpkgs?
I'm guessing a PR needs to be submitted to nixpkgs but I am unsure what exactly needs to be done for that
@Ali Caglayan No, it is already there.
However, we have recently split the CoqIDE package out of the main Coq package.
So you can do, e.g., nix-shell -p coq_8_16 coqPackages_8_16.coqide
.
The split is effective starting with Coq 8.14 in nixpkgs-unstable / NixOS 22.11.
And if you have a recent enough nixpkgs (e.g., master, but in any case, more recent than the current nixpkgs-unstable), then you will get Coq 8.16.0 (instead of Coq 8.16+rc1).
Ah ok I was missing coqPackages_8_16 thanks!
Théo Zimmermann said:
And if you have a recent enough nixpkgs (e.g., master, but in any case, more recent than the current nixpkgs-unstable), then you will get Coq 8.16.0 (instead of Coq 8.16+rc1).
Thanks for this note. I cherry-picked that updating commit into my nixpkgs-unstable branch, and it's all working well.
Last updated: Jun 11 2023 at 00:30 UTC