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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]acl2-books-certs_8.0..>13-Jan-2018 20:52 70M 
[   ]acl2-books-certs_8.3..>24-Aug-2020 11:11 13K 
[   ]acl2-books-certs_8.3..>28-Jan-2021 09:25 139M 
[   ]acl2-books-certs_8.5..>16-Jan-2023 21:55 170M 
[   ]acl2-books-source_8...>13-Jan-2018 20:52 12M 
[   ]acl2-books-source_8...>24-Aug-2020 11:11 19M 
[   ]acl2-books-source_8...>28-Jan-2021 09:25 19M 
[   ]acl2-books-source_8...>16-Jan-2023 21:55 24M 
[   ]acl2-books_8.0dfsg-1..>01-May-2022 16:11 128M 
[   ]acl2-books_8.3dfsg-1..>29-Aug-2020 17:08 13K 
[   ]acl2-books_8.5dfsg-5..>26-Jan-2023 17:08 266M 
[   ]acl2-doc_8.0dfsg-1_a..>13-Jan-2018 20:52 392K 
[   ]acl2-doc_8.3dfsg-1_a..>24-Aug-2020 11:11 437K 
[   ]acl2-doc_8.3dfsg-2_a..>28-Jan-2021 09:25 437K 
[   ]acl2-doc_8.5dfsg-5_a..>16-Jan-2023 21:55 470K 
[   ]acl2-emacs_8.0dfsg-1..>13-Jan-2018 20:52 66K 
[   ]acl2-emacs_8.3dfsg-1..>24-Aug-2020 11:11 68K 
[   ]acl2-emacs_8.3dfsg-2..>28-Jan-2021 09:25 68K 
[   ]acl2-infix-source_8...>13-Jan-2018 20:52 77K 
[   ]acl2-infix-source_8...>24-Aug-2020 11:11 78K 
[   ]acl2-infix-source_8...>28-Jan-2021 09:25 78K 
[   ]acl2-infix-source_8...>16-Jan-2023 21:55 71K 
[   ]acl2-infix_8.0dfsg-1..>01-May-2022 16:11 432K 
[   ]acl2-infix_8.3dfsg-1..>29-Aug-2020 17:08 431K 
[   ]acl2-infix_8.5dfsg-5..>26-Jan-2023 17:08 457K 
[   ]acl2-source_8.0dfsg-..>13-Jan-2018 20:52 2.9M 
[   ]acl2-source_8.3dfsg-..>24-Aug-2020 11:11 3.2M 
[   ]acl2-source_8.3dfsg-..>28-Jan-2021 09:25 3.2M 
[   ]acl2-source_8.5dfsg-..>16-Jan-2023 21:55 3.4M 
[   ]acl2_8.0dfsg-1.debia..>13-Jan-2018 20:52 200K 
[TXT]acl2_8.0dfsg-1.dsc 13-Jan-2018 20:52 2.2K 
[   ]acl2_8.0dfsg-1_armhf..>01-May-2022 16:11 16M 
[CMP]acl2_8.0dfsg.orig.ta..>13-Jan-2018 20:52 74M 
[   ]acl2_8.3dfsg-1.debia..>24-Aug-2020 09:39 201K 
[TXT]acl2_8.3dfsg-1.dsc 24-Aug-2020 09:39 2.2K 
[   ]acl2_8.3dfsg-1_armhf..>29-Aug-2020 17:08 17M 
[   ]acl2_8.3dfsg-2.debia..>27-Jan-2021 21:34 223K 
[TXT]acl2_8.3dfsg-2.dsc 27-Jan-2021 21:34 2.2K 
[CMP]acl2_8.3dfsg.orig.ta..>24-Aug-2020 09:39 112M 
[   ]acl2_8.5dfsg-5.debia..>16-Jan-2023 09:00 306K 
[TXT]acl2_8.5dfsg-5.dsc 16-Jan-2023 09:00 2.2K 
[   ]acl2_8.5dfsg-5_armhf..>26-Jan-2023 17:08 18M 
[CMP]acl2_8.5dfsg.orig.ta..>27-Jul-2022 21:13 213M 
[   ]elpa-acl2_8.5dfsg-5_..>16-Jan-2023 21:55 69K