diff options
author | Vladimír Čunát <v@cunat.cz> | 2019-09-08 09:42:49 +0200 |
---|---|---|
committer | Vladimír Čunát <v@cunat.cz> | 2019-09-08 09:42:49 +0200 |
commit | 252a30e39cda5e0079cd92dc51e00f059c0f1a45 (patch) | |
tree | c7fbc50597e30d7c448bd8a3e63c214e0de7e09e /pkgs/development | |
parent | 014ffdf3db2db91864500012406d389ec82c70b7 (diff) | |
download | nixlib-252a30e39cda5e0079cd92dc51e00f059c0f1a45.tar nixlib-252a30e39cda5e0079cd92dc51e00f059c0f1a45.tar.gz nixlib-252a30e39cda5e0079cd92dc51e00f059c0f1a45.tar.bz2 nixlib-252a30e39cda5e0079cd92dc51e00f059c0f1a45.tar.lz nixlib-252a30e39cda5e0079cd92dc51e00f059c0f1a45.tar.xz nixlib-252a30e39cda5e0079cd92dc51e00f059c0f1a45.tar.zst nixlib-252a30e39cda5e0079cd92dc51e00f059c0f1a45.zip |
libgap: remove unreachable path
This was clearly forgotten in 471ba670 #54202.
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/libraries/libgap/default.nix | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/pkgs/development/libraries/libgap/default.nix b/pkgs/development/libraries/libgap/default.nix deleted file mode 100644 index b6a8ae3c8dfe..000000000000 --- a/pkgs/development/libraries/libgap/default.nix +++ /dev/null @@ -1,25 +0,0 @@ -{ 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 { - pname = "libgap"; - # Has to be the same version as "gap" - version = "4.8.6"; - src = fetchurl { - url = "mirror://sageupstream/libgap/libgap-${version}.tar.gz"; - sha256 = "1h5fx5a55857w583ql7ly2jl49qyx9mvs7j5abys00ra9gzrpn5v"; - }; - buildInputs = [gmp]; - meta = { - inherit version; - description = ''A library-packaged fork of the GAP kernel''; - license = stdenv.lib.licenses.gpl3Plus; - maintainers = [stdenv.lib.maintainers.raskin]; - platforms = stdenv.lib.platforms.linux; - }; -} |