The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu-ports/pool/universe/a/acl2/


../
acl2-books-certs_6.3-5_all.deb                     24-Oct-2013 16:36            11641112
acl2-books-certs_7.1-1_all.deb                     27-Jun-2015 13:48            13191160
acl2-books-certs_8.0dfsg-1_all.deb                 14-Jan-2018 03:08            73403184
acl2-books-certs_8.2dfsg-3build1_all.deb           23-Mar-2020 13:24            68979892
acl2-books-certs_8.4dfsg-2_all.deb                 19-Dec-2021 01:10           231831222
acl2-books-certs_8.5dfsg-5_all.deb                 17-Jan-2023 02:29           226698028
acl2-books-certs_8.5dfsg-5build3_all.deb           02-Apr-2024 08:03           226234436
acl2-books-source_6.3-5_all.deb                    24-Oct-2013 16:36             9570222
acl2-books-source_7.1-1_all.deb                    27-Jun-2015 13:48            10333152
acl2-books-source_8.0dfsg-1_all.deb                14-Jan-2018 03:08            12466104
acl2-books-source_8.2dfsg-3build1_all.deb          23-Mar-2020 13:24            14290112
acl2-books-source_8.4dfsg-2_all.deb                19-Dec-2021 01:10            22136204
acl2-books-source_8.5dfsg-5_all.deb                17-Jan-2023 02:29            24014556
acl2-books-source_8.5dfsg-5build3_all.deb          02-Apr-2024 08:02            23801362
acl2-books_6.3-5_armhf.deb                         23-Oct-2013 04:44           113350618
acl2-books_7.1-1_arm64.deb                         02-Jun-2015 14:43            19583214
acl2-books_7.1-1_armhf.deb                         02-Jun-2015 12:58            62421090
acl2-books_8.0dfsg-1_arm64.deb                     22-Jan-2018 03:23           141266400
acl2-books_8.0dfsg-1_armhf.deb                     21-Jan-2018 23:13           121281400
acl2-books_8.2dfsg-3build1_arm64.deb               24-Mar-2020 08:48           169297064
acl2-books_8.2dfsg-3build1_armhf.deb               24-Mar-2020 08:18           158561012
acl2-books_8.4dfsg-2_arm64.deb                     26-Dec-2021 07:08           351062826
acl2-books_8.4dfsg-2_armhf.deb                     26-Dec-2021 05:49           336148864
acl2-books_8.5dfsg-5_arm64.deb                     17-Jan-2023 17:45           352159590
acl2-books_8.5dfsg-5_armhf.deb                     17-Jan-2023 07:04           330785190
acl2-books_8.5dfsg-5build3_arm64.deb               11-Apr-2024 15:38           353503934
acl2-books_8.5dfsg-5build3_armhf.deb               03-Apr-2024 15:40           333055736
acl2-doc_6.3-5_all.deb                             24-Oct-2013 16:36            12728778
acl2-doc_7.1-1_all.deb                             27-Jun-2015 13:48              361780
acl2-doc_8.0dfsg-1_all.deb                         14-Jan-2018 03:08              394360
acl2-doc_8.2dfsg-3build1_all.deb                   23-Mar-2020 13:24              428100
acl2-doc_8.4dfsg-2_all.deb                         19-Dec-2021 01:09              451656
acl2-doc_8.5dfsg-5_all.deb                         17-Jan-2023 02:29              484782
acl2-doc_8.5dfsg-5build3_all.deb                   02-Apr-2024 08:02              485308
acl2-emacs_6.3-5_all.deb                           24-Oct-2013 16:36               56302
acl2-emacs_7.1-1_all.deb                           27-Jun-2015 13:48               56524
acl2-emacs_8.0dfsg-1_all.deb                       14-Jan-2018 03:08               60340
acl2-emacs_8.2dfsg-3build1_all.deb                 23-Mar-2020 13:24               60520
acl2-infix-source_6.3-5_all.deb                    24-Oct-2013 16:36               88034
acl2-infix-source_7.1-1_all.deb                    27-Jun-2015 13:48               72020
acl2-infix-source_8.0dfsg-1_all.deb                14-Jan-2018 03:08               71888
acl2-infix-source_8.2dfsg-3build1_all.deb          23-Mar-2020 13:24               71920
acl2-infix-source_8.4dfsg-2_all.deb                19-Dec-2021 01:10               73680
acl2-infix-source_8.5dfsg-5_all.deb                17-Jan-2023 02:29               73612
acl2-infix-source_8.5dfsg-5build3_all.deb          02-Apr-2024 08:02               74148
acl2-infix_6.3-5_armhf.deb                         23-Oct-2013 04:44              587300
acl2-infix_7.1-1_arm64.deb                         02-Jun-2015 14:43              151024
acl2-infix_7.1-1_armhf.deb                         02-Jun-2015 12:58              433376
acl2-infix_8.0dfsg-1_arm64.deb                     22-Jan-2018 03:23              430600
acl2-infix_8.0dfsg-1_armhf.deb                     21-Jan-2018 23:13              409780
acl2-infix_8.2dfsg-3build1_arm64.deb               24-Mar-2020 08:48              471912
acl2-infix_8.2dfsg-3build1_armhf.deb               24-Mar-2020 08:18              457852
acl2-infix_8.4dfsg-2_arm64.deb                     26-Dec-2021 07:08              572608
acl2-infix_8.4dfsg-2_armhf.deb                     26-Dec-2021 05:49              564612
acl2-infix_8.5dfsg-5_arm64.deb                     17-Jan-2023 17:45              552418
acl2-infix_8.5dfsg-5_armhf.deb                     17-Jan-2023 07:04              553900
acl2-infix_8.5dfsg-5build3_arm64.deb               11-Apr-2024 15:38              554498
acl2-infix_8.5dfsg-5build3_armhf.deb               03-Apr-2024 15:40              554580
acl2-source_6.3-5_all.deb                          24-Oct-2013 16:36             3795138
acl2-source_7.1-1_all.deb                          27-Jun-2015 13:48             2838230
acl2-source_8.0dfsg-1_all.deb                      14-Jan-2018 03:08             3074488
acl2-source_8.2dfsg-3build1_all.deb                23-Mar-2020 13:24             3268812
acl2-source_8.4dfsg-2_all.deb                      19-Dec-2021 01:10             3536828
acl2-source_8.5dfsg-5_all.deb                      17-Jan-2023 02:29             3651794
acl2-source_8.5dfsg-5build3_all.deb                02-Apr-2024 08:02             3652452
acl2_6.3-5.debian.tar.gz                           21-Oct-2013 13:09              161480
acl2_6.3-5.dsc                                     21-Oct-2013 13:09                1749
acl2_6.3-5_armhf.deb                               23-Oct-2013 04:44            24228232
acl2_6.3.orig-books.tar.gz                         21-Oct-2013 13:09            13598991
acl2_6.3.orig.tar.gz                               21-Oct-2013 13:09             7068895
acl2_7.1-1.debian.tar.xz                           01-Jun-2015 23:24              128900
acl2_7.1-1.dsc                                     01-Jun-2015 23:24                2203
acl2_7.1-1_arm64.deb                               02-Jun-2015 14:43            15646510
acl2_7.1-1_armhf.deb                               02-Jun-2015 12:58            16136508
acl2_7.1.orig.tar.gz                               01-Jun-2015 23:24            63342334
acl2_8.0dfsg-1.debian.tar.xz                       13-Jan-2018 23:08              204760
acl2_8.0dfsg-1.dsc                                 13-Jan-2018 23:08                2245
acl2_8.0dfsg-1_arm64.deb                           22-Jan-2018 03:23            17735608
acl2_8.0dfsg-1_armhf.deb                           21-Jan-2018 23:13            16180312
acl2_8.0dfsg.orig.tar.gz                           13-Jan-2018 23:08            77635571
acl2_8.2dfsg-3build1.debian.tar.xz                 23-Mar-2020 07:00              206024
acl2_8.2dfsg-3build1.dsc                           23-Mar-2020 07:00                2296
acl2_8.2dfsg-3build1_arm64.deb                     24-Mar-2020 08:48            20342888
acl2_8.2dfsg-3build1_armhf.deb                     24-Mar-2020 08:18            18614872
acl2_8.2dfsg.orig.tar.gz                           19-Dec-2019 23:13            80652725
acl2_8.4dfsg-2.debian.tar.xz                       01-Nov-2021 23:24              311628
acl2_8.4dfsg-2.dsc                                 01-Nov-2021 23:24                2281
acl2_8.4dfsg-2_arm64.deb                           26-Dec-2021 07:08            25090910
acl2_8.4dfsg-2_armhf.deb                           26-Dec-2021 05:49            22325788
acl2_8.4dfsg.orig.tar.gz                           28-Oct-2021 23:18           202991839
acl2_8.5dfsg-5.debian.tar.xz                       16-Jan-2023 17:44              312896
acl2_8.5dfsg-5.dsc                                 16-Jan-2023 17:44                2268
acl2_8.5dfsg-5_arm64.deb                           17-Jan-2023 17:45            25730506
acl2_8.5dfsg-5_armhf.deb                           17-Jan-2023 07:04            23126052
acl2_8.5dfsg-5build3.debian.tar.xz                 01-Apr-2024 05:43              313036
acl2_8.5dfsg-5build3.dsc                           01-Apr-2024 05:43                2371
acl2_8.5dfsg-5build3_arm64.deb                     11-Apr-2024 15:38            25345322
acl2_8.5dfsg-5build3_armhf.deb                     03-Apr-2024 15:40            22419416
acl2_8.5dfsg.orig.tar.gz                           27-Jul-2022 23:33           223546594
elpa-acl2_8.4dfsg-2_all.deb                        19-Dec-2021 01:09               70790
elpa-acl2_8.5dfsg-5_all.deb                        17-Jan-2023 02:29               72014
elpa-acl2_8.5dfsg-5build3_all.deb                  02-Apr-2024 08:02               72432

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.