libgap: init at 4.8.3
This commit is contained in:
parent
e35a8d52ab
commit
d5547a9409
18
pkgs/development/libraries/libgap/default.nix
Normal file
18
pkgs/development/libraries/libgap/default.nix
Normal file
@ -0,0 +1,18 @@
|
|||||||
|
{stdenv, fetchurl, gmp}:
|
||||||
|
stdenv.mkDerivation rec {
|
||||||
|
name = "libgap-${version}";
|
||||||
|
version = "4.8.3";
|
||||||
|
# or fetchFromGitHub(owner,repo,rev) or fetchgit(rev)
|
||||||
|
src = fetchurl {
|
||||||
|
url = "http://mirrors.mit.edu/sage/spkg/upstream/libgap/libgap-${version}.tar.gz";
|
||||||
|
sha256 = "0ng4wlw7bj63spf4vkdp43v3ja1fp782lxzdsyf51x26z21idrsq";
|
||||||
|
};
|
||||||
|
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;
|
||||||
|
};
|
||||||
|
}
|
@ -7711,6 +7711,8 @@ in
|
|||||||
|
|
||||||
libgadu = callPackage ../development/libraries/libgadu { };
|
libgadu = callPackage ../development/libraries/libgadu { };
|
||||||
|
|
||||||
|
libgap = callPackage ../development/libraries/libgap { };
|
||||||
|
|
||||||
libgdata = gnome3.libgdata;
|
libgdata = gnome3.libgdata;
|
||||||
|
|
||||||
libgee_0_6 = callPackage ../development/libraries/libgee/0.6.nix { };
|
libgee_0_6 = callPackage ../development/libraries/libgee/0.6.nix { };
|
||||||
|
Loading…
x
Reference in New Issue
Block a user