diff options
author | Timo Kaufmann <timokau@zoho.com> | 2018-04-24 16:11:57 +0200 |
---|---|---|
committer | Timo Kaufmann <timokau@zoho.com> | 2018-06-30 01:20:45 +0200 |
commit | 7c92c26b23e56ba05e717e7cef10769f1b500b95 (patch) | |
tree | 062a29fe1b8c87cce2002cafdde6fd5dcd62e6d4 /pkgs/data/misc/pari-galdata | |
parent | 2f76f66998d1be2e438b32efc05ad3e8a724466c (diff) |
pari-galdata: init at 20080411
Diffstat (limited to 'pkgs/data/misc/pari-galdata')
-rw-r--r-- | pkgs/data/misc/pari-galdata/default.nix | 26 |
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 0000000000000..222fd2f887070 --- /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 ]; + }; +} |