1 2 3 4 5 6 7 8 9 10
with import <nixpkgs> {}; stdenv.mkDerivation { name = "CoqUp"; src = ./.; buildInputs = [ coq_8_10 ]; buildPhase = "make"; }