tjh.dev
1{ lib, stdenv
2, fetchurl
3}:
4
5stdenv.mkDerivation {
6 version = "20090618";
7 pname = "pari-seadata-small";
8
9 src = fetchurl {
10 url = "http://pari.math.u-bordeaux.fr/pub/pari/packages/seadata-small.tgz";
11 sha256 = "13qafribxwkz8h3haa0cng7arz0kh7398br4y7vqs9ib8w9yjnxz";
12 };
13
14 installPhase = ''
15 mkdir -p "$out/share/pari"
16 cp -R * "$out/share/pari/"
17 '';
18
19 meta = with lib; {
20 description = "PARI database needed by ellap for large primes";
21 homepage = "http://pari.math.u-bordeaux.fr/";
22 license = licenses.gpl2Plus;
23 platforms = platforms.all;
24 maintainers = teams.sage.members;
25 };
26}