Index of /old/debian/pool/main/d/deskmenu/

../
deskmenu_1.4.5.dsc                                 03-Oct-2017 09:14                 765
deskmenu_1.4.5.tar.gz                              03-Oct-2017 09:15              127599
deskmenu_1.4.5_amd64.deb                           24-Aug-2017 09:28               17730
deskmenu_1.4.5_i386.deb                            24-Aug-2017 09:42               16422