../ LATEST-IS-3.7.90 18-Feb-2013 20:23 9M gnome-devel-docs-3.7.2.news 21-Nov-2012 22:46 107 gnome-devel-docs-3.7.2.sha256sum 21-Nov-2012 22:46 190 gnome-devel-docs-3.7.2.tar.xz 21-Nov-2012 22:46 9M gnome-devel-docs-3.7.90.news 18-Feb-2013 20:23 318 gnome-devel-docs-3.7.90.sha256sum 18-Feb-2013 20:23 192 gnome-devel-docs-3.7.90.tar.xz 18-Feb-2013 20:23 9M