Index of /repository/archive/pool/main/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_3.1-1_all.deb2006-12-04 20:47 4.7M 
[ ]acl2-books-source_3.1-1_all.deb2006-12-04 20:47 2.1M 
[ ]acl2-books_3.1-1_i386.deb2006-12-04 20:47 1.5M 
[ ]acl2-doc_3.1-1_all.deb2006-12-04 20:47 1.9M 
[ ]acl2-emacs_3.1-1_all.deb2006-12-04 20:47 49K 
[ ]acl2-infix-source_3.1-1_all.deb2006-12-04 20:47 83K 
[ ]acl2-infix_3.1-1_i386.deb2006-12-04 20:47 168K 
[ ]acl2-source_3.1-1_all.deb2006-12-04 20:47 2.2M 
[ ]acl2_3.1-1.diff.gz2006-12-04 20:47 13K 
[TXT]acl2_3.1-1.dsc2006-12-04 20:47 822  
[ ]acl2_3.1-1_i386.deb2006-12-04 20:47 15M 
[ ]acl2_3.1.orig.tar.gz2006-12-04 20:47 6.4M 
Apache/2.4.59 (Debian) Server at update.intellique.com Port 80