Stream: coq-community devs & users

Topic: opam & nix

view this post on Zulip Cyril Cohen (Jun 02 2020 at 12:26):

Hi, with @Erik Martin-Dorel we briefely talked this morning about opam and nix packaging (in the context of mathcomp), I am not sure how much has been discussed on coq+coq-community side. AFAIK the template from coq-community uses a meta.yml file to generate both and not one from the other (and discharges the burden of finding correct nix versions on the user). After the last Coq user&developer workshop, I investigated using opam2nix and eventually found out it was not ready yet. But according to it could soon be. Does someone else had a take on that?

Last updated: Jun 03 2023 at 18:01 UTC