nixpkgs/pkgs/desktops/gnome-3/3.18/devtools
2016-01-13 15:14:08 +01:00
..
anjuta gnome3_18: Update to latest patch release 2016-01-13 15:14:08 +01:00
devhelp gnome3_18: Update to latest patch release 2016-01-13 15:14:08 +01:00
gdl
gnome-devel-docs gnome3_18: Update to latest patch release 2016-01-13 15:14:08 +01:00