nixpkgs/pkgs/desktops/gnome-3/devtools
2019-04-05 12:13:38 +02:00
..
anjuta gdl: rename from gnome3.gdl 2019-01-21 12:03:34 +01:00
devhelp gnome3.devhelp: 3.30.1 -> 3.32.0 2019-04-05 12:13:38 +02:00
gnome-devel-docs gnome3.gnome-devel-docs: 3.28.0 → 3.30.2 2018-11-30 21:35:01 +01:00
nemiver gnome3: stop using aliases 2019-02-14 02:31:15 +01:00