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.6-4.debian.tar.gz 24-Oct-2013 11:13 5144 maude_2.6-4.dsc 24-Oct-2013 11:13 1399 maude_2.6-4_amd64.deb 24-Oct-2013 11:33 935406 maude_2.6-4_i386.deb 24-Oct-2013 11:33 898992 maude_2.6.orig.tar.gz 04-May-2011 14:07 1600026 maude_2.7-1.debian.tar.xz 17-Dec-2015 11:14 6428 maude_2.7-1.dsc 17-Dec-2015 11:14 2038 maude_2.7-1_amd64.deb 17-Dec-2015 11:44 773018 maude_2.7-1_i386.deb 17-Dec-2015 11:44 794314 maude_2.7-2.debian.tar.xz 26-Apr-2016 23:19 6736 maude_2.7-2.dsc 26-Apr-2016 23:19 2007 maude_2.7-2_amd64.deb 27-Apr-2016 03:26 830462 maude_2.7-2_i386.deb 27-Apr-2016 03:41 794430 maude_2.7-2build2.debian.tar.xz 22-Mar-2020 17:10 6840 maude_2.7-2build2.dsc 22-Mar-2020 17:10 2070 maude_2.7-2build2_amd64.deb 22-Mar-2020 18:10 831588 maude_2.7.orig.tar.gz 17-Dec-2015 11:14 1663708 maude_3.1-2.debian.tar.xz 15-Dec-2020 23:30 6792 maude_3.1-2.dsc 15-Dec-2020 23:30 2022 maude_3.1-2_amd64.deb 15-Dec-2020 23:49 1026164 maude_3.1.orig.tar.gz 31-Oct-2020 23:18 2335693 maude_3.2-2.debian.tar.xz 13-Jul-2022 09:29 7276 maude_3.2-2.dsc 13-Jul-2022 09:29 2018 maude_3.2-2_amd64.deb 13-Jul-2022 09:29 1055192 maude_3.2-2build1.debian.tar.xz 08-Apr-2024 15:19 7384 maude_3.2-2build1.dsc 08-Apr-2024 15:19 2125 maude_3.2-2build1_amd64.deb 08-Apr-2024 16:11 1076044 maude_3.2.orig.tar.gz 20-Feb-2022 05:49 2405779 maude_3.4-1.debian.tar.xz 03-May-2024 01:51 6544 maude_3.4-1.dsc 03-May-2024 01:51 1387 maude_3.4-1_amd64.deb 03-May-2024 03:29 1170882 maude_3.4.orig.tar.gz 03-May-2024 01:51 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.