2016-09-18 12:35:23 -07:00
|
|
|
{ stdenv, fetchurl, gnome3, intltool, itstool, libxml2 }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 05:41:18 -07:00
|
|
|
pname = "gnome-devel-docs";
|
2020-11-24 19:26:56 -08:00
|
|
|
version = "3.38.2";
|
2018-02-25 12:07:20 -08:00
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 05:41:18 -07:00
|
|
|
url = "mirror://gnome/sources/gnome-devel-docs/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2020-11-24 19:26:56 -08:00
|
|
|
sha256 = "1h6481hbz1c5p69r6h96hbgf560lhp1jibszscgw0s2yikdh6q8n";
|
2018-02-25 12:07:20 -08:00
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript { packageName = "gnome-devel-docs"; attrPath = "gnome3.gnome-devel-docs"; };
|
|
|
|
};
|
2016-09-18 12:35:23 -07:00
|
|
|
|
|
|
|
buildInputs = [ intltool itstool libxml2 ];
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2020-03-31 18:11:51 -07:00
|
|
|
homepage = "https://github.com/GNOME/gnome-devel-docs";
|
2016-09-18 12:35:23 -07:00
|
|
|
description = "Developer documentation for GNOME";
|
2020-04-01 05:40:51 -07:00
|
|
|
maintainers = teams.gnome.members;
|
2016-09-18 12:35:23 -07:00
|
|
|
license = licenses.fdl12;
|
|
|
|
platforms = platforms.linux;
|
|
|
|
};
|
|
|
|
}
|