Index of /pureos/pool/main/a/acl2/


../
acl2-books-certs_8.0dfsg-1_all.deb                 13-Feb-2019 04:00            73306868
acl2-books-certs_8.2dfsg-3_all.deb                 05-Jan-2020 08:46            68990468
acl2-books-source_8.0dfsg-1_all.deb                13-Feb-2019 04:00            12473396
acl2-books-source_8.2dfsg-3_all.deb                05-Jan-2020 08:46            14298228
acl2-books_8.0dfsg-1_amd64.deb                     13-Feb-2019 04:02           137946376
acl2-books_8.0dfsg-1_arm64.deb                     13-Feb-2019 04:03           141349688
acl2-books_8.2dfsg-3_amd64.deb                     05-Jan-2020 08:46           171742700
acl2-books_8.2dfsg-3_arm64.deb                     05-Jan-2020 08:46           169331088
acl2-doc_8.0dfsg-1_all.deb                         13-Feb-2019 03:59              401524
acl2-doc_8.2dfsg-3_all.deb                         05-Jan-2020 08:46              432776
acl2-emacs_8.0dfsg-1_all.deb                       13-Feb-2019 03:59               67608
acl2-emacs_8.2dfsg-3_all.deb                       05-Jan-2020 08:46               68308
acl2-infix-source_8.0dfsg-1_all.deb                13-Feb-2019 03:59               79188
acl2-infix-source_8.2dfsg-3_all.deb                05-Jan-2020 08:46               79644
acl2-infix_8.0dfsg-1_amd64.deb                     13-Feb-2019 04:00              432032
acl2-infix_8.0dfsg-1_arm64.deb                     13-Feb-2019 04:02              442796
acl2-infix_8.2dfsg-3_amd64.deb                     05-Jan-2020 08:46              491232
acl2-infix_8.2dfsg-3_arm64.deb                     05-Jan-2020 08:46              479252
acl2-source_8.0dfsg-1_all.deb                      13-Feb-2019 04:00             3081324
acl2-source_8.2dfsg-3_all.deb                      05-Jan-2020 08:46             3276396
acl2_8.0dfsg-1.debian.tar.xz                       13-Feb-2019 03:58              204760
acl2_8.0dfsg-1.dsc                                 13-Feb-2019 03:58                2245
acl2_8.0dfsg-1_amd64.deb                           13-Feb-2019 04:00            19855896
acl2_8.0dfsg-1_arm64.deb                           13-Feb-2019 04:02            17862108
acl2_8.0dfsg.orig.tar.gz                           13-Feb-2019 03:58            77635571
acl2_8.2dfsg-3.debian.tar.xz                       05-Jan-2020 08:43              205976
acl2_8.2dfsg-3.dsc                                 05-Jan-2020 08:43                2247
acl2_8.2dfsg-3_amd64.deb                           05-Jan-2020 08:46            21973360
acl2_8.2dfsg-3_arm64.deb                           05-Jan-2020 08:46            20412424
acl2_8.2dfsg.orig.tar.gz                           05-Jan-2020 08:43            80652725