File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
maude_3.4.orig.tar.gz	2.5 MiB	2024-Apr-07 04:01
maude_3.2.orig.tar.gz	2.3 MiB	2022-Feb-19 13:47
maude_3.1.orig.tar.gz	2.2 MiB	2020-Oct-31 06:56
maude_3.5.1.orig.tar.gz	2.1 MiB	2025-Oct-25 04:28
maude_3.5.1-1_i386.deb	1.3 MiB	2025-Oct-25 05:00
maude_3.5.1-1_ppc64el.deb	1.2 MiB	2025-Oct-25 04:55
maude_3.5.1-1_amd64.deb	1.2 MiB	2025-Oct-25 05:00
maude_3.5.1-1_riscv64.deb	1.2 MiB	2025-Oct-26 11:46
maude_3.5.1-1_s390x.deb	1.2 MiB	2025-Oct-25 18:25
maude_3.4-1_ppc64el.deb	1.2 MiB	2024-Apr-07 04:32
maude_3.4-1_s390x.deb	1.2 MiB	2024-Apr-07 05:03
maude_3.4-1_riscv64.deb	1.1 MiB	2024-Apr-08 13:25
maude_3.5.1-1+b1_loong64.deb	1.1 MiB	2026-Apr-22 03:48
maude_3.4-1_amd64.deb	1.1 MiB	2024-Apr-07 04:32
maude_3.2-2_i386.deb	1.1 MiB	2022-Jul-12 07:59
maude_3.2-2_ppc64el.deb	1.1 MiB	2022-Jul-12 08:14
maude_3.1-2_i386.deb	1.1 MiB	2020-Dec-15 10:42
maude_3.5.1-1+b1_arm64.deb	1.0 MiB	2026-Jan-20 11:07
maude_3.4-1+b1_arm64.deb	1.0 MiB	2024-Nov-01 13:20
maude_3.2-2_amd64.deb	1.0 MiB	2022-Jul-12 08:14
maude_3.5.1-1_armhf.deb	1023.0 KiB	2025-Oct-25 04:54
maude_3.1-2_amd64.deb	1004.4 KiB	2020-Dec-15 10:27
maude_3.2-2_mipsel.deb	966.8 KiB	2022-Jul-12 09:00
maude_3.2-2_mips64el.deb	963.7 KiB	2022-Jul-12 09:30
maude_3.2-2_arm64.deb	928.0 KiB	2022-Jul-12 08:29
maude_3.2-2_s390x.deb	916.3 KiB	2022-Jul-12 07:59
maude_3.1-2_arm64.deb	893.1 KiB	2020-Dec-15 10:12
maude_3.2-2_armhf.deb	869.8 KiB	2022-Jul-12 08:14
maude_3.1-2_armhf.deb	838.2 KiB	2020-Dec-15 10:42
maude_3.2-2_armel.deb	827.7 KiB	2022-Jul-12 09:00
maude_3.2-2.debian.tar.xz	7.1 KiB	2022-Jul-12 07:29
maude_3.1-2.debian.tar.xz	6.6 KiB	2020-Dec-15 09:47
maude_3.5.1-1.debian.tar.xz	6.4 KiB	2025-Oct-25 04:28
maude_3.4-1.debian.tar.xz	6.4 KiB	2024-Apr-07 04:01
maude_3.1-2.dsc	2.0 KiB	2020-Dec-15 09:47
maude_3.2-2.dsc	2.0 KiB	2022-Jul-12 07:29
maude_3.5.1-1.dsc	1.4 KiB	2025-Oct-25 04:28
maude_3.4-1.dsc	1.4 KiB	2024-Apr-07 04:01