pari-galdata: init at 20080411

2018-06-30 01:20:45 +02:00
parent 2f76f66998
commit 7c92c26b23
2 changed files with 28 additions and 0 deletions
@@ -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 ];
+  };
+}