Index of acl2

[ICO]
Name		Last modifiedSizeDescription
[PARENTDIR]
Parent Directory		  -  
[ ]
acl2_6.3-5.dsc		12 years ago1.7K 
[ ]
acl2_7.1-1.dsc		10 years ago2.2K 
[ ]
acl2_8.0dfsg-1.dsc		7 years ago2.2K 
[ ]
acl2_8.5dfsg-6.dsc		11 months ago2.2K 
[ ]
acl2_8.4dfsg-2.dsc		4 years ago2.2K 
[ ]
acl2_8.6+dfsg-3.dsc		1 month ago2.2K 
[ ]
acl2_8.2dfsg-3build1.dsc		5 years ago2.2K 
[ ]
acl2_8.5dfsg-5build3.dsc		1 year ago2.3K 
[ ]
acl2-emacs_6.3-5_all.deb		12 years ago 55K 
[ ]
acl2-emacs_7.1-1_all.deb		10 years ago 55K 
[ ]
acl2-emacs_8.0dfsg-1_all.deb		7 years ago 59K 
[ ]
acl2-emacs_8.2dfsg-3build1_all.deb		5 years ago 59K 
[ ]
elpa-acl2_8.4dfsg-2_all.deb		3 years ago 69K 
[ ]
acl2-infix-source_8.0dfsg-1_all.deb		7 years ago 70K 
[ ]
acl2-infix-source_8.2dfsg-3build1_all.deb		5 years ago 70K 
[ ]
acl2-infix-source_7.1-1_all.deb		10 years ago 70K 
[ ]
elpa-acl2_8.5dfsg-5build3_all.deb		1 year ago 71K 
[ ]
elpa-acl2_8.5dfsg-6_all.deb		11 months ago 71K 
[ ]
acl2-infix-source_8.4dfsg-2_all.deb		3 years ago 72K 
[ ]
acl2-infix-source_8.5dfsg-6_all.deb		11 months ago 72K 
[ ]
acl2-infix-source_8.5dfsg-5build3_all.deb		1 year ago 72K 
[ ]
acl2-infix-source_8.6+dfsg-3_all.deb		1 month ago 73K 
[ ]
elpa-acl2_8.6+dfsg-3_all.deb		1 month ago 79K 
[ ]
acl2-infix-source_6.3-5_all.deb		12 years ago 86K 
[ ]
acl2_7.1-1.debian.tar.xz		10 years ago126KTAR compressed archive
[ ]
acl2-infix_7.1-1_amd64.deb		10 years ago140K 
[ ]
acl2-infix_7.1-1_i386.deb		10 years ago142K 
[ ]
acl2_6.3-5.debian.tar.gz		12 years ago158KGZIP compressed TAR archive
[ ]
acl2-infix_6.3-5_i386.deb		12 years ago189K 
[ ]
acl2_8.0dfsg-1.debian.tar.xz		7 years ago200KTAR compressed archive
[ ]
acl2-infix_6.3-5_amd64.deb		12 years ago200K 
[ ]
acl2_8.2dfsg-3build1.debian.tar.xz		5 years ago201KTAR compressed archive
[ ]
acl2_8.4dfsg-2.debian.tar.xz		4 years ago304KTAR compressed archive
[ ]
acl2_8.5dfsg-6.debian.tar.xz		11 months ago306KTAR compressed archive
[ ]
acl2_8.5dfsg-5build3.debian.tar.xz		1 year ago306KTAR compressed archive
[ ]
acl2-doc_7.1-1_all.deb		10 years ago353K 
[ ]
acl2-infix_8.0dfsg-1_i386.deb		7 years ago381K 
[ ]
acl2-doc_8.0dfsg-1_all.deb		7 years ago385K 
[ ]
acl2-infix_8.0dfsg-1_amd64.deb		7 years ago414K 
[ ]
acl2-doc_8.2dfsg-3build1_all.deb		5 years ago418K 
[ ]
acl2-doc_8.4dfsg-2_all.deb		3 years ago441K 
[ ]
acl2-infix_8.2dfsg-3build1_amd64.deb		5 years ago470K 
[ ]
acl2-doc_8.5dfsg-6_all.deb		11 months ago474K 
[ ]
acl2-doc_8.5dfsg-5build3_all.deb		1 year ago474K 
[ ]
acl2-doc_8.6+dfsg-3_all.deb		1 month ago516K 
[ ]
acl2-infix_8.5dfsg-6_amd64.deb		11 months ago533K 
[ ]
acl2-infix_8.5dfsg-5build3_amd64.deb		1 year ago538K 
[ ]
acl2-infix_8.4dfsg-2_amd64.deb		3 years ago551K 
[ ]
acl2_8.6+dfsg-3.debian.tar.xz		1 month ago695KTAR compressed archive
[ ]
acl2-infix_8.6+dfsg-3_amd64.deb		1 month ago1.0M 
[ ]
acl2-source_7.1-1_all.deb		10 years ago2.7M 
[ ]
acl2-source_8.0dfsg-1_all.deb		7 years ago2.9M 
[ ]
acl2-source_8.2dfsg-3build1_all.deb		5 years ago3.1M 
[ ]
acl2-source_8.4dfsg-2_all.deb		3 years ago3.4M 
[ ]
acl2-source_8.5dfsg-6_all.deb		11 months ago3.5M 
[ ]
acl2-source_8.5dfsg-5build3_all.deb		1 year ago3.5M 
[ ]
acl2-source_6.3-5_all.deb		12 years ago3.6M 
[ ]
acl2-source_8.6+dfsg-3_all.deb		1 month ago3.9M 
[ ]
acl2_6.3.orig.tar.gz		12 years ago6.7MGZIP compressed TAR archive
[ ]
acl2-books-source_6.3-5_all.deb		12 years ago9.1M 
[ ]
acl2-books-source_7.1-1_all.deb		10 years ago9.9M 
[ ]
acl2-books-certs_6.3-5_all.deb		12 years ago 11M 
[ ]
acl2-books-source_8.0dfsg-1_all.deb		7 years ago 12M 
[ ]
acl2-doc_6.3-5_all.deb		12 years ago 12M 
[ ]
acl2-books-certs_7.1-1_all.deb		10 years ago 13M 
[ ]
acl2_6.3.orig-books.tar.gz		12 years ago 13MGZIP compressed TAR archive
[ ]
acl2-books-source_8.2dfsg-3build1_all.deb		5 years ago 14M 
[ ]
acl2_7.1-1_i386.deb		10 years ago 16M 
[ ]
acl2_8.0dfsg-1_i386.deb		7 years ago 16M 
[ ]
acl2_7.1-1_amd64.deb		10 years ago 16M 
[ ]
acl2-books_7.1-1_i386.deb		10 years ago 18M 
[ ]
acl2-books_7.1-1_amd64.deb		10 years ago 19M 
[ ]
acl2_8.0dfsg-1_amd64.deb		7 years ago 19M 
[ ]
acl2_8.2dfsg-3build1_amd64.deb		5 years ago 21M 
[ ]
acl2-books-source_8.4dfsg-2_all.deb		3 years ago 21M 
[ ]
acl2-books-source_8.5dfsg-5build3_all.deb		1 year ago 23M 
[ ]
acl2-books-source_8.5dfsg-6_all.deb		11 months ago 23M 
[ ]
acl2_6.3-5_i386.deb		12 years ago 23M 
[ ]
acl2_8.4dfsg-2_amd64.deb		3 years ago 25M 
[ ]
acl2_8.5dfsg-6_amd64.deb		11 months ago 25M 
[ ]
acl2_8.5dfsg-5build3_amd64.deb		1 year ago 26M 
[ ]
acl2-books-source_8.6+dfsg-3_all.deb		1 month ago 26M 
[ ]
acl2_6.3-5_amd64.deb		12 years ago 27M 
[ ]
acl2-books_6.3-5_i386.deb		12 years ago 36M 
[ ]
acl2-books_6.3-5_amd64.deb		12 years ago 40M 
[ ]
acl2_8.6+dfsg-3_amd64.deb		1 month ago 45M 
[ ]
acl2_7.1.orig.tar.gz		10 years ago 60MGZIP compressed TAR archive
[ ]
acl2-books-certs_8.2dfsg-3build1_all.deb		5 years ago 66M 
[ ]
acl2-books-certs_8.0dfsg-1_all.deb		7 years ago 70M 
[ ]
acl2_8.0dfsg.orig.tar.gz		7 years ago 74MGZIP compressed TAR archive
[ ]
acl2_8.2dfsg.orig.tar.gz		5 years ago 77MGZIP compressed TAR archive
[ ]
acl2-books-certs_8.5dfsg-6_all.deb		11 months ago 79M 
[ ]
acl2-books_8.0dfsg-1_i386.deb		7 years ago114M 
[ ]
acl2-books_8.0dfsg-1_amd64.deb		7 years ago132M 
[ ]
acl2-books_8.2dfsg-3build1_amd64.deb		5 years ago163M 
[ ]
acl2-books_8.5dfsg-6_amd64.deb		11 months ago171M 
[ ]
acl2_8.4dfsg.orig.tar.gz		4 years ago194MGZIP compressed TAR archive
[ ]
acl2_8.5dfsg.orig.tar.gz		3 years ago213MGZIP compressed TAR archive
[ ]
acl2-books-certs_8.5dfsg-5build3_all.deb		1 year ago216M 
[ ]
acl2-books-certs_8.4dfsg-2_all.deb		3 years ago221M 
[ ]
acl2_8.6+dfsg.orig.tar.gz		2 months ago229MGZIP compressed TAR archive
[ ]
acl2-books-certs_8.6+dfsg-3_all.deb		1 month ago268M 
[ ]
acl2-books_8.5dfsg-5build3_amd64.deb		1 year ago331M 
[ ]
acl2-books_8.4dfsg-2_amd64.deb		3 years ago338M 
[ ]
acl2-books_8.6+dfsg-3_amd64.deb		1 month ago469M 

   

    Etc: Routinator