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 | |
parent | 2f76f66998d1be2e438b32efc05ad3e8a724466c (diff) | |
download | nixlib-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
-rw-r--r-- | pkgs/data/misc/pari-galdata/default.nix | 26 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 28 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 ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 1d15dafdf1fe..7cc7938bdcf4 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -14806,6 +14806,8 @@ with pkgs; paratype-pt-sans = callPackage ../data/fonts/paratype-pt/sans.nix {}; paratype-pt-serif = callPackage ../data/fonts/paratype-pt/serif.nix {}; + pari-galdata = callPackage ../data/misc/pari-galdata {}; + poly = callPackage ../data/fonts/poly { }; posix_man_pages = callPackage ../data/documentation/man-pages-posix { }; |