../ LATEST-IS-3.10.1 15-Oct-2013 19:17 413K gnome-menus-3.10.0.changes 02-Oct-2013 21:51 1602 gnome-menus-3.10.0.news 02-Oct-2013 21:51 487 gnome-menus-3.10.0.sha256sum 02-Oct-2013 21:51 275 gnome-menus-3.10.0.tar.xz 02-Oct-2013 21:51 391K gnome-menus-3.10.1.changes 15-Oct-2013 19:17 145 gnome-menus-3.10.1.news 15-Oct-2013 19:17 156 gnome-menus-3.10.1.sha256sum 15-Oct-2013 19:17 275 gnome-menus-3.10.1.tar.xz 15-Oct-2013 19:17 413K