Index of /pub/linux/linuxdeepin/server/pool/main/a/acl2/


../
acl2-books-certs_6.5-2_all.deb                     08-Sep-2014 14:35             6499338
acl2-books-source_6.5-2_all.deb                    08-Sep-2014 14:35             6956870
acl2-books_6.5-2_amd64.deb                         08-Sep-2014 14:35            23132372
acl2-books_6.5-2_i386.deb                          08-Sep-2014 21:44            21804958
acl2-doc_6.5-2_all.deb                             08-Sep-2014 14:35             1671882
acl2-emacs_6.5-2_all.deb                           08-Sep-2014 14:35               60874
acl2-infix-source_6.5-2_all.deb                    08-Sep-2014 14:35               79456
acl2-infix_6.5-2_amd64.deb                         08-Sep-2014 14:35              150020
acl2-infix_6.5-2_i386.deb                          08-Sep-2014 21:44              151576
acl2-source_6.5-2_all.deb                          08-Sep-2014 14:35             2764672
acl2_6.5-2.debian.tar.xz                           08-Sep-2014 14:35              128268
acl2_6.5-2.dsc                                     08-Sep-2014 14:35                1807
acl2_6.5-2_amd64.deb                               08-Sep-2014 14:35            16320288
acl2_6.5-2_i386.deb                                08-Sep-2014 21:44            14001878
acl2_6.5.orig-books.tar.gz                         17-Aug-2014 15:21            14978744
acl2_6.5.orig.tar.gz                               17-Aug-2014 15:21             6192434