Does anyone know why opam pin add coq 'https://github.com/SkySkimmer/coq.git#test-minimizer-general-tycon' -y
would install the tip of Coq master? Cf https://github.com/JasonGross/coq-tools/issues/217#issuecomment-2344119969
hmm, did you explicitly say it's a git repo? -k git
may need something like git+https
instead of just https to be able to specify the branch using #
Ooh, good catch, it's probably me forgetting git+https
Oh, I bet what's happening is that pinning coq to git doesn't change coq-core et al, and all get treated as version "dev" so "= version" doesn't constrain them
(git+https didn't work any better)
@Jason Gross if you consistently pin all of coq-core
, coq-stdlib
the same way as coq
before you pin coq
, it should work
You can also not mention the package name in the pin, and it will pin all packages defined in the repository
Ooh, I'll try that, thanks
Try to use opam 2.2 if you can; has many fixes w.r.t. pinning
I'm using whatever is in the coq.dev docker image
as can be seen here this Docker image uses opam 2.2.1 (bumped from 2.2.0 two days ago)
Last updated: Oct 13 2024 at 01:02 UTC