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