Studenten Net Twente Mirror service

Index of /debian-archive/debian/pool/main/a/acl2/

Filename Modification time Size
acl2-books-certs_2.9-2_all.deb 289 KiB
acl2-books-certs_3.1-1_all.deb 4850 KiB
acl2-books-certs_4.0-3_all.deb 1961 KiB
acl2-books-certs_4.3-3_all.deb 4323 KiB
acl2-books-certs_6.5-2_all.deb 6347 KiB
acl2-books-certs_6.5-2~bpo70+1_all.deb 19 MiB
acl2-books-certs_7.2dfsg-3_all.deb 52 MiB
acl2-books-source_2.9-2_all.deb 1207 KiB
acl2-books-source_3.1-1_all.deb 2193 KiB
acl2-books-source_4.0-3_all.deb 5163 KiB
acl2-books-source_4.3-3_all.deb 6311 KiB
acl2-books-source_6.5-2_all.deb 6794 KiB
acl2-books-source_6.5-2~bpo70+1_all.deb 10 MiB
acl2-books-source_7.2dfsg-3_all.deb 10 MiB
acl2-books_2.9-2_alpha.deb 1393 KiB
acl2-books_2.9-2_arm.deb 904 KiB
acl2-books_2.9-2_hppa.deb 6646 KiB
acl2-books_2.9-2_i386.deb 814 KiB
acl2-books_2.9-2_ia64.deb 1479 KiB
acl2-books_2.9-2_m68k.deb 782 KiB
acl2-books_2.9-2_mips.deb 1091 KiB
acl2-books_2.9-2_mipsel.deb 1069 KiB
acl2-books_2.9-2_powerpc.deb 1236 KiB
acl2-books_2.9-2_s390.deb 923 KiB
acl2-books_2.9-2_sparc.deb 972 KiB
acl2-books_3.1-1_alpha.deb 2777 KiB
acl2-books_3.1-1_amd64.deb 2214 KiB
acl2-books_3.1-1_arm.deb 1647 KiB
acl2-books_3.1-1_hppa.deb 7590 KiB
acl2-books_3.1-1_i386.deb 1578 KiB
acl2-books_3.1-1_ia64.deb 2913 KiB
acl2-books_3.1-1_m68k.deb 1590 KiB
acl2-books_3.1-1_mips.deb 2010 KiB
acl2-books_3.1-1_mipsel.deb 1986 KiB
acl2-books_3.1-1_powerpc.deb 2269 KiB
acl2-books_3.1-1_s390.deb 1744 KiB
acl2-books_3.1-1_sparc.deb 1860 KiB
acl2-books_4.0-3_amd64.deb 37 MiB
acl2-books_4.0-3_armel.deb 33 MiB
acl2-books_4.0-3_i386.deb 32 MiB
acl2-books_4.0-3_ia64.deb 40 MiB
acl2-books_4.0-3_kfreebsd-amd64.deb 37 MiB
acl2-books_4.0-3_kfreebsd-i386.deb 32 MiB
acl2-books_4.0-3_mips.deb 37 MiB
acl2-books_4.0-3_mipsel.deb 13 MiB
acl2-books_4.0-3_powerpc.deb 42 MiB
acl2-books_4.0-3_s390.deb 40 MiB
acl2-books_4.0-3_sparc.deb 35 MiB
acl2-books_4.3-3_amd64.deb 15 MiB
acl2-books_4.3-3_armel.deb 36 MiB
acl2-books_4.3-3_armhf.deb 36 MiB
acl2-books_4.3-3_i386.deb 13 MiB
acl2-books_4.3-3_ia64.deb 18 MiB
acl2-books_4.3-3_kfreebsd-amd64.deb 15 MiB
acl2-books_4.3-3_kfreebsd-i386.deb 13 MiB
acl2-books_4.3-3_mips.deb 16 MiB
acl2-books_4.3-3_mipsel.deb 15 MiB
acl2-books_4.3-3_powerpc.deb 15 MiB
acl2-books_4.3-3_s390.deb 13 MiB
acl2-books_4.3-3_s390x.deb 15 MiB
acl2-books_4.3-3_sparc.deb 15 MiB
acl2-books_6.5-2_amd64.deb 22 MiB
acl2-books_6.5-2_arm64.deb 22 MiB
acl2-books_6.5-2_armel.deb 65 MiB
acl2-books_6.5-2_armhf.deb 67 MiB
acl2-books_6.5-2_i386.deb 21 MiB
acl2-books_6.5-2_kfreebsd-amd64.deb 22 MiB
acl2-books_6.5-2_kfreebsd-i386.deb 18 MiB
acl2-books_6.5-2_mips.deb 20 MiB
acl2-books_6.5-2_mipsel.deb 20 MiB
acl2-books_6.5-2_powerpc.deb 18 MiB
acl2-books_6.5-2_ppc64el.deb 19 MiB
acl2-books_6.5-2_s390x.deb 20 MiB
acl2-books_6.5-2~bpo70+1_amd64.deb 47 MiB
acl2-books_7.2dfsg-3_amd64.deb 103 MiB
acl2-books_7.2dfsg-3_arm64.deb 104 MiB
acl2-books_7.2dfsg-3_armel.deb 86 MiB
acl2-books_7.2dfsg-3_armhf.deb 92 MiB
acl2-books_7.2dfsg-3_i386.deb 86 MiB
acl2-books_7.2dfsg-3_mips.deb 71 MiB
acl2-books_7.2dfsg-3_mips64el.deb 108 MiB
acl2-books_7.2dfsg-3_mipsel.deb 74 MiB
acl2-books_7.2dfsg-3_ppc64el.deb 99 MiB
acl2-books_7.2dfsg-3_s390x.deb 102 MiB
acl2-doc_2.9-2_all.deb 1750 KiB
acl2-doc_3.1-1_all.deb 1972 KiB
acl2-doc_4.0-3_all.deb 2760 KiB
acl2-doc_4.3-3_all.deb 354 KiB
acl2-doc_6.5-2_all.deb 1633 KiB
acl2-doc_6.5-2~bpo70+1_all.deb 2238 KiB
acl2-doc_7.2dfsg-3_all.deb 372 KiB
acl2-emacs_2.9-2_all.deb 48 KiB
acl2-emacs_3.1-1_all.deb 49 KiB
acl2-emacs_4.0-3_all.deb 57 KiB
acl2-emacs_4.3-3_all.deb 59 KiB
acl2-emacs_6.5-2_all.deb 59 KiB
acl2-emacs_6.5-2~bpo70+1_all.deb 71 KiB
acl2-emacs_7.2dfsg-3_all.deb 63 KiB
acl2-infix-source_2.9-2_all.deb 82 KiB
acl2-infix-source_3.1-1_all.deb 83 KiB
acl2-infix-source_4.0-3_all.deb 87 KiB
acl2-infix-source_4.3-3_all.deb 89 KiB
acl2-infix-source_6.5-2_all.deb 78 KiB
acl2-infix-source_6.5-2~bpo70+1_all.deb 90 KiB
acl2-infix-source_7.2dfsg-3_all.deb 77 KiB
acl2-infix_2.9-2_alpha.deb 285 KiB
acl2-infix_2.9-2_arm.deb 204 KiB
acl2-infix_2.9-2_hppa.deb 382 KiB
acl2-infix_2.9-2_i386.deb 177 KiB
acl2-infix_2.9-2_ia64.deb 344 KiB
acl2-infix_2.9-2_m68k.deb 174 KiB
acl2-infix_2.9-2_mips.deb 251 KiB
acl2-infix_2.9-2_mipsel.deb 239 KiB
acl2-infix_2.9-2_powerpc.deb 307 KiB
acl2-infix_2.9-2_s390.deb 178 KiB
acl2-infix_2.9-2_sparc.deb 249 KiB
acl2-infix_3.1-1_alpha.deb 251 KiB
acl2-infix_3.1-1_amd64.deb 194 KiB
acl2-infix_3.1-1_arm.deb 186 KiB
acl2-infix_3.1-1_hppa.deb 408 KiB
acl2-infix_3.1-1_i386.deb 168 KiB
acl2-infix_3.1-1_ia64.deb 297 KiB
acl2-infix_3.1-1_m68k.deb 191 KiB
acl2-infix_3.1-1_mips.deb 197 KiB
acl2-infix_3.1-1_mipsel.deb 192 KiB
acl2-infix_3.1-1_powerpc.deb 243 KiB
acl2-infix_3.1-1_s390.deb 162 KiB
acl2-infix_3.1-1_sparc.deb 218 KiB
acl2-infix_4.0-3_amd64.deb 420 KiB
acl2-infix_4.0-3_armel.deb 384 KiB
acl2-infix_4.0-3_i386.deb 381 KiB
acl2-infix_4.0-3_ia64.deb 560 KiB
acl2-infix_4.0-3_kfreebsd-amd64.deb 421 KiB
acl2-infix_4.0-3_kfreebsd-i386.deb 380 KiB
acl2-infix_4.0-3_mips.deb 427 KiB
acl2-infix_4.0-3_mipsel.deb 187 KiB
acl2-infix_4.0-3_powerpc.deb 511 KiB
acl2-infix_4.0-3_s390.deb 449 KiB
acl2-infix_4.0-3_sparc.deb 442 KiB
acl2-infix_4.3-3_amd64.deb 199 KiB
acl2-infix_4.3-3_armel.deb 369 KiB
acl2-infix_4.3-3_armhf.deb 401 KiB
acl2-infix_4.3-3_i386.deb 180 KiB
acl2-infix_4.3-3_ia64.deb 256 KiB
acl2-infix_4.3-3_kfreebsd-amd64.deb 201 KiB
acl2-infix_4.3-3_kfreebsd-i386.deb 178 KiB
acl2-infix_4.3-3_mips.deb 226 KiB
acl2-infix_4.3-3_mipsel.deb 214 KiB
acl2-infix_4.3-3_powerpc.deb 218 KiB
acl2-infix_4.3-3_s390.deb 167 KiB
acl2-infix_4.3-3_s390x.deb 190 KiB
acl2-infix_4.3-3_sparc.deb 212 KiB
acl2-infix_6.5-2_amd64.deb 147 KiB
acl2-infix_6.5-2_arm64.deb 149 KiB
acl2-infix_6.5-2_armel.deb 403 KiB
acl2-infix_6.5-2_armhf.deb 424 KiB
acl2-infix_6.5-2_i386.deb 148 KiB
acl2-infix_6.5-2_kfreebsd-amd64.deb 145 KiB
acl2-infix_6.5-2_kfreebsd-i386.deb 147 KiB
acl2-infix_6.5-2_mips.deb 145 KiB
acl2-infix_6.5-2_mipsel.deb 146 KiB
acl2-infix_6.5-2_powerpc.deb 136 KiB
acl2-infix_6.5-2_ppc64el.deb 152 KiB
acl2-infix_6.5-2_s390x.deb 138 KiB
acl2-infix_6.5-2~bpo70+1_amd64.deb 219 KiB
acl2-infix_7.2dfsg-3_amd64.deb 410 KiB
acl2-infix_7.2dfsg-3_arm64.deb 420 KiB
acl2-infix_7.2dfsg-3_armel.deb 382 KiB
acl2-infix_7.2dfsg-3_armhf.deb 401 KiB
acl2-infix_7.2dfsg-3_i386.deb 381 KiB
acl2-infix_7.2dfsg-3_mips.deb 408 KiB
acl2-infix_7.2dfsg-3_mips64el.deb 424 KiB
acl2-infix_7.2dfsg-3_mipsel.deb 426 KiB
acl2-infix_7.2dfsg-3_ppc64el.deb 413 KiB
acl2-infix_7.2dfsg-3_s390x.deb 408 KiB
acl2-source_2.9-2_all.deb 2002 KiB
acl2-source_3.1-1_all.deb 2216 KiB
acl2-source_4.0-3_all.deb 2955 KiB
acl2-source_4.3-3_all.deb 3212 KiB
acl2-source_6.5-2_all.deb 2700 KiB
acl2-source_6.5-2~bpo70+1_all.deb 3777 KiB
acl2-source_7.2dfsg-3_all.deb 2819 KiB
acl2_2.9-2.diff.gz 18 KiB
acl2_2.9-2.dsc 794 B
acl2_2.9-2_alpha.deb 15 MiB
acl2_2.9-2_arm.deb 14 MiB
acl2_2.9-2_hppa.deb 14 MiB
acl2_2.9-2_i386.deb 13 MiB
acl2_2.9-2_ia64.deb 16 MiB
acl2_2.9-2_m68k.deb 13 MiB
acl2_2.9-2_mips.deb 14 MiB
acl2_2.9-2_mipsel.deb 13 MiB
acl2_2.9-2_powerpc.deb 15 MiB
acl2_2.9-2_s390.deb 14 MiB
acl2_2.9-2_sparc.deb 21 MiB
acl2_2.9.orig.tar.gz 5081 KiB
acl2_3.1-1.diff.gz 13 KiB
acl2_3.1-1.dsc 822 B
acl2_3.1-1_alpha.deb 16 MiB
acl2_3.1-1_amd64.deb 18 MiB
acl2_3.1-1_arm.deb 16 MiB
acl2_3.1-1_hppa.deb 15 MiB
acl2_3.1-1_i386.deb 15 MiB
acl2_3.1-1_ia64.deb 17 MiB
acl2_3.1-1_m68k.deb 15 MiB
acl2_3.1-1_mips.deb 15 MiB
acl2_3.1-1_mipsel.deb 14 MiB
acl2_3.1-1_powerpc.deb 17 MiB
acl2_3.1-1_s390.deb 16 MiB
acl2_3.1-1_sparc.deb 17 MiB
acl2_3.1.orig.tar.gz 6572 KiB
acl2_4.0-3.diff.gz 16 KiB
acl2_4.0-3.dsc 1168 B
acl2_4.0-3_amd64.deb 25 MiB
acl2_4.0-3_armel.deb 22 MiB
acl2_4.0-3_i386.deb 21 MiB
acl2_4.0-3_ia64.deb 24 MiB
acl2_4.0-3_kfreebsd-amd64.deb 25 MiB
acl2_4.0-3_kfreebsd-i386.deb 21 MiB
acl2_4.0-3_mips.deb 22 MiB
acl2_4.0-3_mipsel.deb 21 MiB
acl2_4.0-3_powerpc.deb 24 MiB
acl2_4.0-3_s390.deb 24 MiB
acl2_4.0-3_sparc.deb 26 MiB
acl2_4.0.orig.tar.gz 11 MiB
acl2_4.3-3.debian.tar.gz 18 KiB
acl2_4.3-3.dsc 1491 B
acl2_4.3-3_amd64.deb 27 MiB
acl2_4.3-3_armel.deb 23 MiB
acl2_4.3-3_armhf.deb 22 MiB
acl2_4.3-3_i386.deb 23 MiB
acl2_4.3-3_ia64.deb 25 MiB
acl2_4.3-3_kfreebsd-amd64.deb 27 MiB
acl2_4.3-3_kfreebsd-i386.deb 23 MiB
acl2_4.3-3_mips.deb 24 MiB
acl2_4.3-3_mipsel.deb 23 MiB
acl2_4.3-3_powerpc.deb 25 MiB
acl2_4.3-3_s390.deb 25 MiB
acl2_4.3-3_s390x.deb 29 MiB
acl2_4.3-3_sparc.deb 27 MiB
acl2_4.3.orig.tar.gz 15 MiB
acl2_6.5-2.debian.tar.xz 125 KiB
acl2_6.5-2.dsc 1807 B
acl2_6.5-2_amd64.deb 16 MiB
acl2_6.5-2_arm64.deb 14 MiB
acl2_6.5-2_armel.deb 13 MiB
acl2_6.5-2_armhf.deb 14 MiB
acl2_6.5-2_i386.deb 13 MiB
acl2_6.5-2_kfreebsd-amd64.deb 16 MiB
acl2_6.5-2_kfreebsd-i386.deb 13 MiB
acl2_6.5-2_mips.deb 13 MiB
acl2_6.5-2_mipsel.deb 13 MiB
acl2_6.5-2_powerpc.deb 13 MiB
acl2_6.5-2_ppc64el.deb 14 MiB
acl2_6.5-2_s390x.deb 15 MiB
acl2_6.5-2~bpo70+1.debian.tar.gz 160 KiB
acl2_6.5-2~bpo70+1.dsc 2401 B
acl2_6.5-2~bpo70+1_amd64.deb 24 MiB
acl2_6.5.orig-books.tar.gz 14 MiB
acl2_6.5.orig.tar.gz 6047 KiB
acl2_7.2dfsg-3.debian.tar.xz 199 KiB
acl2_7.2dfsg-3.dsc 2231 B
acl2_7.2dfsg-3_amd64.deb 17 MiB
acl2_7.2dfsg-3_arm64.deb 15 MiB
acl2_7.2dfsg-3_armel.deb 14 MiB
acl2_7.2dfsg-3_armhf.deb 14 MiB
acl2_7.2dfsg-3_i386.deb 15 MiB
acl2_7.2dfsg-3_mips.deb 15 MiB
acl2_7.2dfsg-3_mips64el.deb 15 MiB
acl2_7.2dfsg-3_mipsel.deb 15 MiB
acl2_7.2dfsg-3_ppc64el.deb 16 MiB
acl2_7.2dfsg-3_s390x.deb 15 MiB
acl2_7.2dfsg.orig.tar.gz 61 MiB