opam

27 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How does one automatically make a `COQ_PROJ.opam` install script automatically from a Coq Project/Package?
user_16015800
•
6
0
133
opam coq
How to use apt-get install in docker when there is a Could not open lock file /var/lib/apt/lists/lock - open (13: Permission denied) issue safely?
user_16015800
•
2
1
779
opam docker ubuntu linux
Include library from git in dune/opam
user_130769890
•
2
2
56
dune opam ocaml package
opam init fails on docker
user_33573520
•
2
2
128
opam ubuntu-22.04 docker
Adding an old version of Ocaml to Opam
user_73465910
•
2
1
136
opam coq switch-statement ocaml package
Merlin on Emacs (GUI) does not get merlin's configuration provided by dune
user_157225900
•
2
1
134
merlin opam ocaml-dune ocaml emacs
Is there a way with dune or opam to check that the installed ocaml compiler version is compliant with the specifications
user_51943480
•
2
0
115
opam ocaml-dune ocaml
unable to install newer opam package on travis ci image
user_132848110
•
1
0
27
opam travis-ci ocaml
Issue when installing lablgtk with opam
user_175091230
•
2
0
129
lablgtk opam wsl-2
opam init failure upon attempted OCaml installation on MacOS 10.14.16
user_69356310
•
4
4
1017
opam ocaml macos
Hot Questions