Index of /pub/linux/debian/pool/main/d/deskmenu/

Filename	Modification time	Size
deskmenu_1.4.5+b2_amd64.deb	2019-07-29 06:30 CEST	16 KiB
deskmenu_1.4.5+b2_arm64.deb	2019-07-29 05:43 CEST	16 KiB
deskmenu_1.4.5+b2_armhf.deb	2019-07-29 05:59 CEST	14 KiB
deskmenu_1.4.5+b2_i386.deb	2019-07-29 05:59 CEST	17 KiB
deskmenu_1.4.5.dsc	2010-02-16 08:47 CET	765 B
deskmenu_1.4.5.tar.gz	2010-02-16 08:47 CET	125 KiB