The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu-ports/pool/universe/e/edubuntu-menueditor/


../
edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz   30-May-2012 20:04                7327
edubuntu-menueditor_1.3.5-0ubuntu2.dsc             30-May-2012 20:04                1893
edubuntu-menueditor_1.3.5-0ubuntu2_all.deb         30-May-2012 20:05               26106
edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz   14-Jan-2020 20:13                6772
edubuntu-menueditor_1.3.5-0ubuntu3.dsc             14-Jan-2020 20:13                1937
edubuntu-menueditor_1.3.5-0ubuntu3_all.deb         14-Jan-2020 20:23               22012
edubuntu-menueditor_1.3.5.orig.tar.gz              20-Dec-2011 10:34               36162

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.