Index of /ubuntu/pool/universe/e/edubuntu-menueditor
Name Last modified Size Description
Parent Directory -
edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz 2012-05-30 22:04 7.2K
edubuntu-menueditor_1.3.5-0ubuntu2.dsc 2012-05-30 22:04 1.8K
edubuntu-menueditor_1.3.5-0ubuntu2_all.deb 2012-05-30 22:05 25K
edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz 2020-01-14 21:13 6.6K
edubuntu-menueditor_1.3.5-0ubuntu3.dsc 2020-01-14 21:13 1.9K
edubuntu-menueditor_1.3.5-0ubuntu3_all.deb 2020-01-14 21:23 21K
edubuntu-menueditor_1.3.5.orig.tar.gz 2011-12-20 11:34 35K
Apache/2.4.62 (Debian) Server at debian.bio.lmu.de Port 443