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.
../ maude_2.7-2.debian.tar.xz 05-Apr-2016 08:56 6736 maude_2.7-2.dsc 05-Apr-2016 08:56 2007 maude_2.7-2_armhf.deb 11-Apr-2016 10:08 606384 maude_2.7.orig.tar.gz 16-Dec-2015 22:06 1663708 maude_3.1-2.debian.tar.xz 15-Dec-2020 16:47 6792 maude_3.1-2.dsc 15-Dec-2020 16:47 2022 maude_3.1-2_armhf.deb 21-Dec-2020 21:28 755000 maude_3.1.orig.tar.gz 31-Oct-2020 13:56 2335693 maude_3.2-2.debian.tar.xz 12-Jul-2022 14:29 7276 maude_3.2-2.dsc 12-Jul-2022 14:29 2018 maude_3.2-2_armhf.deb 18-Jul-2022 10:08 782844 maude_3.2.orig.tar.gz 19-Feb-2022 20:47 2405779
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.