2015-09-25 01:36:01 -07:00
|
|
|
# Autogenerated by maintainers/scripts/gnome.sh update
|
|
|
|
|
|
|
|
|
|
fetchurl: {
|
2016-01-22 05:03:13 -08:00
|
|
|
name = "gedit-3.18.3";
|
2015-09-25 01:36:01 -07:00
|
|
|
|
|
|
|
|
src = fetchurl {
|
2016-01-22 05:03:13 -08:00
|
|
|
url = mirror://gnome/sources/gedit/3.18/gedit-3.18.3.tar.xz;
|
|
|
|
|
sha256 = "6762ac0d793b0f754a2da5f88739d04fa39daa7491c5c46401d24bcef76c32e7";
|
2015-09-25 01:36:01 -07:00
|
|
|
};
|
|
|
|
|
}
|
