Posted on :: Tags:


$ opam switch create with-coq 4.10.2

$ opam repo add coq-released

$ opam pin add coq 8.19.2 # opam pin add coq $VERSION (can be used to upgrade by mentioning new version)


To use the switch, do the following

$ opam switch with-coq
$ eval $(opam env --switch=with-coq)

Copyright © Dipesh Kafle. All rights reserved. | Powered by Zola & Apollo