2017-06-25 18:59:23 +02:00
|
|
|
# Autogenerated by maintainers/scripts/gnome.sh update
|
|
|
|
|
|
|
|
|
|
fetchurl: {
|
2017-12-17 06:25:48 +01:00
|
|
|
name = "devhelp-3.26.1";
|
2017-06-25 18:59:23 +02:00
|
|
|
|
|
|
|
|
src = fetchurl {
|
2017-12-17 06:25:48 +01:00
|
|
|
url = mirror://gnome/sources/devhelp/3.26/devhelp-3.26.1.tar.xz;
|
|
|
|
|
sha256 = "10bd468ae2188abd98af9ba7b81aced337d2206e9d843eb44520be5b00d77d8e";
|
2017-06-25 18:59:23 +02:00
|
|
|
};
|
|
|
|
|
}
|
