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/m/maude/

../
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_arm64.deb                              27-Oct-2013 17:18              911932
maude_2.6-4_armhf.deb                              24-Oct-2013 11:33              745444
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_arm64.deb                              17-Dec-2015 13:54              692878
maude_2.7-1_armhf.deb                              17-Dec-2015 11:44              626628
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_arm64.deb                              27-Apr-2016 03:35              690708
maude_2.7-2_armhf.deb                              27-Apr-2016 10:27              626120
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_arm64.deb                        22-Mar-2020 21:09              738372
maude_2.7-2build2_armhf.deb                        22-Mar-2020 20:56              695100
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_arm64.deb                              15-Dec-2020 23:49              911032
maude_3.1-2_armhf.deb                              15-Dec-2020 23:50              853228
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_arm64.deb                              13-Jul-2022 09:29             1005172
maude_3.2-2_armhf.deb                              13-Jul-2022 09:29              997168
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_arm64.deb                        08-Apr-2024 19:24             1028642
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_arm64.deb                              03-May-2024 12:40             1125966
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.