default.nix


1
2
3
4
5
6
7
8
9
10
11

with import <nixpkgs> {};

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

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

  buildPhase = "make";
}