Index of /nova/pool/extendido/a/acl2/


../
acl2-books-certs_8.0dfsg-1_all.deb                 11-Jun-2020 05:49            73403184
acl2-books-certs_8.2dfsg-3build1_all.deb           21-Jun-2020 16:29            68979892
acl2-books-certs_8.4dfsg-2_all.deb                 01-May-2022 21:03           231831222
acl2-books-source_8.0dfsg-1_all.deb                11-Jun-2020 01:25            12466104
acl2-books-source_8.2dfsg-3build1_all.deb          22-Jun-2020 06:51            14290112
acl2-books-source_8.4dfsg-2_all.deb                30-Apr-2022 04:17            22136204
acl2-books_8.0dfsg-1_amd64.deb                     11-Jun-2020 05:13           138083420
acl2-books_8.0dfsg-1_i386.deb                      11-Jun-2020 04:21           119603224
acl2-books_8.2dfsg-3build1_amd64.deb               21-Jun-2020 19:14           171294740
acl2-books_8.4dfsg-2_amd64.deb                     30-Apr-2022 03:48           353947352
acl2-doc_8.0dfsg-1_all.deb                         11-Jun-2020 01:38              394360
acl2-doc_8.2dfsg-3build1_all.deb                   21-Jun-2020 16:34              428100
acl2-doc_8.4dfsg-2_all.deb                         30-Apr-2022 08:28              451656
acl2-emacs_8.0dfsg-1_all.deb                       11-Jun-2020 01:31               60340
acl2-emacs_8.2dfsg-3build1_all.deb                 22-Jun-2020 06:58               60520
acl2-infix-source_8.0dfsg-1_all.deb                11-Jun-2020 01:46               71888
acl2-infix-source_8.2dfsg-3build1_all.deb          21-Jun-2020 16:06               71920
acl2-infix-source_8.4dfsg-2_all.deb                30-Apr-2022 03:34               73680
acl2-infix_8.0dfsg-1_amd64.deb                     11-Jun-2020 01:05              424152
acl2-infix_8.0dfsg-1_i386.deb                      11-Jun-2020 01:04              390264
acl2-infix_8.2dfsg-3build1_amd64.deb               21-Jun-2020 20:28              481148
acl2-infix_8.4dfsg-2_amd64.deb                     30-Apr-2022 03:09              564006
acl2-source_8.0dfsg-1_all.deb                      11-Jun-2020 03:39             3074488
acl2-source_8.2dfsg-3build1_all.deb                22-Jun-2020 08:45             3268812
acl2-source_8.4dfsg-2_all.deb                      30-Apr-2022 05:31             3536828
acl2_8.0dfsg-1.debian.tar.xz                       10-Jun-2020 17:18              204760
acl2_8.0dfsg-1.dsc                                 10-Jun-2020 17:18                2245
acl2_8.0dfsg-1_amd64.deb                           11-Jun-2020 04:10            19704384
acl2_8.0dfsg-1_i386.deb                            10-Jun-2020 17:27            16994892
acl2_8.0dfsg.orig.tar.gz                           10-Jun-2020 17:18            77635571
acl2_8.2dfsg-3build1.debian.tar.xz                 21-Jun-2020 20:32              206024
acl2_8.2dfsg-3build1.dsc                           21-Jun-2020 20:32                2296
acl2_8.2dfsg-3build1_amd64.deb                     22-Jun-2020 17:22            21932904
acl2_8.2dfsg.orig.tar.gz                           21-Jun-2020 20:33            80652725
acl2_8.4dfsg-2.debian.tar.xz                       01-May-2022 14:18              311628
acl2_8.4dfsg-2.dsc                                 01-May-2022 14:18                2281
acl2_8.4dfsg-2_amd64.deb                           30-Apr-2022 06:49            26133150
acl2_8.4dfsg.orig.tar.gz                           01-May-2022 14:21           202991839
elpa-acl2_8.4dfsg-2_all.deb                        30-Apr-2022 07:56               70790