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

ssreflect: fix url

Browse Source
This commit is contained in:
Evgeny Egorochkin 2013-07-14 00:38:34 +03:00
parent 4c952c64de
commit 0f99aace03
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; inherit name;
src = fetchurl { src = fetchurl {
url = "${webpage}/${name}-coq8.4.tar.gz"; url = "https://gforge.inria.fr/frs/download.php/31453/${name}-coq8.4.tar.gz";
sha256 = "1ysx29xw09i86lq0d92z9cnyx133jfgq4qddy3501000fn7xwi7h"; sha256 = "1ysx29xw09i86lq0d92z9cnyx133jfgq4qddy3501000fn7xwi7h";
}; };