coq

Nix is a great package manager that can be used to control various complex environments easily, such as Coq development with ocaml extraction with various dependencies.