Index of /pool/main/a/acl2/

directories: 0, files: 58

NameLast modifiedSize
../
acl2_6.5-2~bpo70+1.debian.tar.gz2019-08-30 00:42:17159.64 KiB
acl2-books_8.3dfsg-2_amd64.deb2021-07-05 05:13:28241.16 MiB
acl2-infix-source_4.3-3_all.deb2019-08-30 01:01:0189.35 KiB
acl2_6.5.orig.tar.gz2019-08-30 00:42:195.91 MiB
acl2-source_4.3-3_all.deb2019-08-30 01:34:153.14 MiB
acl2-infix-source_8.3dfsg-2_all.deb2021-07-05 05:17:5378.01 KiB
acl2-doc_4.3-3_all.deb2019-08-30 01:17:41353.78 KiB
acl2-infix_6.5-2~bpo70+1_amd64.deb2019-08-30 00:48:41219.28 KiB
acl2-doc_6.5-2~bpo70+1_all.deb2019-08-30 00:44:402.19 MiB
acl2-source_8.3dfsg-2_all.deb2021-07-05 04:49:383.18 MiB
acl2_7.2dfsg-3.debian.tar.xz2019-08-29 03:27:44199.39 KiB
acl2-emacs_6.5-2~bpo70+1_all.deb2019-08-30 00:43:2771.22 KiB
acl2_6.5-2~bpo70+1_amd64.deb2019-08-30 00:48:3623.86 MiB
acl2-books_7.2dfsg-3_amd64.deb2019-08-29 03:26:04103.10 MiB
acl2-infix_7.2dfsg-3_amd64.deb2019-08-29 04:37:44409.90 KiB
acl2-infix-source_6.5-2~bpo70+1_all.deb2019-08-30 00:45:0490.02 KiB
acl2_8.3dfsg.orig.tar.gz2021-07-05 05:02:30111.83 MiB
acl2_7.2dfsg.orig.tar.gz2019-08-29 03:28:0661.43 MiB
acl2-books-source_8.3dfsg-2_all.deb2021-07-05 05:14:0118.63 MiB
acl2_8.3dfsg-2_amd64.deb2021-07-05 04:32:5020.49 MiB
acl2-emacs_8.3dfsg-2_all.deb2021-07-05 04:50:0567.79 KiB
elpa-acl2_8.6+dfsg-2_all.deb2025-08-29 09:32:4176.43 KiB
acl2-books-certs_4.3-3_all.deb2019-08-30 01:52:204.22 MiB
acl2-infix-source_8.6+dfsg-2_all.deb2025-08-29 13:13:0970.95 KiB
acl2_8.6+dfsg-2_amd64.deb2025-08-29 11:37:5135.19 MiB
acl2-emacs_4.3-3_all.deb2019-08-30 01:35:0559.43 KiB
acl2-books_6.5-2~bpo70+1_amd64.deb2019-08-30 00:45:5047.39 MiB
acl2-books_4.3-3_amd64.deb2019-08-30 02:23:4515.21 MiB
acl2-infix-source_7.2dfsg-3_all.deb2019-08-29 03:49:4076.99 KiB
acl2-source_7.2dfsg-3_all.deb2019-08-29 03:56:062.75 MiB
acl2_8.6+dfsg.orig.tar.gz2025-08-29 11:05:23229.20 MiB
acl2_6.5.orig-books.tar.gz2019-08-30 00:42:1914.28 MiB
acl2_8.3dfsg-2.dsc2021-07-05 05:02:182.22 KiB
acl2-infix_8.6+dfsg-2_amd64.deb2025-08-29 11:45:29866.02 KiB
acl2-infix_8.3dfsg-2_amd64.deb2021-07-05 04:52:20478.79 KiB
acl2_6.5-2~bpo70+1.dsc2019-08-30 00:42:162.34 KiB
acl2_7.2dfsg-3.dsc2019-08-29 03:27:442.18 KiB
acl2-doc_8.6+dfsg-2_all.deb2025-08-29 09:33:31512.61 KiB
acl2-books_8.6+dfsg-2_amd64.deb2025-08-29 11:53:44415.56 MiB
acl2-books-source_6.5-2~bpo70+1_all.deb2019-08-30 00:48:0810.24 MiB
acl2-emacs_7.2dfsg-3_all.deb2019-08-29 04:33:5862.57 KiB
acl2-source_6.5-2~bpo70+1_all.deb2019-08-30 00:48:243.69 MiB
acl2_8.6+dfsg-2.dsc2025-08-29 11:05:112.23 KiB
acl2-infix_4.3-3_amd64.deb2019-08-30 02:05:36198.90 KiB
acl2_8.3dfsg-2.debian.tar.xz2021-07-05 05:02:18222.97 KiB
acl2_8.6+dfsg-2.debian.tar.xz2025-08-29 11:05:11434.70 KiB
acl2-source_8.6+dfsg-2_all.deb2025-08-29 10:48:023.81 MiB
acl2-books-certs_8.6+dfsg-2_all.deb2025-08-29 12:37:04211.35 MiB
acl2-books-certs_7.2dfsg-3_all.deb2019-08-29 03:23:0052.26 MiB
acl2-doc_8.3dfsg-2_all.deb2021-07-05 05:13:34437.12 KiB
acl2-books-source_7.2dfsg-3_all.deb2019-08-29 04:27:0910.36 MiB
acl2_7.2dfsg-3_amd64.deb2019-08-29 03:23:1817.29 MiB
acl2-books-certs_8.3dfsg-2_all.deb2021-07-05 04:54:47138.65 MiB
acl2-doc_7.2dfsg-3_all.deb2019-08-29 04:00:28372.25 KiB
acl2-books-source_4.3-3_all.deb2019-08-30 01:56:276.16 MiB
acl2-books-source_8.6+dfsg-2_all.deb2025-08-29 10:06:1826.23 MiB
acl2-books-certs_6.5-2~bpo70+1_all.deb2019-08-30 00:47:0618.69 MiB
acl2_4.3-3_amd64.deb2019-08-30 01:28:5027.01 MiB