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

../
acl2-books-certs_8.0dfsg-1_all.deb                 01-May-2022 15:17            73306868
acl2-books-certs_8.3dfsg-1_all.deb                 12-Jan-2022 13:08               13664
acl2-books-certs_8.5dfsg-5_all.deb                 16-Jan-2024 21:41           178375056
acl2-books-source_8.0dfsg-1_all.deb                01-May-2022 15:17            12473396
acl2-books-source_8.3dfsg-1_all.deb                12-Jan-2022 13:08            19520532
acl2-books-source_8.5dfsg-5_all.deb                16-Jan-2024 21:41            24662324
acl2-books_8.0dfsg-1_armhf.deb                     01-May-2022 15:17           133744084
acl2-books_8.3dfsg-1_armhf.deb                     12-Jan-2022 13:08               12956
acl2-books_8.5dfsg-5_armhf.deb                     16-Jan-2024 21:41           278815612
acl2-doc_8.0dfsg-1_all.deb                         01-May-2022 15:17              401524
acl2-doc_8.3dfsg-1_all.deb                         12-Jan-2022 13:08              447480
acl2-doc_8.5dfsg-5_all.deb                         16-Jan-2024 21:41              481328
acl2-emacs_8.0dfsg-1_all.deb                       01-May-2022 15:17               67608
acl2-emacs_8.3dfsg-1_all.deb                       12-Jan-2022 13:08               69232
acl2-infix-source_8.0dfsg-1_all.deb                01-May-2022 15:17               79188
acl2-infix-source_8.3dfsg-1_all.deb                12-Jan-2022 13:08               79720
acl2-infix-source_8.5dfsg-5_all.deb                16-Jan-2024 21:41               72332
acl2-infix_8.0dfsg-1_armhf.deb                     01-May-2022 15:17              442132
acl2-infix_8.3dfsg-1_armhf.deb                     12-Jan-2022 13:08              441808
acl2-infix_8.5dfsg-5_armhf.deb                     16-Jan-2024 21:41              467956
acl2-source_8.0dfsg-1_all.deb                      01-May-2022 15:17             3081324
acl2-source_8.3dfsg-1_all.deb                      12-Jan-2022 13:08             3340264
acl2-source_8.5dfsg-5_all.deb                      16-Jan-2024 21:41             3587888
acl2_8.0dfsg-1_armhf.deb                           01-May-2022 15:17            16659012
acl2_8.3dfsg-1_armhf.deb                           12-Jan-2022 13:08            18109240
acl2_8.5dfsg-5_armhf.deb                           16-Jan-2024 21:41            18907700
elpa-acl2_8.5dfsg-5_all.deb                        16-Jan-2024 21:41               70628