List Question
20 TechQA 2024-03-11T04:35:10.577000Completely clean up local opam package after failed installation
23 views
Asked by mushroom
Installing Dune with the help of Opam
64 views
Asked by user172501
Different environment of MSYS2 MINGW64 shell as standalone terminal and in Visual Studio Code
28 views
Asked by user172501
ocaml-lsp-server giving "unbound module" errors
103 views
Asked by Aaron Gostein
opam upgrade to most recent version failure
131 views
Asked by Marietta Galea
How to include Z3 in Dune project?
93 views
Asked by laifs
Opam switch not working: "error Buffer *OCaml* has no process"
121 views
Asked by Tariot
Force OPAM to reinstall a local git repo
109 views
Asked by Timmmm
Install z3 library for Ocaml by Cygwin64 (Windows 11)
113 views
Asked by Tuan Minh
opam switch install in foreign chroot picks version for host architecture, not guest architecture
89 views
Asked by user149408
Is there a way to activate the default opam switch on shell startup?
276 views
Asked by Cpt_Catnip
opam: unknown option `--bare', hence can't initialize
101 views
Asked by user549067
opam switch install (in foreign chroot with QEMU) is extremely slow, about 75–90 minutes
115 views
Asked by user149408
opam init fails because curl fails to verify the certificate
96 views
Asked by user149408
What is the tag for menhir for coq 8.12 when installing it with opam install -y?
28 views
Asked by Charlie Parker
How do I install ocamlfind first properly before other opam packages without root permissions?
210 views
Asked by Charlie Parker
How does one make sure that coq project installed correctly when it doesn't seem to appear on opam list?
44 views
Asked by Charlie Parker
What is the proper way to install bubblewrap for opam (ideally without admin priviledges)?
1k views
Asked by Charlie Parker