Studenten Net Twente Mirror service

Index of /pub/linux/debian-archive/debian/pool/main/f/frama-c/

Filename Modification time Size
frama-c-base_20100401+boron+dfsg-5_amd64.deb 24 MiB
frama-c-base_20100401+boron+dfsg-5_armel.deb 19 MiB
frama-c-base_20100401+boron+dfsg-5_i386.deb 23 MiB
frama-c-base_20100401+boron+dfsg-5_ia64.deb 19 MiB
frama-c-base_20100401+boron+dfsg-5_kfreebsd-amd64.deb 24 MiB
frama-c-base_20100401+boron+dfsg-5_kfreebsd-i386.deb 23 MiB
frama-c-base_20100401+boron+dfsg-5_mips.deb 19 MiB
frama-c-base_20100401+boron+dfsg-5_mipsel.deb 19 MiB
frama-c-base_20100401+boron+dfsg-5_powerpc.deb 24 MiB
frama-c-base_20100401+boron+dfsg-5_s390.deb 19 MiB
frama-c-base_20100401+boron+dfsg-5_sparc.deb 24 MiB
frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb 28 MiB
frama-c-base_20111001+nitrogen+dfsg-4_armel.deb 25 MiB
frama-c-base_20111001+nitrogen+dfsg-4_armhf.deb 18 MiB
frama-c-base_20111001+nitrogen+dfsg-4_i386.deb 28 MiB
frama-c-base_20111001+nitrogen+dfsg-4_ia64.deb 18 MiB
frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-amd64.deb 28 MiB
frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb 27 MiB
frama-c-base_20111001+nitrogen+dfsg-4_mips.deb 18 MiB
frama-c-base_20111001+nitrogen+dfsg-4_mipsel.deb 18 MiB
frama-c-base_20111001+nitrogen+dfsg-4_powerpc.deb 29 MiB
frama-c-base_20111001+nitrogen+dfsg-4_s390.deb 18 MiB
frama-c-base_20111001+nitrogen+dfsg-4_s390x.deb 18 MiB
frama-c-base_20111001+nitrogen+dfsg-4_sparc.deb 28 MiB
frama-c-base_20140301+neon+dfsg-3_amd64.deb 18 MiB
frama-c-base_20140301+neon+dfsg-3_arm64.deb 11 MiB
frama-c-base_20140301+neon+dfsg-3_armel.deb 19 MiB
frama-c-base_20140301+neon+dfsg-3_armhf.deb 20 MiB
frama-c-base_20140301+neon+dfsg-3_i386.deb 18 MiB
frama-c-base_20140301+neon+dfsg-3_kfreebsd-amd64.deb 20 MiB
frama-c-base_20140301+neon+dfsg-3_kfreebsd-i386.deb 19 MiB
frama-c-base_20140301+neon+dfsg-3_mips.deb 12 MiB
frama-c-base_20140301+neon+dfsg-3_mipsel.deb 12 MiB
frama-c-base_20140301+neon+dfsg-3_powerpc.deb 20 MiB
frama-c-base_20140301+neon+dfsg-3_ppc64el.deb 11 MiB
frama-c-base_20140301+neon+dfsg-3_s390x.deb 12 MiB
frama-c-base_20161101+silicon+dfsg-5+b1_amd64.deb 19 MiB
frama-c-base_20161101+silicon+dfsg-5+b1_arm64.deb 19 MiB
frama-c-base_20161101+silicon+dfsg-5+b1_armel.deb 20 MiB
frama-c-base_20161101+silicon+dfsg-5+b1_armhf.deb 20 MiB
frama-c-base_20161101+silicon+dfsg-5+b1_i386.deb 19 MiB
frama-c-base_20161101+silicon+dfsg-5+b1_mips.deb 7961 KiB
frama-c-base_20161101+silicon+dfsg-5+b1_mips64el.deb 7951 KiB
frama-c-base_20161101+silicon+dfsg-5+b1_mipsel.deb 7952 KiB
frama-c-base_20161101+silicon+dfsg-5+b1_ppc64el.deb 7950 KiB
frama-c-base_20161101+silicon+dfsg-5+b1_s390x.deb 7976 KiB
frama-c-base_20171101+sulfur+dfsg-2_amd64.deb 21 MiB
frama-c-base_20171101+sulfur+dfsg-2_arm64.deb 23 MiB
frama-c-base_20171101+sulfur+dfsg-2_armel.deb 13 MiB
frama-c-base_20171101+sulfur+dfsg-2_armhf.deb 21 MiB
frama-c-base_20171101+sulfur+dfsg-2_i386.deb 20 MiB
frama-c-base_20171101+sulfur+dfsg-2_mips.deb 13 MiB
frama-c-base_20171101+sulfur+dfsg-2_mips64el.deb 13 MiB
frama-c-base_20171101+sulfur+dfsg-2_mipsel.deb 13 MiB
frama-c-base_20171101+sulfur+dfsg-2_ppc64el.deb 22 MiB
frama-c-base_20171101+sulfur+dfsg-2_s390x.deb 22 MiB
frama-c-base_20201209+titanium-4.1_amd64.deb 58 MiB
frama-c-base_20201209+titanium-4.1_arm64.deb 61 MiB
frama-c-base_20201209+titanium-4.1_armel.deb 37 MiB
frama-c-base_20201209+titanium-4.1_armhf.deb 57 MiB
frama-c-base_20201209+titanium-4.1_i386.deb 56 MiB
frama-c-base_20201209+titanium-4.1_mips64el.deb 37 MiB
frama-c-base_20201209+titanium-4.1_mipsel.deb 37 MiB
frama-c-base_20201209+titanium-4.1_ppc64el.deb 60 MiB
frama-c-base_20201209+titanium-4.1_s390x.deb 58 MiB
frama-c_20100401+boron+dfsg-5.debian.tar.gz 29 KiB
frama-c_20100401+boron+dfsg-5.dsc 2202 B
frama-c_20100401+boron+dfsg-5_amd64.deb 3280 KiB
frama-c_20100401+boron+dfsg-5_armel.deb 9899 KiB
frama-c_20100401+boron+dfsg-5_i386.deb 2876 KiB
frama-c_20100401+boron+dfsg-5_ia64.deb 9962 KiB
frama-c_20100401+boron+dfsg-5_kfreebsd-amd64.deb 3282 KiB
frama-c_20100401+boron+dfsg-5_kfreebsd-i386.deb 2876 KiB
frama-c_20100401+boron+dfsg-5_mips.deb 9885 KiB
frama-c_20100401+boron+dfsg-5_mipsel.deb 9869 KiB
frama-c_20100401+boron+dfsg-5_powerpc.deb 3305 KiB
frama-c_20100401+boron+dfsg-5_s390.deb 9963 KiB
frama-c_20100401+boron+dfsg-5_sparc.deb 3147 KiB
frama-c_20100401+boron+dfsg.orig.tar.gz 1699 KiB
frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz 29 KiB
frama-c_20111001+nitrogen+dfsg-4.dsc 1949 B
frama-c_20111001+nitrogen+dfsg-4_amd64.deb 3619 KiB
frama-c_20111001+nitrogen+dfsg-4_armel.deb 3356 KiB
frama-c_20111001+nitrogen+dfsg-4_armhf.deb 1448 KiB
frama-c_20111001+nitrogen+dfsg-4_i386.deb 3221 KiB
frama-c_20111001+nitrogen+dfsg-4_ia64.deb 1535 KiB
frama-c_20111001+nitrogen+dfsg-4_kfreebsd-amd64.deb 3618 KiB
frama-c_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb 3221 KiB
frama-c_20111001+nitrogen+dfsg-4_mips.deb 1440 KiB
frama-c_20111001+nitrogen+dfsg-4_mipsel.deb 1441 KiB
frama-c_20111001+nitrogen+dfsg-4_powerpc.deb 3773 KiB
frama-c_20111001+nitrogen+dfsg-4_s390.deb 1517 KiB
frama-c_20111001+nitrogen+dfsg-4_s390x.deb 1519 KiB
frama-c_20111001+nitrogen+dfsg-4_sparc.deb 3358 KiB
frama-c_20111001+nitrogen+dfsg.orig.tar.gz 2656 KiB
frama-c_20140301+neon+dfsg-3.debian.tar.xz 23 KiB
frama-c_20140301+neon+dfsg-3.dsc 2320 B
frama-c_20140301+neon+dfsg-3_amd64.deb 3567 KiB
frama-c_20140301+neon+dfsg-3_arm64.deb 1181 KiB
frama-c_20140301+neon+dfsg-3_armel.deb 3571 KiB
frama-c_20140301+neon+dfsg-3_armhf.deb 3666 KiB
frama-c_20140301+neon+dfsg-3_i386.deb 3316 KiB
frama-c_20140301+neon+dfsg-3_kfreebsd-amd64.deb 3567 KiB
frama-c_20140301+neon+dfsg-3_kfreebsd-i386.deb 3315 KiB
frama-c_20140301+neon+dfsg-3_mips.deb 1151 KiB
frama-c_20140301+neon+dfsg-3_mipsel.deb 1167 KiB
frama-c_20140301+neon+dfsg-3_powerpc.deb 3212 KiB
frama-c_20140301+neon+dfsg-3_ppc64el.deb 1171 KiB
frama-c_20140301+neon+dfsg-3_s390x.deb 1205 KiB
frama-c_20140301+neon+dfsg.orig.tar.gz 2764 KiB
frama-c_20161101+silicon+dfsg-5+b1_amd64.deb 10 MiB
frama-c_20161101+silicon+dfsg-5+b1_arm64.deb 10 MiB
frama-c_20161101+silicon+dfsg-5+b1_armel.deb 10 MiB
frama-c_20161101+silicon+dfsg-5+b1_armhf.deb 10 MiB
frama-c_20161101+silicon+dfsg-5+b1_i386.deb 9866 KiB
frama-c_20161101+silicon+dfsg-5+b1_mips.deb 2117 KiB
frama-c_20161101+silicon+dfsg-5+b1_mips64el.deb 2121 KiB
frama-c_20161101+silicon+dfsg-5+b1_mipsel.deb 2121 KiB
frama-c_20161101+silicon+dfsg-5+b1_ppc64el.deb 2130 KiB
frama-c_20161101+silicon+dfsg-5+b1_s390x.deb 2152 KiB
frama-c_20161101+silicon+dfsg-5.debian.tar.xz 26 KiB
frama-c_20161101+silicon+dfsg-5.dsc 2408 B
frama-c_20161101+silicon+dfsg.orig.tar.gz 6523 KiB
frama-c_20171101+sulfur+dfsg-2.debian.tar.xz 23 KiB
frama-c_20171101+sulfur+dfsg-2.dsc 1832 B
frama-c_20171101+sulfur+dfsg.orig.tar.gz 6955 KiB
frama-c_20201209+titanium-4.1.debian.tar.xz 16 KiB
frama-c_20201209+titanium-4.1.dsc 2375 B
frama-c_20201209+titanium.orig.tar.gz 6166 KiB