File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
maude_3.4-1.dsc1.4 KiB2024-Apr-07 12:01
maude_2.7-2.dsc2.0 KiB2016-Apr-05 09:56
maude_3.2-2.dsc2.0 KiB2022-Jul-12 15:29
maude_3.1-2.dsc2.0 KiB2020-Dec-15 17:47
maude_3.4-1.debian.tar.xz6.4 KiB2024-Apr-07 12:01
maude_2.7-2.debian.tar.xz6.6 KiB2016-Apr-05 09:56
maude_3.1-2.debian.tar.xz6.6 KiB2020-Dec-15 17:47
maude_3.2-2.debian.tar.xz7.1 KiB2022-Jul-12 15:29
maude_2.7-2+b2_armhf.deb667.6 KiB2018-May-05 18:11
maude_2.7-2+b2_arm64.deb754.4 KiB2018-May-05 11:25
maude_3.1-2_armel.deb798.7 KiB2020-Dec-15 18:57
maude_2.7-2+b2_amd64.deb802.1 KiB2018-May-05 12:12
maude_3.2-2_armel.deb827.7 KiB2022-Jul-12 17:00
maude_3.1-2_armhf.deb838.2 KiB2020-Dec-15 18:42
maude_2.7-2+b2_i386.deb856.7 KiB2018-May-05 13:14
maude_3.2-2_armhf.deb869.8 KiB2022-Jul-12 16:14
maude_3.1-2_s390x.deb887.7 KiB2020-Dec-15 19:43
maude_3.1-2_arm64.deb893.1 KiB2020-Dec-15 18:12
maude_3.2-2_s390x.deb916.3 KiB2022-Jul-12 15:59
maude_3.2-2_arm64.deb928.0 KiB2022-Jul-12 16:29
maude_3.1-2_mips64el.deb934.0 KiB2020-Dec-15 18:57
maude_3.1-2_mipsel.deb937.1 KiB2020-Dec-16 20:55
maude_3.2-2_mips64el.deb963.7 KiB2022-Jul-12 17:30
maude_3.2-2_mipsel.deb966.8 KiB2022-Jul-12 17:00
maude_3.1-2_amd64.deb1004.4 KiB2020-Dec-15 18:27
maude_3.2-2_amd64.deb1.0 MiB2022-Jul-12 16:14
maude_3.1-2_ppc64el.deb1.0 MiB2020-Dec-15 18:27
maude_3.4-1+b1_arm64.deb1.0 MiB2024-Nov-01 21:20
maude_3.4-1_mips64el.deb1.0 MiB2024-Apr-07 12:43
maude_3.1-2_i386.deb1.1 MiB2020-Dec-15 18:42
maude_3.2-2_ppc64el.deb1.1 MiB2022-Jul-12 16:14
maude_3.2-2_i386.deb1.1 MiB2022-Jul-12 15:59
maude_3.4-1_amd64.deb1.1 MiB2024-Apr-07 12:32
maude_3.4-1_riscv64.deb1.1 MiB2024-Apr-08 21:25
maude_3.4-1_s390x.deb1.2 MiB2024-Apr-07 13:03
maude_3.4-1_ppc64el.deb1.2 MiB2024-Apr-07 12:32
maude_2.7.orig.tar.gz1.6 MiB2015-Dec-16 23:06
maude_3.1.orig.tar.gz2.2 MiB2020-Oct-31 14:56
maude_3.2.orig.tar.gz2.3 MiB2022-Feb-19 21:47
maude_3.4.orig.tar.gz2.5 MiB2024-Apr-07 12:01