Studenten Net Twente Mirror service

Index of /pub/os/linux/debian/pool/main/m/maude/

Filename Modification time Size
maude_2.7-2+b2_amd64.deb 802 KiB
maude_2.7-2+b2_arm64.deb 754 KiB
maude_2.7-2+b2_armhf.deb 668 KiB
maude_2.7-2+b2_i386.deb 857 KiB
maude_2.7-2.debian.tar.xz 6736 B
maude_2.7-2.dsc 2007 B
maude_2.7.orig.tar.gz 1625 KiB
maude_3.1-2.debian.tar.xz 6792 B
maude_3.1-2.dsc 2022 B
maude_3.1-2_amd64.deb 1004 KiB
maude_3.1-2_arm64.deb 893 KiB
maude_3.1-2_armel.deb 799 KiB
maude_3.1-2_armhf.deb 838 KiB
maude_3.1-2_i386.deb 1082 KiB
maude_3.1-2_mips64el.deb 934 KiB
maude_3.1-2_mipsel.deb 937 KiB
maude_3.1-2_ppc64el.deb 1045 KiB
maude_3.1-2_s390x.deb 888 KiB
maude_3.1.orig.tar.gz 2281 KiB
maude_3.2-2.debian.tar.xz 7276 B
maude_3.2-2.dsc 2018 B
maude_3.2-2_amd64.deb 1039 KiB
maude_3.2-2_arm64.deb 928 KiB
maude_3.2-2_armel.deb 828 KiB
maude_3.2-2_armhf.deb 870 KiB
maude_3.2-2_i386.deb 1121 KiB
maude_3.2-2_mips64el.deb 964 KiB
maude_3.2-2_mipsel.deb 967 KiB
maude_3.2-2_ppc64el.deb 1096 KiB
maude_3.2-2_s390x.deb 916 KiB
maude_3.2.orig.tar.gz 2349 KiB
maude_3.4-1+b1_arm64.deb 1046 KiB
maude_3.4-1.debian.tar.xz 6544 B
maude_3.4-1.dsc 1387 B
maude_3.4-1_amd64.deb 1159 KiB
maude_3.4-1_mips64el.deb 1048 KiB
maude_3.4-1_ppc64el.deb 1197 KiB
maude_3.4-1_riscv64.deb 1170 KiB
maude_3.4-1_s390x.deb 1181 KiB
maude_3.4.orig.tar.gz 2599 KiB