Index of /ubuntu/pool/main/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_7.1-1_all.deb2018-04-12 11:55 13M 
[ ]acl2-books-certs_8.4dfsg-2_all.deb2022-03-29 15:42 221M 
[ ]acl2-books-source_7.1-1_all.deb2018-04-12 11:45 9.9M 
[ ]acl2-books-source_8.4dfsg-2_all.deb2022-03-29 15:36 21M 
[ ]acl2-books_7.1-1_amd64.deb2018-04-12 11:59 19M 
[ ]acl2-books_7.1-1_i386.deb2018-04-12 12:38 18M 
[ ]acl2-books_8.4dfsg-2_amd64.deb2022-03-29 17:16 338M 
[ ]acl2-doc_7.1-1_all.deb2018-04-12 12:04 353K 
[ ]acl2-doc_8.4dfsg-2_all.deb2022-03-29 14:47 441K 
[ ]acl2-emacs_7.1-1_all.deb2018-04-12 12:16 55K 
[ ]acl2-infix-source_7.1-1_all.deb2018-04-12 11:49 70K 
[ ]acl2-infix-source_8.4dfsg-2_all.deb2022-03-29 14:48 72K 
[ ]acl2-infix_7.1-1_amd64.deb2018-04-12 12:30 140K 
[ ]acl2-infix_7.1-1_i386.deb2018-04-12 11:46 142K 
[ ]acl2-infix_8.4dfsg-2_amd64.deb2022-03-29 15:49 551K 
[ ]acl2-source_7.1-1_all.deb2018-04-12 12:32 2.7M 
[ ]acl2-source_8.4dfsg-2_all.deb2022-03-29 14:38 3.4M 
[ ]acl2_7.1-1_amd64.deb2018-04-12 12:10 16M 
[ ]acl2_7.1-1_i386.deb2018-04-12 12:01 16M 
[ ]acl2_8.4dfsg-2_amd64.deb2022-03-29 14:29 25M 
[ ]elpa-acl2_8.4dfsg-2_all.deb2022-03-29 16:45 69K