blob: e22a74ccdec949e5de1b6ee3abfff3950545ce26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
with import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/00197eff36bb8f7dd7f53a59f730e1fd8e11b1f4.tar.gz") {};
let
ncoq = coq_8_14;
ncoqPackages = coqPackages_8_14;
in
ncoqPackages.mkCoqDerivation {
pname = "biteq";
owner = "ymherklotz";
defaultVersion = "0.1.0";
src = ./.;
buildInputs = [ ncoq ];
enableParallelBuilding = true;
}
|