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: Jun 03 2023 at 18:01 UTC