Index of /univention-repository/pool/main/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 27-Aug-2019 09:55            73306868
acl2-books-certs_8.3dfsg-2_all.deb                 25-Feb-2023 16:31           145388148
acl2-books-certs_8.5dfsg-5_all.deb                 12-Mar-2023 07:24           178375056
acl2-books-source_8.0dfsg-1_all.deb                27-Aug-2019 09:55            12473396
acl2-books-source_8.3dfsg-2_all.deb                25-Feb-2023 16:31            19539252
acl2-books-source_8.5dfsg-5_all.deb                12-Mar-2023 07:24            24662324
acl2-books_8.0dfsg-1_amd64.deb                     27-Aug-2019 09:55           137946376
acl2-books_8.3dfsg-2_amd64.deb                     25-Feb-2023 16:31           252878684
acl2-books_8.5dfsg-5_amd64.deb                     12-Mar-2023 07:24           300900920
acl2-doc_8.0dfsg-1_all.deb                         27-Aug-2019 09:55              401524
acl2-doc_8.3dfsg-2_all.deb                         25-Feb-2023 16:31              447608
acl2-doc_8.5dfsg-5_all.deb                         12-Mar-2023 07:24              481328
acl2-emacs_8.0dfsg-1_all.deb                       27-Aug-2019 09:55               67608
acl2-emacs_8.3dfsg-2_all.deb                       25-Feb-2023 16:31               69412
acl2-infix-source_8.0dfsg-1_all.deb                27-Aug-2019 09:55               79188
acl2-infix-source_8.3dfsg-2_all.deb                25-Feb-2023 16:31               79880
acl2-infix-source_8.5dfsg-5_all.deb                12-Mar-2023 07:24               72332
acl2-infix_8.0dfsg-1_amd64.deb                     27-Aug-2019 09:55              432032
acl2-infix_8.3dfsg-2_amd64.deb                     25-Feb-2023 16:31              490280
acl2-infix_8.5dfsg-5_amd64.deb                     12-Mar-2023 07:24              475288
acl2-source_8.0dfsg-1_all.deb                      27-Aug-2019 09:55             3081324
acl2-source_8.3dfsg-2_all.deb                      25-Feb-2023 16:31             3339896
acl2-source_8.5dfsg-5_all.deb                      12-Mar-2023 07:24             3587888
acl2_8.0dfsg-1_amd64.deb                           27-Aug-2019 09:55            19855896
acl2_8.3dfsg-2_amd64.deb                           25-Feb-2023 16:31            21481292
acl2_8.5dfsg-5_amd64.deb                           12-Mar-2023 07:24            23408224
elpa-acl2_8.5dfsg-5_all.deb                        12-Mar-2023 07:24               70628