| Parent directory/ | - | - |
| acl2-books-certs_3.1-1_all.deb | 4.7 MiB | 2006-Dec-07 04:04 |
| acl2-books-source_3.1-1_all.deb | 2.1 MiB | 2006-Dec-07 04:04 |
| acl2-books_2.9.3-5build1_hppa.deb | 3.5 MiB | 2005-Oct-09 09:55 |
| acl2-books_3.1-1_amd64.deb | 2.0 MiB | 2006-Dec-07 18:04 |
| acl2-books_3.1-1_i386.deb | 1.5 MiB | 2006-Dec-07 04:04 |
| acl2-books_3.1-1_ia64.deb | 2.8 MiB | 2006-Dec-08 05:03 |
| acl2-books_3.1-1_powerpc.deb | 2.2 MiB | 2006-Dec-07 11:03 |
| acl2-books_3.1-1_sparc.deb | 1.8 MiB | 2006-Dec-08 12:03 |
| acl2-doc_3.1-1_all.deb | 1.9 MiB | 2006-Dec-07 04:04 |
| acl2-emacs_3.1-1_all.deb | 49.4 KiB | 2006-Dec-07 04:04 |
| acl2-infix-source_3.1-1_all.deb | 83.4 KiB | 2006-Dec-07 04:04 |
| acl2-infix_2.9.3-5build1_hppa.deb | 378.4 KiB | 2005-Oct-09 09:55 |
| acl2-infix_3.1-1_amd64.deb | 194.0 KiB | 2006-Dec-07 18:04 |
| acl2-infix_3.1-1_i386.deb | 166.1 KiB | 2006-Dec-07 04:04 |
| acl2-infix_3.1-1_ia64.deb | 297.1 KiB | 2006-Dec-08 05:03 |
| acl2-infix_3.1-1_powerpc.deb | 243.0 KiB | 2006-Dec-07 11:03 |
| acl2-infix_3.1-1_sparc.deb | 217.7 KiB | 2006-Dec-08 12:03 |
| acl2-source_3.1-1_all.deb | 2.2 MiB | 2006-Dec-07 04:04 |
| acl2_2.9.3-5build1_hppa.deb | 14.4 MiB | 2005-Oct-09 09:55 |
| acl2_3.1-1.diff.gz | 13.0 KiB | 2006-Dec-06 15:05 |
| acl2_3.1-1.dsc | 822 B | 2006-Dec-06 15:05 |
| acl2_3.1-1_amd64.deb | 17.7 MiB | 2006-Dec-07 18:04 |
| acl2_3.1-1_i386.deb | 14.8 MiB | 2006-Dec-07 04:04 |
| acl2_3.1-1_ia64.deb | 16.8 MiB | 2006-Dec-08 05:03 |
| acl2_3.1-1_powerpc.deb | 17.1 MiB | 2006-Dec-07 11:03 |
| acl2_3.1-1_sparc.deb | 16.7 MiB | 2006-Dec-08 12:03 |
| acl2_3.1.orig.tar.gz | 6.4 MiB | 2006-Dec-06 15:05 |