coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0

This commit is contained in:
Vincent Laporte 2015-12-03 19:30:19 +01:00
parent 95f6a9e147
commit dc6b4e7fdd
3 changed files with 8 additions and 6 deletions

View File

@ -3,11 +3,11 @@
stdenv.mkDerivation rec {
name = "coq-flocq-${coq.coq-version}-${version}";
version = "2.4.0";
version = "2.5.0";
src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/33979/flocq-2.4.0.tar.gz;
sha256 = "020x4nkkrvndkvp5zwb9vads8a2jh603khcwrm40yhqldgfd8zlv";
url = https://gforge.inria.fr/frs/download.php/file/35091/flocq-2.5.0.tar.gz;
sha256 = "0v3qiaz7vxfc5nk8rxwi39mik7hm7p5kb040q2pimb69qgfl6vml";
};
buildInputs = [ coq.ocaml coq.camlp5 bash which autoconf automake ];

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, which, coq, flocq, mathcomp }:
stdenv.mkDerivation {
name = "coq-interval-${coq.coq-version}-2.0.0";
name = "coq-interval-${coq.coq-version}-2.1.0";
src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/34294/interval-2.0.0.tar.gz;
sha256 = "0wx0z07nhx88hwl20icgb5w4mx6s5pn7mhzyx5jn8f7yl1m46ad2";
url = https://gforge.inria.fr/frs/download.php/file/35092/interval-2.1.0.tar.gz;
sha256 = "02sn8mh85kxwn7681h2z6r7vnac9idh4ik3hbmr2yvixizakb70b";
};
nativeBuildInputs = [ which ];

View File

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