Stream: Nix toolbox devs & users

Topic: 8.16 CoqIDE


view this post on Zulip Ali Caglayan (Sep 07 2022 at 17:43):

Hi, what needs to be done to get an 8.16 CoqIDE via nixpkgs?

view this post on Zulip Ali Caglayan (Sep 07 2022 at 17:44):

I'm guessing a PR needs to be submitted to nixpkgs but I am unsure what exactly needs to be done for that

view this post on Zulip Théo Zimmermann (Sep 08 2022 at 10:12):

@Ali Caglayan No, it is already there.

view this post on Zulip Théo Zimmermann (Sep 08 2022 at 10:13):

However, we have recently split the CoqIDE package out of the main Coq package.

view this post on Zulip Théo Zimmermann (Sep 08 2022 at 10:13):

So you can do, e.g., nix-shell -p coq_8_16 coqPackages_8_16.coqide.

view this post on Zulip Théo Zimmermann (Sep 08 2022 at 10:13):

The split is effective starting with Coq 8.14 in nixpkgs-unstable / NixOS 22.11.

view this post on Zulip Théo Zimmermann (Sep 08 2022 at 10:15):

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).

view this post on Zulip Ali Caglayan (Sep 08 2022 at 13:18):

Ah ok I was missing coqPackages_8_16 thanks!

view this post on Zulip John Wiegley (Sep 08 2022 at 17:39):

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