From d5547a94091e0877e0d53908c9ef19873e17e1f0 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Tue, 11 Oct 2016 14:41:44 +0200
Subject: [PATCH] libgap: init at 4.8.3

---
 pkgs/development/libraries/libgap/default.nix | 18 ++++++++++++++++++
 pkgs/top-level/all-packages.nix               |  2 ++
 2 files changed, 20 insertions(+)
 create mode 100644 pkgs/development/libraries/libgap/default.nix

diff --git a/pkgs/development/libraries/libgap/default.nix b/pkgs/development/libraries/libgap/default.nix
new file mode 100644
index 000000000000..9e0510debd02
--- /dev/null
+++ b/pkgs/development/libraries/libgap/default.nix
@@ -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;
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index fb78eb7855ed..55ff3d07e698 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -7711,6 +7711,8 @@ in
 
   libgadu = callPackage ../development/libraries/libgadu { };
 
+  libgap = callPackage ../development/libraries/libgap { };
+
   libgdata = gnome3.libgdata;
 
   libgee_0_6 = callPackage ../development/libraries/libgee/0.6.nix { };