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/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_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.