about summary refs log tree commit diff
path: root/pkgs/data
diff options
context:
space:
mode:
authorTimo Kaufmann <timokau@zoho.com>2018-04-24 16:11:57 +0200
committerTimo Kaufmann <timokau@zoho.com>2018-06-30 01:20:45 +0200
commit7c92c26b23e56ba05e717e7cef10769f1b500b95 (patch)
tree062a29fe1b8c87cce2002cafdde6fd5dcd62e6d4 /pkgs/data
parent2f76f66998d1be2e438b32efc05ad3e8a724466c (diff)
downloadnixlib-7c92c26b23e56ba05e717e7cef10769f1b500b95.tar
nixlib-7c92c26b23e56ba05e717e7cef10769f1b500b95.tar.gz
nixlib-7c92c26b23e56ba05e717e7cef10769f1b500b95.tar.bz2
nixlib-7c92c26b23e56ba05e717e7cef10769f1b500b95.tar.lz
nixlib-7c92c26b23e56ba05e717e7cef10769f1b500b95.tar.xz
nixlib-7c92c26b23e56ba05e717e7cef10769f1b500b95.tar.zst
nixlib-7c92c26b23e56ba05e717e7cef10769f1b500b95.zip
pari-galdata: init at 20080411
Diffstat (limited to 'pkgs/data')
-rw-r--r--pkgs/data/misc/pari-galdata/default.nix26
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/data/misc/pari-galdata/default.nix b/pkgs/data/misc/pari-galdata/default.nix
new file mode 100644
index 000000000000..222fd2f88707
--- /dev/null
+++ b/pkgs/data/misc/pari-galdata/default.nix
@@ -0,0 +1,26 @@
+{ stdenv
+, fetchurl
+}:
+
+stdenv.mkDerivation rec {
+  version = "20080411";
+  name = "pari-galdata-${version}";
+
+  src = fetchurl {
+    url = "http://pari.math.u-bordeaux.fr/pub/pari/packages/galdata.tgz";
+    sha256 = "1pch6bk76f1i6cwwgm7hhxi5h71m52lqayp4mnyj0jmjk406bhdp";
+  };
+
+  installPhase = ''
+    mkdir -p "$out/share/pari"
+    cp -R * "$out/share/pari/"
+  '';
+
+  meta = with stdenv.lib; {
+    description = "PARI database needed to compute Galois group in degrees 8 through 11";
+    homepage = http://pari.math.u-bordeaux.fr/;
+    license = licenses.gpl2Plus;
+    platforms = platforms.all;
+    maintainers = with maintainers; [ timokau ];
+  };
+}