default.nix


1
2
3
4
5
6
7
8
9

with import <nixpkgs> {};

stdenv.mkDerivation {
  name = "CoqUp";
  src = ./.;

  buildInputs = [ coq_8_10 ocamlPackages.menhir dune
                  ocaml ocamlPackages.findlib ];
}