coqPackages.interval: 2.2.1 -> 3.1.1

This commit is contained in:
Vincent Laporte 2017-01-28 06:54:33 +00:00 committed by vbgl
parent dedba2a32d
commit 8bfce24045

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp }: { stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp }:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "coq-interval-${coq.coq-version}-2.2.1"; name = "coq${coq.coq-version}-interval-3.1.1";
src = fetchurl { src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/35431/interval-2.2.1.tar.gz; url = https://gforge.inria.fr/frs/download.php/file/36342/interval-3.1.1.tar.gz;
sha256 = "1i6v7da9mf6907sa803xa0llsf9lj4akxbrl8rma6gsdgff2d78n"; sha256 = "0jzkb0xykiz9bfaminy9yd88b5w0gxcpw506yaaqmnmb43gdksyf";
}; };
nativeBuildInputs = [ which ]; nativeBuildInputs = [ which ];