../ LATEST-IS-3.7.90 19-Feb-2013 04:23 9531384 gnome-devel-docs-3.7.2.news 22-Nov-2012 06:46 107 gnome-devel-docs-3.7.2.sha256sum 22-Nov-2012 06:46 190 gnome-devel-docs-3.7.2.tar.xz 22-Nov-2012 06:46 9429044 gnome-devel-docs-3.7.90.news 19-Feb-2013 04:23 318 gnome-devel-docs-3.7.90.sha256sum 19-Feb-2013 04:23 192 gnome-devel-docs-3.7.90.tar.xz 19-Feb-2013 04:23 9531384