diff options
author | Timo Kaufmann <timokau@zoho.com> | 2018-04-22 23:17:00 +0200 |
---|---|---|
committer | Timo Kaufmann <timokau@zoho.com> | 2018-06-30 01:20:44 +0200 |
commit | 68394a737ecfe74846ce53f655fd3381246e85ee (patch) | |
tree | 6d7b5eb8196d08765fdaa5d444b84c740ee8fb9b /pkgs/development/libraries | |
parent | 082169ab029b4a111309f7d9a795b88e6429222c (diff) | |
download | nixlib-68394a737ecfe74846ce53f655fd3381246e85ee.tar nixlib-68394a737ecfe74846ce53f655fd3381246e85ee.tar.gz nixlib-68394a737ecfe74846ce53f655fd3381246e85ee.tar.bz2 nixlib-68394a737ecfe74846ce53f655fd3381246e85ee.tar.lz nixlib-68394a737ecfe74846ce53f655fd3381246e85ee.tar.xz nixlib-68394a737ecfe74846ce53f655fd3381246e85ee.tar.zst nixlib-68394a737ecfe74846ce53f655fd3381246e85ee.zip |
libgap: switch to upstream url
Diffstat (limited to 'pkgs/development/libraries')
-rw-r--r-- | pkgs/development/libraries/libgap/default.nix | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/pkgs/development/libraries/libgap/default.nix b/pkgs/development/libraries/libgap/default.nix index dec9676d5729..42e812ec1f53 100644 --- a/pkgs/development/libraries/libgap/default.nix +++ b/pkgs/development/libraries/libgap/default.nix @@ -1,10 +1,17 @@ -{stdenv, fetchurl, gmp}: +{ stdenv +, fetchurl +, gmp +}: +# will probably be obsolte (or at leat built from the upstream gap sources) soon (gap 4.9?). See +# - https://github.com/gap-system/gap/projects/5#card-6239828 +# - https://github.com/markuspf/gap/issues/2 +# - https://trac.sagemath.org/ticket/22626 stdenv.mkDerivation rec { name = "libgap-${version}"; + # Has to be the same version as "gap" version = "4.8.6"; - # or fetchFromGitHub(owner,repo,rev) or fetchgit(rev) src = fetchurl { - url = "http://mirrors.mit.edu/sage/spkg/upstream/libgap/libgap-${version}.tar.gz"; + url = "mirror://sageupstream/libgap/libgap-${version}.tar.gz"; sha256 = "1h5fx5a55857w583ql7ly2jl49qyx9mvs7j5abys00ra9gzrpn5v"; }; buildInputs = [gmp]; |