Index of /pardus-yenikusak/pool/main/a/acl2/

../
acl2-books-certs_6.5-2_all.deb                     10-Mar-2016 10:18      6M
acl2-books-source_6.5-2_all.deb                    10-Mar-2016 10:11      7M
acl2-books_6.5-2_amd64.deb                         10-Mar-2016 10:34     22M
acl2-books_6.5-2_i386.deb                          10-Mar-2016 10:03     21M
acl2-doc_6.5-2_all.deb                             10-Mar-2016 10:29      2M
acl2-emacs_6.5-2_all.deb                           10-Mar-2016 10:40     59K
acl2-infix-source_6.5-2_all.deb                    10-Mar-2016 10:33     78K
acl2-infix_6.5-2_amd64.deb                         10-Mar-2016 10:12    147K
acl2-infix_6.5-2_i386.deb                          10-Mar-2016 10:05    148K
acl2-source_6.5-2_all.deb                          10-Mar-2016 09:55      3M
acl2_6.5-2.debian.tar.xz                           10-Mar-2016 09:55    125K
acl2_6.5-2.dsc                                     10-Mar-2016 09:55    1807
acl2_6.5-2_amd64.deb                               10-Mar-2016 09:56     16M
acl2_6.5-2_i386.deb                                10-Mar-2016 09:50     13M
acl2_6.5.orig-books.tar.gz                         10-Mar-2016 09:55     14M
acl2_6.5.orig.tar.gz                               10-Mar-2016 09:55      6M