pyrox.dev
coqPackages.interval: Add bignums, now a required dependency
+2
-2
pkgs/development/coq-modules/interval/default.nix
+2
-2
pkgs/development/coq-modules/interval/default.nix
···
1
-
{ stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp }:
1
+
{ stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp, bignums }:
2
2
3
3
let param =
4
4
if stdenv.lib.versionAtLeast coq.coq-version "8.5"
···
21
21
};
22
22
23
23
nativeBuildInputs = [ which ];
24
-
buildInputs = [ coq ];
24
+
buildInputs = [ coq bignums ];
25
25
propagatedBuildInputs = [ coquelicot flocq mathcomp ];
26
26
27
27
configurePhase = "./configure --libdir=$out/lib/coq/${coq.coq-version}/user-contrib/Interval";