Package coq has no known version 8.15.0 in the repositoriesĪnyone know what is going on? Seems puzzling. (base) brandomiranda~ ❯ opam pin add coq 8.15.0 Set that up? yīut then when I go get and pin coq opam can't find it: (default is 'no', use 'f' to choose a different file) yĪ hook can be added to opam's init scripts to ensure that the shell remains in sync with the opam environment when they are loaded. You can always re-run this setup with 'opam init' later.ĭo you want opam to modify ~/.zshrc? Otherwise, every time you want to access your opam installation, you will ] || source /Users/brandomiranda/.opam/opam-init/init.zsh > /dev/null 2> /dev/null Your zsh configuration by adding the following line to ~/.zshrc: If you allow it to, this initialisation step will update However, to best integrate with your system, some environment variables In normal operation, opam only alters files within ~/.opam. So I went to the instructions to download coq (). I got a new machine (mac book m1, not sure if it matters) and I noticed I didn't … have Coq:
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |