../ 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-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 maude_3.5.1-1.debian.tar.xz 27-Oct-2025 23:45 6580 maude_3.5.1-1.dsc 27-Oct-2025 23:45 1425 maude_3.5.1-1_amd64.deb 28-Oct-2025 06:03 1235272 maude_3.5.1-1_amd64v3.deb 28-Oct-2025 06:21 1262784 maude_3.5.1.orig.tar.gz 27-Oct-2025 23:45 2239270
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.