Index of /ubuntu/pool/universe/a/acl2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]acl2-source_7.1-1_all.deb2015-06-27 20:48 2.7M 
[   ]acl2_7.1-1_amd64.deb2015-06-27 20:48 16M 
[   ]acl2-infix-source_7.1-1_all.deb2015-06-27 20:48 70K 
[   ]acl2-books-source_7.1-1_all.deb2015-06-27 20:48 9.9M 
[   ]acl2-emacs_7.1-1_all.deb2015-06-27 20:48 55K 
[   ]acl2-infix_7.1-1_amd64.deb2015-06-27 20:48 140K 
[   ]acl2-doc_7.1-1_all.deb2015-06-27 20:48 353K 
[   ]acl2-books_7.1-1_amd64.deb2015-06-27 20:48 19M 
[   ]acl2-books-certs_7.1-1_all.deb2015-06-27 20:48 13M 
[   ]acl2_7.1-1_i386.deb2015-06-02 09:43 16M 
[   ]acl2-infix_7.1-1_i386.deb2015-06-02 09:43 142K 
[   ]acl2-books_7.1-1_i386.deb2015-06-02 09:43 18M 
[   ]acl2-books_6.3-5_i386.deb2013-10-24 23:36 36M 
[   ]acl2_6.3-5_i386.deb2013-10-24 23:36 23M 
[   ]acl2-infix_6.3-5_i386.deb2013-10-24 23:36 189K 
[   ]acl2_6.3-5_amd64.deb2013-10-24 23:36 27M 
[   ]acl2-infix_6.3-5_amd64.deb2013-10-24 23:36 200K 
[   ]acl2-doc_6.3-5_all.deb2013-10-24 23:36 12M 
[   ]acl2-books_6.3-5_amd64.deb2013-10-24 23:36 40M 
[   ]acl2-infix-source_6.3-5_all.deb2013-10-24 23:36 86K 
[   ]acl2-emacs_6.3-5_all.deb2013-10-24 23:36 55K 
[   ]acl2-books-source_6.3-5_all.deb2013-10-24 23:36 9.1M 
[   ]acl2-books-certs_6.3-5_all.deb2013-10-24 23:36 11M 
[   ]acl2-source_6.3-5_all.deb2013-10-24 23:36 3.6M 

Apache/2.4.7 (Ubuntu) Server at saos.usd.ac.id Port 80