Merge pull request #36435 from timokau/origin/ecm-update

ecm: 6.4.4 -> 7.0.4
This commit is contained in:
Gabriel Ebner 2018-03-18 13:08:34 +01:00 committed by GitHub
commit faf094adef
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,7 +2,7 @@
let
pname = "ecm";
version = "6.4.4";
version = "7.0.4";
name = "${pname}-${version}";
in
@ -10,8 +10,8 @@ stdenv.mkDerivation {
inherit name;
src = fetchurl {
url = http://gforge.inria.fr/frs/download.php/file/32159/ecm-6.4.4.tar.gz;
sha256 = "0v5h2nicz9yx78c2d72plbhi30iq4nxbvphja1s9501db4aah4y8";
url = "http://gforge.inria.fr/frs/download.php/file/36224/ecm-${version}.tar.gz";
sha256 = "0hxs24c2m3mh0nq1zz63z3sb7dhy1rilg2s1igwwcb26x3pb7xqc";
};
# See https://trac.sagemath.org/ticket/19233