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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 acl2-books-certs_6.3..> 24-Oct-2013 16:36   11M  
 acl2-books-certs_7.1..> 27-Jun-2015 13:48   13M  
 acl2-books-certs_8.0..> 14-Jan-2018 03:08   70M  
 acl2-books-certs_8.2..> 23-Mar-2020 13:24   66M  
 acl2-books-certs_8.4..> 19-Dec-2021 01:10  221M  
 acl2-books-certs_8.5..> 17-Jan-2023 02:29  216M  
 acl2-books-certs_8.5..> 02-Apr-2024 08:03  216M  
 acl2-books-source_6...> 24-Oct-2013 16:36  9.1M  
 acl2-books-source_7...> 27-Jun-2015 13:48  9.9M  
 acl2-books-source_8...> 14-Jan-2018 03:08   12M  
 acl2-books-source_8...> 23-Mar-2020 13:24   14M  
 acl2-books-source_8...> 19-Dec-2021 01:10   21M  
 acl2-books-source_8...> 17-Jan-2023 02:29   23M  
 acl2-books-source_8...> 02-Apr-2024 08:02   23M  
 acl2-books_6.3-5_amd..> 24-Oct-2013 16:36   40M  
 acl2-books_6.3-5_i38..> 24-Oct-2013 16:36   36M  
 acl2-books_7.1-1_amd..> 27-Jun-2015 13:48   19M  
 acl2-books_7.1-1_i38..> 02-Jun-2015 02:43   18M  
 acl2-books_8.0dfsg-1..> 14-Jan-2018 03:08  132M  
 acl2-books_8.0dfsg-1..> 14-Jan-2018 04:49  114M  
 acl2-books_8.2dfsg-3..> 23-Mar-2020 13:24  163M  
 acl2-books_8.4dfsg-2..> 19-Dec-2021 01:09  338M  
 acl2-books_8.5dfsg-5..> 17-Jan-2023 02:29  329M  
 acl2-books_8.5dfsg-5..> 02-Apr-2024 08:03  331M  
 acl2-doc_6.3-5_all.deb  24-Oct-2013 16:36   12M  
 acl2-doc_7.1-1_all.deb  27-Jun-2015 13:48  353K  
 acl2-doc_8.0dfsg-1_a..> 14-Jan-2018 03:08  385K  
 acl2-doc_8.2dfsg-3bu..> 23-Mar-2020 13:24  418K  
 acl2-doc_8.4dfsg-2_a..> 19-Dec-2021 01:09  441K  
 acl2-doc_8.5dfsg-5_a..> 17-Jan-2023 02:29  473K  
 acl2-doc_8.5dfsg-5bu..> 02-Apr-2024 08:02  474K  
 acl2-emacs_6.3-5_all..> 24-Oct-2013 16:36   55K  
 acl2-emacs_7.1-1_all..> 27-Jun-2015 13:48   55K  
 acl2-emacs_8.0dfsg-1..> 14-Jan-2018 03:08   59K  
 acl2-emacs_8.2dfsg-3..> 23-Mar-2020 13:24   59K  
 acl2-infix-source_6...> 24-Oct-2013 16:36   86K  
 acl2-infix-source_7...> 27-Jun-2015 13:48   70K  
 acl2-infix-source_8...> 14-Jan-2018 03:08   70K  
 acl2-infix-source_8...> 23-Mar-2020 13:24   70K  
 acl2-infix-source_8...> 19-Dec-2021 01:10   72K  
 acl2-infix-source_8...> 17-Jan-2023 02:29   72K  
 acl2-infix-source_8...> 02-Apr-2024 08:02   72K  
 acl2-infix_6.3-5_amd..> 24-Oct-2013 16:36  200K  
 acl2-infix_6.3-5_i38..> 24-Oct-2013 16:36  189K  
 acl2-infix_7.1-1_amd..> 27-Jun-2015 13:48  140K  
 acl2-infix_7.1-1_i38..> 02-Jun-2015 02:43  142K  
 acl2-infix_8.0dfsg-1..> 14-Jan-2018 03:08  414K  
 acl2-infix_8.0dfsg-1..> 14-Jan-2018 04:49  381K  
 acl2-infix_8.2dfsg-3..> 23-Mar-2020 13:24  470K  
 acl2-infix_8.4dfsg-2..> 19-Dec-2021 01:09  551K  
 acl2-infix_8.5dfsg-5..> 17-Jan-2023 02:29  533K  
 acl2-infix_8.5dfsg-5..> 02-Apr-2024 08:02  538K  
 acl2-source_6.3-5_al..> 24-Oct-2013 16:36  3.6M  
 acl2-source_7.1-1_al..> 27-Jun-2015 13:48  2.7M  
 acl2-source_8.0dfsg-..> 14-Jan-2018 03:08  2.9M  
 acl2-source_8.2dfsg-..> 23-Mar-2020 13:24  3.1M  
 acl2-source_8.4dfsg-..> 19-Dec-2021 01:10  3.4M  
 acl2-source_8.5dfsg-..> 17-Jan-2023 02:29  3.5M  
 acl2-source_8.5dfsg-..> 02-Apr-2024 08:02  3.5M  
 acl2_6.3-5.debian.ta..> 21-Oct-2013 13:09  158K  
 acl2_6.3-5.dsc          21-Oct-2013 13:09  1.7K  
 acl2_6.3-5_amd64.deb    24-Oct-2013 16:36   27M  
 acl2_6.3-5_i386.deb     24-Oct-2013 16:36   23M  
 acl2_6.3.orig-books...> 21-Oct-2013 13:09   13M  
 acl2_6.3.orig.tar.gz    21-Oct-2013 13:09  6.7M  
 acl2_7.1-1.debian.ta..> 01-Jun-2015 23:24  126K  
 acl2_7.1-1.dsc          01-Jun-2015 23:24  2.2K  
 acl2_7.1-1_amd64.deb    27-Jun-2015 13:48   16M  
 acl2_7.1-1_i386.deb     02-Jun-2015 02:43   16M  
 acl2_7.1.orig.tar.gz    01-Jun-2015 23:24   60M  
 acl2_8.0dfsg-1.debia..> 13-Jan-2018 23:08  200K  
 acl2_8.0dfsg-1.dsc      13-Jan-2018 23:08  2.2K  
 acl2_8.0dfsg-1_amd64..> 14-Jan-2018 03:08   19M  
 acl2_8.0dfsg-1_i386.deb 14-Jan-2018 04:49   16M  
 acl2_8.0dfsg.orig.ta..> 13-Jan-2018 23:08   74M  
 acl2_8.2dfsg-3build1..> 23-Mar-2020 07:00  201K  
 acl2_8.2dfsg-3build1..> 23-Mar-2020 07:00  2.2K  
 acl2_8.2dfsg-3build1..> 23-Mar-2020 13:24   21M  
 acl2_8.2dfsg.orig.ta..> 19-Dec-2019 23:13   77M  
 acl2_8.4dfsg-2.debia..> 01-Nov-2021 23:24  304K  
 acl2_8.4dfsg-2.dsc      01-Nov-2021 23:24  2.2K  
 acl2_8.4dfsg-2_amd64..> 19-Dec-2021 01:10   25M  
 acl2_8.4dfsg.orig.ta..> 28-Oct-2021 23:18  194M  
 acl2_8.5dfsg-5.debia..> 16-Jan-2023 17:44  306K  
 acl2_8.5dfsg-5.dsc      16-Jan-2023 17:44  2.2K  
 acl2_8.5dfsg-5_amd64..> 17-Jan-2023 02:29   26M  
 acl2_8.5dfsg-5build3..> 01-Apr-2024 05:43  306K  
 acl2_8.5dfsg-5build3..> 01-Apr-2024 05:43  2.3K  
 acl2_8.5dfsg-5build3..> 02-Apr-2024 08:03   26M  
 acl2_8.5dfsg.orig.ta..> 27-Jul-2022 23:33  213M  
 elpa-acl2_8.4dfsg-2_..> 19-Dec-2021 01:09   69K  
 elpa-acl2_8.5dfsg-5_..> 17-Jan-2023 02:29   70K  
 elpa-acl2_8.5dfsg-5b..> 02-Apr-2024 08:02   71K