Studenten Net Twente Mirror service

Index of /pub/linux/ubuntu/pool/universe/a/acl2/

Filename Modification time Size
acl2-books-certs_6.3-5_all.deb 11 MiB
acl2-books-certs_7.1-1_all.deb 13 MiB
acl2-books-certs_8.0dfsg-1_all.deb 70 MiB
acl2-books-certs_8.2dfsg-3build1_all.deb 66 MiB
acl2-books-certs_8.4dfsg-2_all.deb 221 MiB
acl2-books-certs_8.5dfsg-5build3_all.deb 216 MiB
acl2-books-certs_8.5dfsg-6_all.deb 79 MiB
acl2-books-certs_8.6+dfsg-3_all.deb 268 MiB
acl2-books-source_6.3-5_all.deb 9346 KiB
acl2-books-source_7.1-1_all.deb 10 MiB
acl2-books-source_8.0dfsg-1_all.deb 12 MiB
acl2-books-source_8.2dfsg-3build1_all.deb 14 MiB
acl2-books-source_8.4dfsg-2_all.deb 21 MiB
acl2-books-source_8.5dfsg-5build3_all.deb 23 MiB
acl2-books-source_8.5dfsg-6_all.deb 23 MiB
acl2-books-source_8.6+dfsg-3_all.deb 26 MiB
acl2-books_6.3-5_amd64.deb 40 MiB
acl2-books_6.3-5_i386.deb 36 MiB
acl2-books_7.1-1_amd64.deb 19 MiB
acl2-books_7.1-1_i386.deb 18 MiB
acl2-books_8.0dfsg-1_amd64.deb 132 MiB
acl2-books_8.0dfsg-1_i386.deb 114 MiB
acl2-books_8.2dfsg-3build1_amd64.deb 163 MiB
acl2-books_8.4dfsg-2_amd64.deb 338 MiB
acl2-books_8.5dfsg-5build3_amd64.deb 331 MiB
acl2-books_8.5dfsg-6_amd64.deb 171 MiB
acl2-books_8.6+dfsg-3_amd64.deb 469 MiB
acl2-doc_6.3-5_all.deb 12 MiB
acl2-doc_7.1-1_all.deb 353 KiB
acl2-doc_8.0dfsg-1_all.deb 385 KiB
acl2-doc_8.2dfsg-3build1_all.deb 418 KiB
acl2-doc_8.4dfsg-2_all.deb 441 KiB
acl2-doc_8.5dfsg-5build3_all.deb 474 KiB
acl2-doc_8.5dfsg-6_all.deb 474 KiB
acl2-doc_8.6+dfsg-3_all.deb 516 KiB
acl2-emacs_6.3-5_all.deb 55 KiB
acl2-emacs_7.1-1_all.deb 55 KiB
acl2-emacs_8.0dfsg-1_all.deb 59 KiB
acl2-emacs_8.2dfsg-3build1_all.deb 59 KiB
acl2-infix-source_6.3-5_all.deb 86 KiB
acl2-infix-source_7.1-1_all.deb 70 KiB
acl2-infix-source_8.0dfsg-1_all.deb 70 KiB
acl2-infix-source_8.2dfsg-3build1_all.deb 70 KiB
acl2-infix-source_8.4dfsg-2_all.deb 72 KiB
acl2-infix-source_8.5dfsg-5build3_all.deb 72 KiB
acl2-infix-source_8.5dfsg-6_all.deb 72 KiB
acl2-infix-source_8.6+dfsg-3_all.deb 73 KiB
acl2-infix_6.3-5_amd64.deb 200 KiB
acl2-infix_6.3-5_i386.deb 189 KiB
acl2-infix_7.1-1_amd64.deb 140 KiB
acl2-infix_7.1-1_i386.deb 142 KiB
acl2-infix_8.0dfsg-1_amd64.deb 414 KiB
acl2-infix_8.0dfsg-1_i386.deb 381 KiB
acl2-infix_8.2dfsg-3build1_amd64.deb 470 KiB
acl2-infix_8.4dfsg-2_amd64.deb 551 KiB
acl2-infix_8.5dfsg-5build3_amd64.deb 538 KiB
acl2-infix_8.5dfsg-6_amd64.deb 533 KiB
acl2-infix_8.6+dfsg-3_amd64.deb 991 KiB
acl2-source_6.3-5_all.deb 3706 KiB
acl2-source_7.1-1_all.deb 2772 KiB
acl2-source_8.0dfsg-1_all.deb 3002 KiB
acl2-source_8.2dfsg-3build1_all.deb 3192 KiB
acl2-source_8.4dfsg-2_all.deb 3454 KiB
acl2-source_8.5dfsg-5build3_all.deb 3567 KiB
acl2-source_8.5dfsg-6_all.deb 3560 KiB
acl2-source_8.6+dfsg-3_all.deb 3967 KiB
acl2_6.3-5.debian.tar.gz 158 KiB
acl2_6.3-5.dsc 1749 B
acl2_6.3-5_amd64.deb 27 MiB
acl2_6.3-5_i386.deb 23 MiB
acl2_6.3.orig-books.tar.gz 13 MiB
acl2_6.3.orig.tar.gz 6903 KiB
acl2_7.1-1.debian.tar.xz 126 KiB
acl2_7.1-1.dsc 2203 B
acl2_7.1-1_amd64.deb 16 MiB
acl2_7.1-1_i386.deb 16 MiB
acl2_7.1.orig.tar.gz 60 MiB
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_i386.deb 16 MiB
acl2_8.0dfsg.orig.tar.gz 74 MiB
acl2_8.2dfsg-3build1.debian.tar.xz 201 KiB
acl2_8.2dfsg-3build1.dsc 2296 B
acl2_8.2dfsg-3build1_amd64.deb 21 MiB
acl2_8.2dfsg.orig.tar.gz 77 MiB
acl2_8.4dfsg-2.debian.tar.xz 304 KiB
acl2_8.4dfsg-2.dsc 2281 B
acl2_8.4dfsg-2_amd64.deb 25 MiB
acl2_8.4dfsg.orig.tar.gz 194 MiB
acl2_8.5dfsg-5build3.debian.tar.xz 306 KiB
acl2_8.5dfsg-5build3.dsc 2371 B
acl2_8.5dfsg-5build3_amd64.deb 26 MiB
acl2_8.5dfsg-6.debian.tar.xz 306 KiB
acl2_8.5dfsg-6.dsc 2268 B
acl2_8.5dfsg-6_amd64.deb 25 MiB
acl2_8.5dfsg.orig.tar.gz 213 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 45 MiB
acl2_8.6+dfsg.orig.tar.gz 229 MiB
elpa-acl2_8.4dfsg-2_all.deb 69 KiB
elpa-acl2_8.5dfsg-5build3_all.deb 71 KiB
elpa-acl2_8.5dfsg-6_all.deb 71 KiB
elpa-acl2_8.6+dfsg-3_all.deb 79 KiB