Studenten Net Twente Mirror service

Index of /pub/os/linux/debian/pool/main/a/acl2/

Filename Modification time Size
acl2-books-certs_8.0dfsg-1_all.deb 70 MiB
acl2-books-certs_8.3dfsg-2_all.deb 139 MiB
acl2-books-certs_8.5dfsg-5_all.deb 170 MiB
acl2-books-certs_8.5dfsg-6_all.deb 64 MiB
acl2-books-source_8.0dfsg-1_all.deb 12 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.5dfsg-6_all.deb 24 MiB
acl2-books_8.0dfsg-1_amd64.deb 132 MiB
acl2-books_8.0dfsg-1_arm64.deb 135 MiB
acl2-books_8.0dfsg-1_armhf.deb 120 MiB
acl2-books_8.0dfsg-1_i386.deb 111 MiB
acl2-books_8.3dfsg-2_amd64.deb 241 MiB
acl2-books_8.3dfsg-2_arm64.deb 236 MiB
acl2-books_8.3dfsg-2_armel.deb 218 MiB
acl2-books_8.3dfsg-2_armhf.deb 223 MiB
acl2-books_8.3dfsg-2_i386.deb 204 MiB
acl2-books_8.3dfsg-2_mips64el.deb 254 MiB
acl2-books_8.3dfsg-2_mipsel.deb 228 MiB
acl2-books_8.3dfsg-2_ppc64el.deb 245 MiB
acl2-books_8.3dfsg-2_s390x.deb 219 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.5dfsg-6_amd64.deb 151 MiB
acl2-books_8.5dfsg-6_arm64.deb 149 MiB
acl2-books_8.5dfsg-6_armel.deb 142 MiB
acl2-books_8.5dfsg-6_armhf.deb 144 MiB
acl2-books_8.5dfsg-6_i386.deb 133 MiB
acl2-books_8.5dfsg-6_mips64el.deb 164 MiB
acl2-books_8.5dfsg-6_ppc64el.deb 157 MiB
acl2-books_8.5dfsg-6_riscv64.deb 370 MiB
acl2-books_8.5dfsg-6_s390x.deb 148 MiB
acl2-doc_8.0dfsg-1_all.deb 392 KiB
acl2-doc_8.3dfsg-2_all.deb 437 KiB
acl2-doc_8.5dfsg-5_all.deb 470 KiB
acl2-doc_8.5dfsg-6_all.deb 470 KiB
acl2-emacs_8.0dfsg-1_all.deb 66 KiB
acl2-emacs_8.3dfsg-2_all.deb 68 KiB
acl2-infix-source_8.0dfsg-1_all.deb 77 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.5dfsg-6_all.deb 71 KiB
acl2-infix_8.0dfsg-1_amd64.deb 422 KiB
acl2-infix_8.0dfsg-1_arm64.deb 432 KiB
acl2-infix_8.0dfsg-1_armhf.deb 406 KiB
acl2-infix_8.0dfsg-1_i386.deb 390 KiB
acl2-infix_8.3dfsg-2_amd64.deb 479 KiB
acl2-infix_8.3dfsg-2_arm64.deb 469 KiB
acl2-infix_8.3dfsg-2_armel.deb 463 KiB
acl2-infix_8.3dfsg-2_armhf.deb 478 KiB
acl2-infix_8.3dfsg-2_i386.deb 485 KiB
acl2-infix_8.3dfsg-2_mips64el.deb 503 KiB
acl2-infix_8.3dfsg-2_mipsel.deb 509 KiB
acl2-infix_8.3dfsg-2_ppc64el.deb 498 KiB
acl2-infix_8.3dfsg-2_s390x.deb 435 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.5dfsg-6_amd64.deb 465 KiB
acl2-infix_8.5dfsg-6_arm64.deb 455 KiB
acl2-infix_8.5dfsg-6_armel.deb 459 KiB
acl2-infix_8.5dfsg-6_armhf.deb 475 KiB
acl2-infix_8.5dfsg-6_i386.deb 475 KiB
acl2-infix_8.5dfsg-6_mips64el.deb 491 KiB
acl2-infix_8.5dfsg-6_ppc64el.deb 485 KiB
acl2-infix_8.5dfsg-6_riscv64.deb 1009 KiB
acl2-infix_8.5dfsg-6_s390x.deb 464 KiB
acl2-source_8.0dfsg-1_all.deb 3009 KiB
acl2-source_8.3dfsg-2_all.deb 3262 KiB
acl2-source_8.5dfsg-5_all.deb 3504 KiB
acl2-source_8.5dfsg-6_all.deb 3504 KiB
acl2_8.0dfsg-1.debian.tar.xz 200 KiB
acl2_8.0dfsg-1.dsc 2245 B
acl2_8.0dfsg-1_amd64.deb 19 MiB
acl2_8.0dfsg-1_arm64.deb 17 MiB
acl2_8.0dfsg-1_armhf.deb 15 MiB
acl2_8.0dfsg-1_i386.deb 16 MiB
acl2_8.0dfsg.orig.tar.gz 74 MiB
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_armel.deb 18 MiB
acl2_8.3dfsg-2_armhf.deb 18 MiB
acl2_8.3dfsg-2_i386.deb 19 MiB
acl2_8.3dfsg-2_mips64el.deb 18 MiB
acl2_8.3dfsg-2_mipsel.deb 19 MiB
acl2_8.3dfsg-2_ppc64el.deb 22 MiB
acl2_8.3dfsg-2_s390x.deb 20 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-6.debian.tar.xz 306 KiB
acl2_8.5dfsg-6.dsc 2268 B
acl2_8.5dfsg-6_amd64.deb 22 MiB
acl2_8.5dfsg-6_arm64.deb 20 MiB
acl2_8.5dfsg-6_armel.deb 18 MiB
acl2_8.5dfsg-6_armhf.deb 18 MiB
acl2_8.5dfsg-6_i386.deb 19 MiB
acl2_8.5dfsg-6_mips64el.deb 20 MiB
acl2_8.5dfsg-6_ppc64el.deb 22 MiB
acl2_8.5dfsg-6_riscv64.deb 21 MiB
acl2_8.5dfsg-6_s390x.deb 22 MiB
acl2_8.5dfsg.orig.tar.gz 213 MiB
elpa-acl2_8.5dfsg-5_all.deb 69 KiB
elpa-acl2_8.5dfsg-6_all.deb 69 KiB