Index of /raspbian/pool/main/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2_8.2dfsg.orig.tar.gz2019-12-19 19:06 77M 
[ ]acl2_8.2dfsg-3_armhf.deb2020-01-09 00:09 17M 
[ ]acl2_8.2dfsg-3.dsc2019-12-31 04:04 2.2K 
[ ]acl2_8.2dfsg-3.debian.tar.xz2019-12-31 04:04 201K 
[ ]acl2_8.0dfsg.orig.tar.gz2018-01-13 15:52 74M 
[ ]acl2_8.0dfsg-1.dsc2018-01-13 15:52 2.2K 
[ ]acl2_8.0dfsg-1.debian.tar.xz2018-01-13 15:52 200K 
[ ]acl2_7.2dfsg.orig.tar.gz2016-04-14 16:54 61M 
[ ]acl2_7.2dfsg-3_armhf.deb2017-04-20 02:12 14M 
[ ]acl2_7.2dfsg-3.dsc2016-10-17 17:35 2.2K 
[ ]acl2_7.2dfsg-3.debian.tar.xz2016-10-17 17:35 199K 
[ ]acl2_6.5.orig.tar.gz2014-08-17 18:21 5.9M 
[ ]acl2_6.5.orig-books.tar.gz2014-08-17 18:21 14M 
[ ]acl2_6.5-2_armhf.deb2014-10-04 20:10 13M 
[ ]acl2_6.5-2.dsc2014-09-08 17:35 1.8K 
[ ]acl2_6.5-2.debian.tar.xz2014-09-08 17:35 125K 
[ ]acl2-source_8.2dfsg-3_all.deb2019-12-31 14:29 3.1M 
[ ]acl2-source_8.0dfsg-1_all.deb2018-01-13 15:52 2.9M 
[ ]acl2-source_7.2dfsg-3_all.deb2016-10-17 17:35 2.8M 
[ ]acl2-source_6.5-2_all.deb2014-09-08 17:35 2.6M 
[ ]acl2-infix_8.2dfsg-3_armhf.deb2020-01-09 00:09 435K 
[ ]acl2-infix_7.2dfsg-3_armhf.deb2017-04-20 02:12 371K 
[ ]acl2-infix_6.5-2_armhf.deb2014-10-04 20:10 392K 
[ ]acl2-infix-source_8.2dfsg-3_all.deb2019-12-31 14:29 78K 
[ ]acl2-infix-source_8.0dfsg-1_all.deb2018-01-13 15:52 77K 
[ ]acl2-infix-source_7.2dfsg-3_all.deb2016-10-17 17:35 77K 
[ ]acl2-infix-source_6.5-2_all.deb2014-09-08 17:35 78K 
[ ]acl2-emacs_8.2dfsg-3_all.deb2019-12-31 14:29 67K 
[ ]acl2-emacs_8.0dfsg-1_all.deb2018-01-13 15:52 66K 
[ ]acl2-emacs_7.2dfsg-3_all.deb2016-10-17 17:35 63K 
[ ]acl2-emacs_6.5-2_all.deb2014-09-08 17:35 59K 
[ ]acl2-doc_8.2dfsg-3_all.deb2019-12-31 14:29 423K 
[ ]acl2-doc_8.0dfsg-1_all.deb2018-01-13 15:52 392K 
[ ]acl2-doc_7.2dfsg-3_all.deb2016-10-17 17:35 372K 
[ ]acl2-doc_6.5-2_all.deb2014-09-08 17:35 1.6M 
[ ]acl2-books_8.2dfsg-3_armhf.deb2020-01-09 00:09 146M 
[ ]acl2-books_7.2dfsg-3_armhf.deb2017-04-20 02:12 49M 
[ ]acl2-books_6.5-2_armhf.deb2014-10-04 20:10 62M 
[ ]acl2-books-source_8.2dfsg-3_all.deb2019-12-31 14:29 14M 
[ ]acl2-books-source_8.0dfsg-1_all.deb2018-01-13 15:52 12M 
[ ]acl2-books-source_7.2dfsg-3_all.deb2016-10-17 17:35 10M 
[ ]acl2-books-source_6.5-2_all.deb2014-09-08 17:35 6.6M 
[ ]acl2-books-certs_8.2dfsg-3_all.deb2019-12-31 14:29 66M 
[ ]acl2-books-certs_8.0dfsg-1_all.deb2018-01-13 15:52 70M 
[ ]acl2-books-certs_7.2dfsg-3_all.deb2016-10-17 17:35 52M 
[ ]acl2-books-certs_6.5-2_all.deb2014-09-08 17:35 6.2M