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

coqPackages.interval: fix URL

Browse Source
This commit is contained in:
Vincent Laporte 2017-08-08 18:11:46 +00:00
parent 47d9b48e4d
commit 6f9d84fe64
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,8 +4,8 @@ stdenv.mkDerivation {
name = "coq${coq.coq-version}-interval-3.1.1"; name = "coq${coq.coq-version}-interval-3.1.1";
src = fetchurl { src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/36342/interval-3.1.1.tar.gz; url = https://gforge.inria.fr/frs/download.php/file/36723/interval-3.1.1.tar.gz;
sha256 = "0jzkb0xykiz9bfaminy9yd88b5w0gxcpw506yaaqmnmb43gdksyf"; sha256 = "1sqsf075c7s98mwi291bhnrv5fgd7brrqrzx51747394hndlvfw3";
}; };
nativeBuildInputs = [ which ]; nativeBuildInputs = [ which ];