JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

coq-interval: 2.1.0 -> 2.2.1

Browse Source
This commit is contained in:
Vincent Laporte 2016-01-06 09:35:05 +01:00
parent e182ddf008
commit ca8ef0fa1d
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/coq-modules/interval/default.nix
View File

@ -1,16 +1,16 @@
{ stdenv, fetchurl, which, coq, flocq, mathcomp }:
{ stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp }:
stdenv.mkDerivation {
name = "coq-interval-${coq.coq-version}-2.1.0";
name = "coq-interval-${coq.coq-version}-2.2.1";
src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/35092/interval-2.1.0.tar.gz;
sha256 = "02sn8mh85kxwn7681h2z6r7vnac9idh4ik3hbmr2yvixizakb70b";
url = https://gforge.inria.fr/frs/download.php/file/35431/interval-2.2.1.tar.gz;
sha256 = "1i6v7da9mf6907sa803xa0llsf9lj4akxbrl8rma6gsdgff2d78n";
};
nativeBuildInputs = [ which ];
buildInputs = [ coq ];
propagatedBuildInputs = [ flocq mathcomp ];
propagatedBuildInputs = [ coquelicot flocq mathcomp ];
configurePhase = "./configure --libdir=$out/lib/coq/${coq.coq-version}/user-contrib/Interval";
buildPhase = "./remake";

2
pkgs/top-level/all-packages.nix
View File

@ -15033,6 +15033,8 @@ let
flocq = callPackage ../development/coq-modules/flocq {};
interval = callPackage ../development/coq-modules/interval {};
mathcomp = callPackage ../development/coq-modules/mathcomp { };
ssreflect = callPackage ../development/coq-modules/ssreflect { };