blob: d0bb7467220ba0c61e1a37555be874cd72bacde8 (
plain)
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";
}
|