Index of /pool/universe/a/acl2

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]acl2_3.3-1ubuntu1_lpia.deb2008-02-17 02:03 16M
[   ]acl2_3.3.orig.tar.gz2007-12-04 12:05 7.0M
[   ]acl2-books-certs_3.1-1_all.deb2006-12-07 04:04 4.7M
[   ]acl2-books_3.3-1ubuntu1_lpia.deb2008-02-17 02:03 4.4M
[   ]acl2-source_3.1-1_all.deb2006-12-07 04:04 2.2M
[   ]acl2-books-source_3.1-1_all.deb2006-12-07 04:04 2.1M
[   ]acl2-doc_3.1-1_all.deb2006-12-07 04:04 1.9M
[   ]acl2-infix_3.3-1ubuntu1_lpia.deb2008-02-17 02:03 171K
[   ]acl2-infix-source_3.1-1_all.deb2006-12-07 04:04 83K
[   ]acl2-emacs_3.1-1_all.deb2006-12-07 04:04 49K
[   ]acl2_3.3-1ubuntu1.diff.gz2008-02-17 00:03 13K
[   ]acl2_3.3-1ubuntu1.dsc2008-02-17 00:03 1.0K

Apache/2.4.41 (Ubuntu) Server at dell-mini.archive.canonical.com Port 80