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.

Instead of `master`

, you can also provide a commit hash.

Perfect!

Ali Caglayan has marked this topic as resolved.

Last updated: May 19 2024 at 16:02 UTC