Studenten Net Twente Mirror service

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

Filename Modification time Size
acl2-books-certs_8.3dfsg-2_all.deb 139 MiB
acl2-books-certs_8.5dfsg-5_all.deb 170 MiB
acl2-books-certs_8.6+dfsg-2_all.deb 211 MiB
acl2-books-certs_8.6+dfsg-3_all.deb 212 MiB
acl2-books-source_8.3dfsg-2_all.deb 19 MiB
acl2-books-source_8.5dfsg-5_all.deb 24 MiB
acl2-books-source_8.6+dfsg-2_all.deb 26 MiB
acl2-books-source_8.6+dfsg-3_all.deb 26 MiB
acl2-books_8.3dfsg-2_amd64.deb 241 MiB
acl2-books_8.3dfsg-2_arm64.deb 236 MiB
acl2-books_8.3dfsg-2_armhf.deb 223 MiB
acl2-books_8.3dfsg-2_i386.deb 204 MiB
acl2-books_8.5dfsg-5_amd64.deb 287 MiB
acl2-books_8.5dfsg-5_arm64.deb 289 MiB
acl2-books_8.5dfsg-5_armel.deb 268 MiB
acl2-books_8.5dfsg-5_armhf.deb 272 MiB
acl2-books_8.5dfsg-5_i386.deb 248 MiB
acl2-books_8.5dfsg-5_mips64el.deb 309 MiB
acl2-books_8.5dfsg-5_mipsel.deb 285 MiB
acl2-books_8.5dfsg-5_ppc64el.deb 292 MiB
acl2-books_8.5dfsg-5_s390x.deb 267 MiB
acl2-books_8.6+dfsg-2_amd64.deb 416 MiB
acl2-books_8.6+dfsg-2_arm64.deb 412 MiB
acl2-books_8.6+dfsg-2_armel.deb 386 MiB
acl2-books_8.6+dfsg-2_armhf.deb 395 MiB
acl2-books_8.6+dfsg-2_i386.deb 344 MiB
acl2-books_8.6+dfsg-2_ppc64el.deb 430 MiB
acl2-books_8.6+dfsg-2_riscv64.deb 936 MiB
acl2-books_8.6+dfsg-2_s390x.deb 417 MiB
acl2-books_8.6+dfsg-3_amd64.deb 416 MiB
acl2-books_8.6+dfsg-3_arm64.deb 413 MiB
acl2-books_8.6+dfsg-3_armel.deb 386 MiB
acl2-books_8.6+dfsg-3_armhf.deb 395 MiB
acl2-books_8.6+dfsg-3_i386.deb 344 MiB
acl2-books_8.6+dfsg-3_mips64el.deb 441 MiB
acl2-books_8.6+dfsg-3_ppc64el.deb 430 MiB
acl2-books_8.6+dfsg-3_riscv64.deb 937 MiB
acl2-books_8.6+dfsg-3_s390x.deb 417 MiB
acl2-doc_8.3dfsg-2_all.deb 437 KiB
acl2-doc_8.5dfsg-5_all.deb 470 KiB
acl2-doc_8.6+dfsg-2_all.deb 513 KiB
acl2-doc_8.6+dfsg-3_all.deb 513 KiB
acl2-emacs_8.3dfsg-2_all.deb 68 KiB
acl2-infix-source_8.3dfsg-2_all.deb 78 KiB
acl2-infix-source_8.5dfsg-5_all.deb 71 KiB
acl2-infix-source_8.6+dfsg-2_all.deb 71 KiB
acl2-infix-source_8.6+dfsg-3_all.deb 71 KiB
acl2-infix_8.3dfsg-2_amd64.deb 479 KiB
acl2-infix_8.3dfsg-2_arm64.deb 469 KiB
acl2-infix_8.3dfsg-2_armhf.deb 478 KiB
acl2-infix_8.3dfsg-2_i386.deb 485 KiB
acl2-infix_8.5dfsg-5_amd64.deb 464 KiB
acl2-infix_8.5dfsg-5_arm64.deb 461 KiB
acl2-infix_8.5dfsg-5_armel.deb 459 KiB
acl2-infix_8.5dfsg-5_armhf.deb 472 KiB
acl2-infix_8.5dfsg-5_i386.deb 477 KiB
acl2-infix_8.5dfsg-5_mips64el.deb 491 KiB
acl2-infix_8.5dfsg-5_mipsel.deb 503 KiB
acl2-infix_8.5dfsg-5_ppc64el.deb 483 KiB
acl2-infix_8.5dfsg-5_s390x.deb 432 KiB
acl2-infix_8.6+dfsg-2_amd64.deb 866 KiB
acl2-infix_8.6+dfsg-2_arm64.deb 834 KiB
acl2-infix_8.6+dfsg-2_armel.deb 815 KiB
acl2-infix_8.6+dfsg-2_armhf.deb 846 KiB
acl2-infix_8.6+dfsg-2_i386.deb 852 KiB
acl2-infix_8.6+dfsg-2_ppc64el.deb 885 KiB
acl2-infix_8.6+dfsg-2_riscv64.deb 1876 KiB
acl2-infix_8.6+dfsg-2_s390x.deb 864 KiB
acl2-infix_8.6+dfsg-3_amd64.deb 865 KiB
acl2-infix_8.6+dfsg-3_arm64.deb 833 KiB
acl2-infix_8.6+dfsg-3_armel.deb 813 KiB
acl2-infix_8.6+dfsg-3_armhf.deb 846 KiB
acl2-infix_8.6+dfsg-3_i386.deb 853 KiB
acl2-infix_8.6+dfsg-3_mips64el.deb 875 KiB
acl2-infix_8.6+dfsg-3_ppc64el.deb 882 KiB
acl2-infix_8.6+dfsg-3_riscv64.deb 1894 KiB
acl2-infix_8.6+dfsg-3_s390x.deb 863 KiB
acl2-source_8.3dfsg-2_all.deb 3262 KiB
acl2-source_8.5dfsg-5_all.deb 3504 KiB
acl2-source_8.6+dfsg-2_all.deb 3903 KiB
acl2-source_8.6+dfsg-3_all.deb 3903 KiB
acl2_8.3dfsg-2.debian.tar.xz 223 KiB
acl2_8.3dfsg-2.dsc 2275 B
acl2_8.3dfsg-2_amd64.deb 20 MiB
acl2_8.3dfsg-2_arm64.deb 19 MiB
acl2_8.3dfsg-2_armhf.deb 18 MiB
acl2_8.3dfsg-2_i386.deb 19 MiB
acl2_8.3dfsg.orig.tar.gz 112 MiB
acl2_8.5dfsg-5.debian.tar.xz 306 KiB
acl2_8.5dfsg-5.dsc 2268 B
acl2_8.5dfsg-5_amd64.deb 22 MiB
acl2_8.5dfsg-5_arm64.deb 21 MiB
acl2_8.5dfsg-5_armel.deb 18 MiB
acl2_8.5dfsg-5_armhf.deb 19 MiB
acl2_8.5dfsg-5_i386.deb 19 MiB
acl2_8.5dfsg-5_mips64el.deb 20 MiB
acl2_8.5dfsg-5_mipsel.deb 19 MiB
acl2_8.5dfsg-5_ppc64el.deb 22 MiB
acl2_8.5dfsg-5_s390x.deb 21 MiB
acl2_8.5dfsg.orig.tar.gz 213 MiB
acl2_8.6+dfsg-2.debian.tar.xz 435 KiB
acl2_8.6+dfsg-2.dsc 2286 B
acl2_8.6+dfsg-2_amd64.deb 35 MiB
acl2_8.6+dfsg-2_arm64.deb 35 MiB
acl2_8.6+dfsg-2_armel.deb 36 MiB
acl2_8.6+dfsg-2_armhf.deb 37 MiB
acl2_8.6+dfsg-2_i386.deb 39 MiB
acl2_8.6+dfsg-2_ppc64el.deb 35 MiB
acl2_8.6+dfsg-2_riscv64.deb 35 MiB
acl2_8.6+dfsg-2_s390x.deb 38 MiB
acl2_8.6+dfsg-3.debian.tar.xz 695 KiB
acl2_8.6+dfsg-3.dsc 2288 B
acl2_8.6+dfsg-3_amd64.deb 35 MiB
acl2_8.6+dfsg-3_arm64.deb 36 MiB
acl2_8.6+dfsg-3_armel.deb 36 MiB
acl2_8.6+dfsg-3_armhf.deb 38 MiB
acl2_8.6+dfsg-3_i386.deb 39 MiB
acl2_8.6+dfsg-3_mips64el.deb 36 MiB
acl2_8.6+dfsg-3_ppc64el.deb 35 MiB
acl2_8.6+dfsg-3_riscv64.deb 35 MiB
acl2_8.6+dfsg-3_s390x.deb 38 MiB
acl2_8.6+dfsg.orig.tar.gz 229 MiB
elpa-acl2_8.5dfsg-5_all.deb 69 KiB
elpa-acl2_8.6+dfsg-2_all.deb 76 KiB
elpa-acl2_8.6+dfsg-3_all.deb 77 KiB