Index of /debian/pool/main/a/acl2

Icon  Name                                Last modified      Size  
[PARENTDIR] Parent Directory                                         -   
[   ] acl2-books-certs_8.0dfsg-1_all.deb  2018-01-13 19:22   70M  
[   ] acl2-books-certs_8.3dfsg-2_all.deb  2021-01-28 07:55  139M  
[   ] acl2-books-certs_8.5dfsg-5_all.deb  2023-01-16 20:25  170M  
[   ] acl2-books-certs_8.5dfsg-6_all.deb  2024-07-29 05:14   64M  
[   ] acl2-books-source_8.0dfsg-1_all.deb 2018-01-13 19:22   12M  
[   ] acl2-books-source_8.3dfsg-2_all.deb 2021-01-28 07:55   19M  
[   ] acl2-books-source_8.5dfsg-5_all.deb 2023-01-16 20:25   24M  
[   ] acl2-books-source_8.5dfsg-6_all.deb 2024-07-29 05:14   24M  
[   ] acl2-books_8.0dfsg-1_amd64.deb      2018-01-13 19:22  132M  
[   ] acl2-books_8.0dfsg-1_arm64.deb      2018-01-14 08:17  135M  
[   ] acl2-books_8.0dfsg-1_armhf.deb      2018-01-15 14:16  120M  
[   ] acl2-books_8.0dfsg-1_i386.deb       2018-01-14 02:56  111M  
[   ] acl2-books_8.3dfsg-2_amd64.deb      2021-01-28 03:27  241M  
[   ] acl2-books_8.3dfsg-2_arm64.deb      2021-01-28 21:13  236M  
[   ] acl2-books_8.3dfsg-2_armhf.deb      2021-01-28 12:12  223M  
[   ] acl2-books_8.3dfsg-2_i386.deb       2021-01-28 03:52  204M  
[   ] acl2-books_8.5dfsg-5_amd64.deb      2023-01-17 01:45  287M  
[   ] acl2-books_8.5dfsg-5_arm64.deb      2023-01-18 02:43  289M  
[   ] acl2-books_8.5dfsg-5_armhf.deb      2023-01-17 17:02  272M  
[   ] acl2-books_8.5dfsg-5_i386.deb       2023-01-16 20:46  248M  
[   ] acl2-books_8.5dfsg-6_amd64.deb      2024-07-29 04:48  151M  
[   ] acl2-books_8.5dfsg-6_arm64.deb      2024-07-29 04:48  149M  
[   ] acl2-books_8.5dfsg-6_armhf.deb      2024-07-29 13:05  144M  
[   ] acl2-books_8.5dfsg-6_i386.deb       2024-07-29 05:19  133M  
[   ] acl2-doc_8.0dfsg-1_all.deb          2018-01-13 19:22  392K  
[   ] acl2-doc_8.3dfsg-2_all.deb          2021-01-28 07:55  437K  
[   ] acl2-doc_8.5dfsg-5_all.deb          2023-01-16 20:25  470K  
[   ] acl2-doc_8.5dfsg-6_all.deb          2024-07-29 05:14  470K  
[   ] acl2-emacs_8.0dfsg-1_all.deb        2018-01-13 19:22   66K  
[   ] acl2-emacs_8.3dfsg-2_all.deb        2021-01-28 07:55   68K  
[   ] acl2-infix-source_8.0dfsg-1_all.deb 2018-01-13 19:22   77K  
[   ] acl2-infix-source_8.3dfsg-2_all.deb 2021-01-28 07:55   78K  
[   ] acl2-infix-source_8.5dfsg-5_all.deb 2023-01-16 20:25   71K  
[   ] acl2-infix-source_8.5dfsg-6_all.deb 2024-07-29 05:14   71K  
[   ] acl2-infix_8.0dfsg-1_amd64.deb      2018-01-13 19:22  422K  
[   ] acl2-infix_8.0dfsg-1_arm64.deb      2018-01-14 08:17  432K  
[   ] acl2-infix_8.0dfsg-1_armhf.deb      2018-01-15 14:16  407K  
[   ] acl2-infix_8.0dfsg-1_i386.deb       2018-01-14 02:56  390K  
[   ] acl2-infix_8.3dfsg-2_amd64.deb      2021-01-28 03:27  479K  
[   ] acl2-infix_8.3dfsg-2_arm64.deb      2021-01-28 21:13  469K  
[   ] acl2-infix_8.3dfsg-2_armhf.deb      2021-01-28 12:12  478K  
[   ] acl2-infix_8.3dfsg-2_i386.deb       2021-01-28 03:52  485K  
[   ] acl2-infix_8.5dfsg-5_amd64.deb      2023-01-17 01:45  464K  
[   ] acl2-infix_8.5dfsg-5_arm64.deb      2023-01-18 02:43  461K  
[   ] acl2-infix_8.5dfsg-5_armhf.deb      2023-01-17 17:02  472K  
[   ] acl2-infix_8.5dfsg-5_i386.deb       2023-01-16 20:46  477K  
[   ] acl2-infix_8.5dfsg-6_amd64.deb      2024-07-29 04:48  465K  
[   ] acl2-infix_8.5dfsg-6_arm64.deb      2024-07-29 04:48  455K  
[   ] acl2-infix_8.5dfsg-6_armhf.deb      2024-07-29 13:05  475K  
[   ] acl2-infix_8.5dfsg-6_i386.deb       2024-07-29 05:19  475K  
[   ] acl2-source_8.0dfsg-1_all.deb       2018-01-13 19:22  2.9M  
[   ] acl2-source_8.3dfsg-2_all.deb       2021-01-28 07:55  3.2M  
[   ] acl2-source_8.5dfsg-5_all.deb       2023-01-16 20:25  3.4M  
[   ] acl2-source_8.5dfsg-6_all.deb       2024-07-29 05:14  3.4M  
[   ] acl2_8.0dfsg-1.debian.tar.xz        2018-01-13 19:22  200K  
[TXT] acl2_8.0dfsg-1.dsc                  2018-01-13 19:22  2.2K  
[   ] acl2_8.0dfsg-1_amd64.deb            2018-01-13 19:22   19M  
[   ] acl2_8.0dfsg-1_arm64.deb            2018-01-14 08:17   17M  
[   ] acl2_8.0dfsg-1_armhf.deb            2018-01-15 14:16   15M  
[   ] acl2_8.0dfsg-1_i386.deb             2018-01-14 02:56   16M  
[   ] acl2_8.0dfsg.orig.tar.gz            2018-01-13 19:22   74M  
[   ] acl2_8.3dfsg-2.debian.tar.xz        2021-01-27 20:04  223K  
[TXT] acl2_8.3dfsg-2.dsc                  2021-01-27 20:04  2.2K  
[   ] acl2_8.3dfsg-2_amd64.deb            2021-01-28 03:27   20M  
[   ] acl2_8.3dfsg-2_arm64.deb            2021-01-28 21:13   19M  
[   ] acl2_8.3dfsg-2_armhf.deb            2021-01-28 12:12   18M  
[   ] acl2_8.3dfsg-2_i386.deb             2021-01-28 03:52   19M  
[   ] acl2_8.3dfsg.orig.tar.gz            2020-08-24 08:09  112M  
[   ] acl2_8.5dfsg-5.debian.tar.xz        2023-01-16 07:30  306K  
[TXT] acl2_8.5dfsg-5.dsc                  2023-01-16 07:30  2.2K  
[   ] acl2_8.5dfsg-5_amd64.deb            2023-01-17 01:45   22M  
[   ] acl2_8.5dfsg-5_arm64.deb            2023-01-18 02:43   21M  
[   ] acl2_8.5dfsg-5_armhf.deb            2023-01-17 17:02   19M  
[   ] acl2_8.5dfsg-5_i386.deb             2023-01-16 20:46   19M  
[   ] acl2_8.5dfsg-6.debian.tar.xz        2024-07-28 22:01  306K  
[TXT] acl2_8.5dfsg-6.dsc                  2024-07-28 22:01  2.2K  
[   ] acl2_8.5dfsg-6_amd64.deb            2024-07-29 04:48   22M  
[   ] acl2_8.5dfsg-6_arm64.deb            2024-07-29 04:48   20M  
[   ] acl2_8.5dfsg-6_armhf.deb            2024-07-29 13:05   18M  
[   ] acl2_8.5dfsg-6_i386.deb             2024-07-29 05:19   19M  
[   ] acl2_8.5dfsg.orig.tar.gz            2022-07-27 19:43  213M  
[   ] elpa-acl2_8.5dfsg-5_all.deb         2023-01-16 20:25   69K  
[   ] elpa-acl2_8.5dfsg-6_all.deb         2024-07-29 05:14   69K