Hi, what is a simple way to drop into a dev version of Coq in a nix-shell?
If Coq had a flake, I would know how to do it, but I don't know how to do this with usual derivations.
I'm hoping I can just point to some commit in the Coq repo and tell Nix to build the default derivation
Otherwise I suppose I can cook up a quick derivation to do this, but I am wondering if it is possible via the command line
@Ali Caglayan You can do this, because Coq's derivation, already supports a pretty flexible
.override mechanism. See https://github.com/coq/coq/wiki/Nix#overriding-coq.
master, you can also provide a commit hash.
Ali Caglayan has marked this topic as resolved.
Last updated: Dec 06 2023 at 14:01 UTC