-
Jan Tojnar authored
Nix [1] is purely functional package manager allowing to easily install dependencies in a reproducible manner. The expression is mostly taken from Coq [2] verbatim. [1]: https://nixos.org/nix/ [2]: https://gitlab.com/coq/coq/blob/master/default.nix