Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in opam
How can I switch the opam compiler in an easy way and what is the --set-switch flag?
Jun 01, 2026
ocaml
opam
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?
Jun 01, 2026
linux
docker
ubuntu
opam
cannot install OCaml on windows: permission error
May 28, 2026
ocaml
opam
lablgtk can't find gtk+ 2.0 on Mac
May 18, 2026
macos
gtk
opam
lablgtk
how to uninstall opam...?
Apr 28, 2026
ocaml
opam
Basic Ocaml: How do I compile this?
Apr 22, 2026
ocaml
opam
Opam is always locked by a lock file
Mar 25, 2026
ocaml
opam
Managing dynamic dependencies in OCaml
Mar 13, 2026
ocaml
opam
opam upgrade wants to downgrade a bunch of packages
Feb 23, 2026
ocaml
opam
utop error: No such package: sexplib.syntax - required by `core.syntax'
Feb 23, 2026
emacs
ocaml
opam
utop
opam init fails on docker
Nov 07, 2025
docker
opam
ubuntu-22.04
How to change Coq Version in Proof General?
Oct 23, 2025
emacs
rocq-prover
opam
proof-general
unbound module in OCaml / dune build
Oct 23, 2025
ocaml
opam
ocaml-dune
Switch environment in OPAM
Oct 22, 2025
ocaml
opam
Use OUnit module in OCaml - Unbound module OUnit error
Mar 23, 2023
unit-testing
ocaml
opam
ounit
opam install error "no solution found"
Mar 08, 2023
ocaml
opam
How to list current package versions in OPAM?
Feb 10, 2023
ocaml
opam
Older Entries »