acl2

Name Size Modified
.. — —
acl2-books-certs_8.6+dfsg-2_all.deb 211 MB
acl2-books-source_8.6+dfsg-2_all.deb 26 MB
acl2-books_8.6+dfsg-2_loong64.deb 529 MB
acl2-doc_8.6+dfsg-2_all.deb 512 KB
acl2-infix-source_8.6+dfsg-2_all.deb 70 KB
acl2-infix_8.6+dfsg-2_loong64.deb 1 MB
acl2-source_8.6+dfsg-2_all.deb 3 MB
acl2_8.6+dfsg-2.debian.tar.xz 434 KB
acl2_8.6+dfsg-2.dsc 1 KB
acl2_8.6+dfsg-2_loong64.deb 40 MB
acl2_8.6+dfsg.orig.tar.gz 229 MB
elpa-acl2_8.6+dfsg-2_all.deb 76 KB