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+b2_amd64.deb 05-May-2018 11:12 821376 maude_2.7-2+b2_arm64.deb 05-May-2018 10:25 772520 maude_2.7-2+b2_i386.deb 05-May-2018 12:14 877240 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.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_amd64.deb 15-Dec-2020 17:27 1028508 maude_3.1-2_arm64.deb 15-Dec-2020 17:12 914520 maude_3.1-2_i386.deb 15-Dec-2020 17:42 1107520 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_amd64.deb 12-Jul-2022 15:14 1064336 maude_3.2-2_arm64.deb 12-Jul-2022 15:29 950228 maude_3.2-2_i386.deb 12-Jul-2022 14:59 1147740 maude_3.2.orig.tar.gz 19-Feb-2022 20:47 2405779 maude_3.4-1+b1_arm64.deb 01-Nov-2024 20:20 1070600 maude_3.4-1.debian.tar.xz 07-Apr-2024 11:01 6544 maude_3.4-1.dsc 07-Apr-2024 11:01 1387 maude_3.4-1_amd64.deb 07-Apr-2024 11:32 1186676 maude_3.4.orig.tar.gz 07-Apr-2024 11:01 2660916
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.