Index of /pub/os/linux/ubuntu/pool/universe/e/edubuntu-menueditor/

Filename	Modification time	Size
edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz	2012-05-30 22:04 CEST	7327 B
edubuntu-menueditor_1.3.5-0ubuntu2.dsc	2012-05-30 22:04 CEST	1893 B
edubuntu-menueditor_1.3.5-0ubuntu2_all.deb	2012-05-30 22:05 CEST	25 KiB
edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz	2020-01-14 21:13 CET	6772 B
edubuntu-menueditor_1.3.5-0ubuntu3.dsc	2020-01-14 21:13 CET	1937 B
edubuntu-menueditor_1.3.5-0ubuntu3_all.deb	2020-01-14 21:23 CET	21 KiB
edubuntu-menueditor_1.3.5.orig.tar.gz	2011-12-20 11:34 CET	35 KiB