ExascaleDOWNLOADS
THE OPEN SOURCE NETWORK

acl2

/raspbian/pool/main/a/acl2/

64 items · Hosted in Wolverhampton on AS61049

Name ↑Modified (UTC)Size
Parent directory——
acl2-books-certs_8.3dfsg-1_all.deb13.3 KiB
acl2-books-certs_8.3dfsg-2_all.deb138.7 MiB
acl2-books-certs_8.5dfsg-5_all.deb170.1 MiB
acl2-books-certs_8.5dfsg-6_all.deb64.2 MiB
acl2-books-certs_8.6+dfsg-2_all.deb211.4 MiB
acl2-books-certs_8.7+dfsg-3_all.deb232.5 MiB
acl2-books-source_8.3dfsg-1_all.deb18.6 MiB
acl2-books-source_8.3dfsg-2_all.deb18.6 MiB
acl2-books-source_8.5dfsg-5_all.deb23.5 MiB
acl2-books-source_8.5dfsg-6_all.deb23.5 MiB
acl2-books-source_8.6+dfsg-2_all.deb26.2 MiB
acl2-books-source_8.7+dfsg-3_all.deb28.4 MiB
acl2-books_8.3dfsg-1_armhf.deb12.7 KiB
acl2-books_8.5dfsg-5_armhf.deb265.9 MiB
acl2-books_8.5dfsg-6_armhf.deb269.8 MiB
acl2-books_8.7+dfsg-3_armhf.deb422.7 MiB
acl2-doc_8.3dfsg-1_all.deb437.0 KiB
acl2-doc_8.3dfsg-2_all.deb437.1 KiB
acl2-doc_8.5dfsg-5_all.deb470.0 KiB
acl2-doc_8.5dfsg-6_all.deb470.2 KiB
acl2-doc_8.6+dfsg-2_all.deb512.6 KiB
acl2-doc_8.7+dfsg-3_all.deb533.4 KiB
acl2-emacs_8.3dfsg-1_all.deb67.6 KiB
acl2-emacs_8.3dfsg-2_all.deb67.8 KiB
acl2-infix-source_8.3dfsg-1_all.deb77.9 KiB
acl2-infix-source_8.3dfsg-2_all.deb78.0 KiB
acl2-infix-source_8.5dfsg-5_all.deb70.6 KiB
acl2-infix-source_8.5dfsg-6_all.deb70.7 KiB
acl2-infix-source_8.6+dfsg-2_all.deb70.9 KiB
acl2-infix-source_8.7+dfsg-3_all.deb70.3 KiB
acl2-infix_8.3dfsg-1_armhf.deb431.5 KiB
acl2-infix_8.5dfsg-5_armhf.deb457.0 KiB
acl2-infix_8.5dfsg-6_armhf.deb459.2 KiB
acl2-infix_8.7+dfsg-3_armhf.deb833.1 KiB
acl2-source_8.3dfsg-1_all.deb3.2 MiB
acl2-source_8.3dfsg-2_all.deb3.2 MiB
acl2-source_8.5dfsg-5_all.deb3.4 MiB
acl2-source_8.5dfsg-6_all.deb3.4 MiB
acl2-source_8.6+dfsg-2_all.deb3.8 MiB
acl2-source_8.7+dfsg-3_all.deb3.9 MiB
acl2_8.3dfsg-1.debian.tar.xz201.2 KiB
acl2_8.3dfsg-1.dsc2.2 KiB
acl2_8.3dfsg-1_armhf.deb17.3 MiB
acl2_8.3dfsg-2.debian.tar.xz223.0 KiB
acl2_8.3dfsg-2.dsc2.2 KiB
acl2_8.3dfsg.orig.tar.gz111.8 MiB
acl2_8.5dfsg-5.debian.tar.xz305.6 KiB
acl2_8.5dfsg-5.dsc2.2 KiB
acl2_8.5dfsg-5_armhf.deb18.0 MiB
acl2_8.5dfsg-6.debian.tar.xz305.5 KiB
acl2_8.5dfsg-6.dsc2.2 KiB
acl2_8.5dfsg-6_armhf.deb18.1 MiB
acl2_8.5dfsg.orig.tar.gz213.2 MiB
acl2_8.6+dfsg-2.debian.tar.xz434.7 KiB
acl2_8.6+dfsg-2.dsc2.2 KiB
acl2_8.6+dfsg.orig.tar.gz229.2 MiB
acl2_8.7+dfsg-3.debian.tar.xz880.8 KiB
acl2_8.7+dfsg-3.dsc2.2 KiB
acl2_8.7+dfsg-3_armhf.deb32.5 MiB
acl2_8.7+dfsg.orig.tar.gz238.2 MiB
elpa-acl2_8.5dfsg-5_all.deb69.0 KiB
elpa-acl2_8.5dfsg-6_all.deb69.0 KiB
elpa-acl2_8.6+dfsg-2_all.deb76.4 KiB
elpa-acl2_8.7+dfsg-3_all.deb75.8 KiB