If I have Nix installed, is there a simple way to get a
nix-shell with the current coq master already built? I'm trying to fix some project that no longer builds against coq master.
There's a bit of an issue with the automatic caching of new Coq master versions, so yes, but only if it happens that at least one project in coq-community or math-comp has already built the latest Coq master in CI (if you have activated the coq-community and math-comp Cachix caches).
You need to define a bundle which sets the version of Coq to
Then, you can run
nix-shell for this bundle (if it's not the default bundle, you need to provide the
bundle argument with
Last updated: Jan 29 2023 at 15:02 UTC