Index of /debian/pool/main/m/maude/

Filename	Modification time	Size
maude_3.1-2.debian.tar.xz	2020-12-15 17:47 CET	6792 B
maude_3.1-2.dsc	2020-12-15 17:47 CET	2022 B
maude_3.1-2_amd64.deb	2020-12-15 18:27 CET	1004 KiB
maude_3.1-2_arm64.deb	2020-12-15 18:12 CET	893 KiB
maude_3.1-2_armhf.deb	2020-12-15 18:42 CET	838 KiB
maude_3.1-2_i386.deb	2020-12-15 18:42 CET	1082 KiB
maude_3.1.orig.tar.gz	2020-10-31 14:56 CET	2281 KiB
maude_3.2-2.debian.tar.xz	2022-07-12 16:29 CEST	7276 B
maude_3.2-2.dsc	2022-07-12 16:29 CEST	2018 B
maude_3.2-2_amd64.deb	2022-07-12 17:14 CEST	1039 KiB
maude_3.2-2_arm64.deb	2022-07-12 17:29 CEST	928 KiB
maude_3.2-2_armel.deb	2022-07-12 18:00 CEST	828 KiB
maude_3.2-2_armhf.deb	2022-07-12 17:14 CEST	870 KiB
maude_3.2-2_i386.deb	2022-07-12 16:59 CEST	1121 KiB
maude_3.2-2_mips64el.deb	2022-07-12 18:30 CEST	964 KiB
maude_3.2-2_mipsel.deb	2022-07-12 18:00 CEST	967 KiB
maude_3.2-2_ppc64el.deb	2022-07-12 17:14 CEST	1096 KiB
maude_3.2-2_s390x.deb	2022-07-12 16:59 CEST	916 KiB
maude_3.2.orig.tar.gz	2022-02-19 21:47 CET	2349 KiB
maude_3.4-1+b1_arm64.deb	2024-11-01 21:20 CET	1046 KiB
maude_3.4-1.debian.tar.xz	2024-04-07 13:01 CEST	6544 B
maude_3.4-1.dsc	2024-04-07 13:01 CEST	1387 B
maude_3.4-1_amd64.deb	2024-04-07 13:32 CEST	1159 KiB
maude_3.4-1_mips64el.deb	2024-04-07 13:43 CEST	1048 KiB
maude_3.4-1_ppc64el.deb	2024-04-07 13:32 CEST	1197 KiB
maude_3.4-1_riscv64.deb	2024-04-08 22:25 CEST	1170 KiB
maude_3.4-1_s390x.deb	2024-04-07 14:03 CEST	1181 KiB
maude_3.4.orig.tar.gz	2024-04-07 13:01 CEST	2599 KiB