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 https://github.com/timbertson/opam2nix/issues/21 it could soon be. Does someone else had a take on that?


Last updated: Feb 05 2023 at 13:02 UTC