senko.digital

Welcome to the Senko Digital mirror. This instance is hosted in Frankfurt am Main, Germany. We support HTTP, HTTPS, and rsync.

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
maude_3.4-1.dsc1.4 KiB2024-May-03 01:51
maude_2.6-4.dsc1.4 KiB2013-Oct-24 11:13
maude_3.5.1-1.dsc1.4 KiB2025-Oct-27 23:45
maude_2.7-2.dsc2.0 KiB2016-Apr-26 23:19
maude_3.1-2.dsc2.0 KiB2020-Dec-15 23:30
maude_2.7-1.dsc2.0 KiB2015-Dec-17 11:14
maude_2.7-2build2.dsc2.0 KiB2020-Mar-22 17:10
maude_3.2-2build1.dsc2.1 KiB2024-Apr-08 15:19
maude_2.6-4.debian.tar.gz5.0 KiB2013-Oct-24 11:13
maude_2.7-1.debian.tar.xz6.3 KiB2015-Dec-17 11:14
maude_3.4-1.debian.tar.xz6.4 KiB2024-May-03 01:51
maude_3.5.1-1.debian.tar.xz6.4 KiB2025-Oct-27 23:45
maude_2.7-2.debian.tar.xz6.6 KiB2016-Apr-26 23:19
maude_3.1-2.debian.tar.xz6.6 KiB2020-Dec-15 23:30
maude_2.7-2build2.debian.tar.xz6.7 KiB2020-Mar-22 17:10
maude_3.2-2build1.debian.tar.xz7.2 KiB2024-Apr-08 15:19
maude_2.7-2_armhf.deb611.4 KiB2016-Apr-27 10:27
maude_2.7-1_armhf.deb611.9 KiB2015-Dec-17 11:44
maude_2.7-1_powerpc.deb672.6 KiB2015-Dec-17 11:44
maude_2.7-2_arm64.deb674.5 KiB2016-Apr-27 03:35
maude_2.7-1_arm64.deb676.6 KiB2015-Dec-17 13:54
maude_2.7-2build2_armhf.deb678.8 KiB2020-Mar-22 20:56
maude_2.7-2build2_arm64.deb721.1 KiB2020-Mar-22 21:09
maude_2.6-4_armhf.deb728.0 KiB2013-Oct-24 11:33
maude_2.7-1_s390x.deb728.4 KiB2015-Dec-17 11:45
maude_2.7-2build2_s390x.deb731.5 KiB2020-Mar-22 20:31
maude_2.7-2_s390x.deb732.3 KiB2016-Apr-27 01:58
maude_2.7-2build2_riscv64.deb767.0 KiB2020-Apr-03 12:09
maude_2.7-1_ppc64el.deb805.9 KiB2015-Dec-17 11:45
maude_3.1-2_armhf.deb833.2 KiB2020-Dec-15 23:50
maude_2.7-2_ppc64el.deb851.7 KiB2016-Apr-27 09:11
maude_2.7-2build2_ppc64el.deb883.8 KiB2020-Mar-22 21:18
maude_3.1-2_arm64.deb889.7 KiB2020-Dec-15 23:49
maude_2.6-4_arm64.deb890.6 KiB2013-Oct-27 17:18
maude_3.1-2_riscv64.deb951.6 KiB2020-Dec-16 02:04
maude_2.6-4_powerpc.deb953.9 KiB2013-Oct-25 06:25
maude_3.2-2build1_arm64.deb1004.5 KiB2024-Apr-08 19:24
maude_3.1-2_s390x.deb1.0 MiB2020-Dec-15 23:30
maude_3.4-1_arm64.deb1.1 MiB2024-May-03 12:40
maude_3.1-2_ppc64el.deb1.1 MiB2020-Dec-15 23:30
maude_3.5.1-1_armhf.deb1.1 MiB2025-Oct-28 06:38
maude_3.5.1-1_arm64.deb1.1 MiB2025-Oct-28 06:26
maude_3.2-2build1_s390x.deb1.2 MiB2024-Apr-09 01:38
maude_3.2-2build1_riscv64.deb1.2 MiB2024-Apr-09 00:03
maude_3.2-2build1_ppc64el.deb1.2 MiB2024-Apr-08 20:09
maude_3.4-1_s390x.deb1.2 MiB2024-May-03 06:30
maude_3.5.1-1_s390x.deb1.2 MiB2025-Oct-28 23:15
maude_3.4-1_riscv64.deb1.3 MiB2024-May-06 17:11
maude_3.4-1_ppc64el.deb1.3 MiB2024-May-03 05:22
maude_3.5.1-1_riscv64.deb1.3 MiB2025-Oct-30 02:11
maude_3.5.1-1_ppc64el.deb1.4 MiB2025-Oct-28 12:45
maude_2.6.orig.tar.gz1.5 MiB2011-May-04 14:07
maude_2.7.orig.tar.gz1.6 MiB2015-Dec-17 11:14
maude_3.5.1.orig.tar.gz2.1 MiB2025-Oct-27 23:45
maude_3.1.orig.tar.gz2.2 MiB2020-Oct-31 23:18
maude_3.2.orig.tar.gz2.3 MiB2022-Feb-20 05:49
maude_3.4.orig.tar.gz2.5 MiB2024-May-03 01:51