../ LATEST-IS-3.13.3 06-Aug-2014 14:00 395K gnome-menus-3.13.3.changes 06-Aug-2014 14:00 2108 gnome-menus-3.13.3.news 06-Aug-2014 14:00 466 gnome-menus-3.13.3.sha256sum 06-Aug-2014 14:00 275 gnome-menus-3.13.3.tar.xz 06-Aug-2014 14:00 395K