Willkommen in der MXP Repository
Index of
![[ICO]](/directory-listing/icons/blank.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/directory-listing/icons/folder-home.svg){kind=icon} | Parent Directory | - | |
![[ ]](/directory-listing/icons/package.svg){kind=icon} | acl2-books-certs_4.0-3_all.deb | 2010-07-09 23:11 | 1.9M |
| acl2-books-source_4.0-3_all.deb | 2010-07-09 23:11 | 5.0M |
| acl2-books_4.0-3_amd64.deb | 2010-07-10 05:17 | 37M |
| acl2-books_4.0-3_i386.deb | 2010-07-09 23:11 | 32M |
| acl2-doc_4.0-3_all.deb | 2010-07-09 23:11 | 2.7M |
| acl2-emacs_4.0-3_all.deb | 2010-07-09 23:11 | 57K |
| acl2-infix-source_4.0-3_all.deb | 2010-07-09 23:11 | 87K |
| acl2-infix_4.0-3_amd64.deb | 2010-07-10 05:17 | 420K |
| acl2-infix_4.0-3_i386.deb | 2010-07-09 23:11 | 381K |
| acl2-source_4.0-3_all.deb | 2010-07-09 23:11 | 2.9M |
![[ ]](/directory-listing/icons/archive.svg){kind=icon} | acl2_4.0-3.diff.gz | 2010-07-09 23:11 | 16K |
![[TXT]](/directory-listing/icons/text.svg){kind=icon} | acl2_4.0-3.dsc | 2010-07-09 23:11 | 1.1K |
| acl2_4.0-3_amd64.deb | 2010-07-10 05:17 | 25M |
| acl2_4.0-3_i386.deb | 2010-07-09 23:11 | 21M |
| acl2_4.0.orig.tar.gz | 2010-07-08 10:59 | 11M |