diff options
Diffstat (limited to 'nixpkgs/pkgs/data/misc/pari-galdata/default.nix')
-rw-r--r-- | nixpkgs/pkgs/data/misc/pari-galdata/default.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/data/misc/pari-galdata/default.nix b/nixpkgs/pkgs/data/misc/pari-galdata/default.nix new file mode 100644 index 000000000000..c76734628050 --- /dev/null +++ b/nixpkgs/pkgs/data/misc/pari-galdata/default.nix @@ -0,0 +1,26 @@ +{ lib, stdenv +, fetchurl +}: + +stdenv.mkDerivation { + version = "20080411"; + pname = "pari-galdata"; + + 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 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 = teams.sage.members; + }; +} |