Filename Modification time Size maude_2.6-4.debian.tar.gz 2013-10-24 13:13 CEST 5144 B maude_2.6-4.dsc 2013-10-24 13:13 CEST 1399 B maude_2.6-4_amd64.deb 2013-10-24 13:33 CEST 913 KiB maude_2.6-4_i386.deb 2013-10-24 13:33 CEST 878 KiB maude_2.6.orig.tar.gz 2011-05-04 16:07 CEST 1563 KiB maude_2.7-1.debian.tar.xz 2015-12-17 12:14 CET 6428 B maude_2.7-1.dsc 2015-12-17 12:14 CET 2038 B maude_2.7-1_amd64.deb 2015-12-17 12:44 CET 755 KiB maude_2.7-1_i386.deb 2015-12-17 12:44 CET 776 KiB maude_2.7-2.debian.tar.xz 2016-04-27 01:19 CEST 6736 B maude_2.7-2.dsc 2016-04-27 01:19 CEST 2007 B maude_2.7-2_amd64.deb 2016-04-27 05:26 CEST 811 KiB maude_2.7-2_i386.deb 2016-04-27 05:41 CEST 776 KiB maude_2.7-2build2.debian.tar.xz 2020-03-22 18:10 CET 6840 B maude_2.7-2build2.dsc 2020-03-22 18:10 CET 2070 B maude_2.7-2build2_amd64.deb 2020-03-22 19:10 CET 812 KiB maude_2.7.orig.tar.gz 2015-12-17 12:14 CET 1625 KiB maude_3.1-2.debian.tar.xz 2020-12-16 00:30 CET 6792 B maude_3.1-2.dsc 2020-12-16 00:30 CET 2022 B maude_3.1-2_amd64.deb 2020-12-16 00:49 CET 1002 KiB maude_3.1.orig.tar.gz 2020-11-01 00:18 CET 2281 KiB maude_3.2-2.debian.tar.xz 2022-07-13 11:29 CEST 7276 B maude_3.2-2.dsc 2022-07-13 11:29 CEST 2018 B maude_3.2-2_amd64.deb 2022-07-13 11:29 CEST 1030 KiB maude_3.2-2build1.debian.tar.xz 2024-04-08 17:19 CEST 7384 B maude_3.2-2build1.dsc 2024-04-08 17:19 CEST 2125 B maude_3.2-2build1_amd64.deb 2024-04-08 18:11 CEST 1051 KiB maude_3.2.orig.tar.gz 2022-02-20 06:49 CET 2349 KiB maude_3.4-1.debian.tar.xz 2024-05-03 03:51 CEST 6544 B maude_3.4-1.dsc 2024-05-03 03:51 CEST 1387 B maude_3.4-1_amd64.deb 2024-05-03 05:29 CEST 1143 KiB maude_3.4.orig.tar.gz 2024-05-03 03:51 CEST 2599 KiB
