Index of /ubuntu/pool/universe/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