2021-01-11 07:54:33 +00:00
|
|
|
{ lib, stdenv
|
2018-04-24 15:10:46 +01:00
|
|
|
, fetchurl
|
|
|
|
}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "graphs";
|
2021-04-16 14:25:33 +01:00
|
|
|
version = "20210214";
|
2018-04-24 15:10:46 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2021-05-05 13:04:07 +01:00
|
|
|
url = "mirror://sageupstream/${pname}/${pname}-${version}.tar.bz2";
|
2021-04-16 14:25:33 +01:00
|
|
|
sha256 = "sha256-ByN8DZhTYRUFw4n9e7klAMh0P1YxurtND0Xf2DMvN0E=";
|
2018-04-24 15:10:46 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p "$out/share/graphs"
|
|
|
|
cp * "$out/share/graphs/"
|
|
|
|
'';
|
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2018-04-24 15:10:46 +01:00
|
|
|
description = "A database of graphs";
|
|
|
|
license = licenses.gpl2;
|
|
|
|
platforms = platforms.all;
|
2020-11-17 19:41:33 +00:00
|
|
|
maintainers = teams.sage.members;
|
2018-04-24 15:10:46 +01:00
|
|
|
};
|
|
|
|
}
|