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: Jan 29 2023 at 14:02 UTC