../ LATEST-IS-3.10.1 15-Oct-2013 16:17 423052 gnome-menus-3.10.0.changes 02-Oct-2013 18:51 1602 gnome-menus-3.10.0.news 02-Oct-2013 18:51 487 gnome-menus-3.10.0.sha256sum 02-Oct-2013 18:51 275 gnome-menus-3.10.0.tar.xz 02-Oct-2013 18:51 400060 gnome-menus-3.10.1.changes 15-Oct-2013 16:17 145 gnome-menus-3.10.1.news 15-Oct-2013 16:17 156 gnome-menus-3.10.1.sha256sum 15-Oct-2013 16:17 275 gnome-menus-3.10.1.tar.xz 15-Oct-2013 16:17 423052