Index of /debian/etch/pool/main/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_3.1.orig.tar.gz 67295372006-Dec-04 19:47
acl2_3.1-1_i386.deb 162154402006-Dec-04 19:47
acl2_3.1-1.dsc 8222006-Dec-04 19:47
acl2_3.1-1.diff.gz 132722006-Dec-04 19:47
acl2-source_3.1-1_all.deb 22690102006-Dec-04 19:47
acl2-infix_3.1-1_i386.deb 1718342006-Dec-04 19:47
acl2-infix-source_3.1-1_all.deb 853242006-Dec-04 19:47
acl2-emacs_3.1-1_all.deb 505382006-Dec-04 19:47
acl2-doc_3.1-1_all.deb 20196882006-Dec-04 19:47
acl2-books_3.1-1_i386.deb 16156742006-Dec-04 19:47
acl2-books-source_3.1-1_all.deb 22452862006-Dec-04 19:47
acl2-books-certs_3.1-1_all.deb 49660962006-Dec-04 19:47