BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update download link for ssreflect.

Browse source
This commit is contained in:
Russell O'Connor 2013-07-14 23:41:55 -04:00
parent 8e9f501fd7
commit 3538f7c549
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/applications/science/logic/ssreflect/default.nix
View file

@ -15,7 +15,7 @@ stdenv.mkDerivation {
inherit name;
src = fetchurl {
url = "https://gforge.inria.fr/frs/download.php/31453/${name}-coq8.4.tar.gz";
url = "http://ssr.msr-inria.inria.fr/FTP/${name}-coq8.4.tar.gz";
sha256 = "1ysx29xw09i86lq0d92z9cnyx133jfgq4qddy3501000fn7xwi7h";
};