../ gnome-user-docs_3.4.2-1+build1.debian.tar.gz 06-Aug-2012 19:47 4393 gnome-user-docs_3.4.2-1+build1.dsc 06-Aug-2012 19:47 2156 gnome-user-docs_3.4.2.orig.tar.xz 02-Jun-2012 22:33 7692224 gnome-user-guide_3.4.2-1+build1_all.deb 06-Aug-2012 19:47 6414842