Index of /pool/main/a/acl2/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
acl2-books-certs_6.5-2_all.deb2014-Sep-08 16:35:456.2Mapplication/vnd.debian.binary-package
acl2-books-certs_7.2dfsg-3_all.deb2016-Oct-17 16:35:1252.2Mapplication/vnd.debian.binary-package
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-13 14:52:5769.9Mapplication/vnd.debian.binary-package
acl2-books-certs_8.2dfsg-3_all.deb2019-Dec-31 13:29:0665.8Mapplication/vnd.debian.binary-package
acl2-books-source_6.5-2_all.deb2014-Sep-08 16:35:456.6Mapplication/vnd.debian.binary-package
acl2-books-source_7.2dfsg-3_all.deb2016-Oct-17 16:35:1210.3Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:5711.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.2dfsg-3_all.deb2019-Dec-31 13:29:0613.6Mapplication/vnd.debian.binary-package
acl2-books_6.5-2_amd64.deb2014-Sep-08 16:35:4522.0Mapplication/vnd.debian.binary-package
acl2-books_6.5-2_armel.deb2014-Sep-09 13:25:2864.9Mapplication/vnd.debian.binary-package
acl2-books_6.5-2_armhf.deb2014-Sep-12 12:12:2166.7Mapplication/vnd.debian.binary-package
acl2-books_6.5-2_i386.deb2014-Sep-08 23:44:1020.8Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_amd64.deb2016-Oct-17 16:35:12103.1Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_arm64.deb2016-Oct-18 07:59:40104.4Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_armel.deb2016-Oct-19 07:29:1886.2Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_armhf.deb2016-Oct-19 03:33:0091.8Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_i386.deb2016-Oct-18 01:35:0986.2Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_mips.deb2016-Oct-18 17:12:3771.3Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_mips64el.deb2016-Oct-20 02:31:47108.2Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_mipsel.deb2016-Oct-19 16:45:3974.2Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_ppc64el.deb2016-Oct-18 00:34:1398.8Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_s390x.deb2016-Oct-18 09:30:01101.6Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1+b1_armel.deb2019-Feb-14 14:00:45127.2Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:59131.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_arm64.deb2018-Jan-14 03:47:41134.8Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_armhf.deb2018-Jan-15 09:46:11119.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-13 22:26:14110.6Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mips.deb2018-Jan-16 07:15:21126.0Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mips64el.deb2018-Jan-16 04:44:09140.0Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mipsel.deb2018-Jan-16 06:14:20130.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_ppc64el.deb2018-Jan-13 21:26:05130.4Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_s390x.deb2018-Jan-13 21:41:09121.8Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_amd64.deb2019-Dec-31 14:55:30163.8Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_arm64.deb2020-Jan-01 20:00:28161.4Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_armel.deb2020-Jan-02 00:45:44147.3Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_armhf.deb2020-Jan-01 21:58:10151.1Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_i386.deb2019-Dec-31 10:07:04138.8Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_mips64el.deb2020-Jan-02 05:43:51173.6Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_mipsel.deb2020-Jan-03 15:15:29160.7Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_ppc64el.deb2019-Dec-31 11:12:50165.5Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3_s390x.deb2019-Dec-31 10:42:18150.0Mapplication/vnd.debian.binary-package
acl2-doc_6.5-2_all.deb2014-Sep-08 16:35:451.6Mapplication/vnd.debian.binary-package
acl2-doc_7.2dfsg-3_all.deb2016-Oct-17 16:35:12372.2Kapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-13 14:52:59392.1Kapplication/vnd.debian.binary-package
acl2-doc_8.2dfsg-3_all.deb2019-Dec-31 13:29:06422.6Kapplication/vnd.debian.binary-package
acl2-emacs_6.5-2_all.deb2014-Sep-08 16:35:4559.4Kapplication/vnd.debian.binary-package
acl2-emacs_7.2dfsg-3_all.deb2016-Oct-17 16:35:1262.5Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-13 14:52:5966.0Kapplication/vnd.debian.binary-package
acl2-emacs_8.2dfsg-3_all.deb2019-Dec-31 13:29:0666.7Kapplication/vnd.debian.binary-package
acl2-infix-source_6.5-2_all.deb2014-Sep-08 16:35:4577.6Kapplication/vnd.debian.binary-package
acl2-infix-source_7.2dfsg-3_all.deb2016-Oct-17 16:35:1276.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:5977.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.2dfsg-3_all.deb2019-Dec-31 13:29:0677.7Kapplication/vnd.debian.binary-package
acl2-infix_6.5-2_amd64.deb2014-Sep-08 16:35:45146.5Kapplication/vnd.debian.binary-package
acl2-infix_6.5-2_armel.deb2014-Sep-09 13:25:28402.6Kapplication/vnd.debian.binary-package
acl2-infix_6.5-2_armhf.deb2014-Sep-12 12:12:21424.4Kapplication/vnd.debian.binary-package
acl2-infix_6.5-2_i386.deb2014-Sep-08 23:44:10148.0Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_amd64.deb2016-Oct-17 16:35:12409.9Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_arm64.deb2016-Oct-18 07:59:40420.1Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_armel.deb2016-Oct-19 07:29:18381.7Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_armhf.deb2016-Oct-19 03:33:00400.6Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_i386.deb2016-Oct-18 01:35:09381.0Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_mips.deb2016-Oct-18 17:12:37407.9Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_mips64el.deb2016-Oct-20 02:31:47423.7Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_mipsel.deb2016-Oct-19 16:45:39426.2Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_ppc64el.deb2016-Oct-18 00:34:13412.9Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_s390x.deb2016-Oct-18 09:30:01408.3Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1+b1_armel.deb2019-Feb-14 14:00:45431.8Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:59421.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_arm64.deb2018-Jan-14 03:47:41432.4Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_armhf.deb2018-Jan-15 09:46:11406.5Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-13 22:26:14389.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mips.deb2018-Jan-16 07:15:21421.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mips64el.deb2018-Jan-16 04:44:09439.8Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mipsel.deb2018-Jan-16 06:14:20441.7Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_ppc64el.deb2018-Jan-13 21:26:05434.0Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_s390x.deb2018-Jan-13 21:41:09397.0Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_amd64.deb2019-Dec-31 14:55:30479.7Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_arm64.deb2020-Jan-01 20:00:28468.0Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_armel.deb2020-Jan-02 00:45:44462.4Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_armhf.deb2020-Jan-01 21:58:10455.4Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_i386.deb2019-Dec-31 10:07:04485.7Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_mips64el.deb2020-Jan-02 05:43:51496.1Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_mipsel.deb2020-Jan-03 15:15:29503.5Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_ppc64el.deb2019-Dec-31 11:12:50497.6Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3_s390x.deb2019-Dec-31 10:42:18440.8Kapplication/vnd.debian.binary-package
acl2-source_6.5-2_all.deb2014-Sep-08 16:35:452.6Mapplication/vnd.debian.binary-package
acl2-source_7.2dfsg-3_all.deb2016-Oct-17 16:35:122.7Mapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:592.9Mapplication/vnd.debian.binary-package
acl2-source_8.2dfsg-3_all.deb2019-Dec-31 13:29:063.1Mapplication/vnd.debian.binary-package
acl2_6.5-2.debian.tar.xz2014-Sep-08 16:35:45125.2Kapplication/x-xz
acl2_6.5-2.dsc2014-Sep-08 16:35:451.7Kapplication/octet-stream
acl2_6.5-2_amd64.deb2014-Sep-08 16:35:4515.5Mapplication/vnd.debian.binary-package
acl2_6.5-2_armel.deb2014-Sep-09 13:25:2813.0Mapplication/vnd.debian.binary-package
acl2_6.5-2_armhf.deb2014-Sep-12 12:12:2113.5Mapplication/vnd.debian.binary-package
acl2_6.5-2_i386.deb2014-Sep-08 23:44:1013.3Mapplication/vnd.debian.binary-package
acl2_6.5.orig-books.tar.gz2014-Aug-17 17:21:0514.2Mapplication/gzip
acl2_6.5.orig.tar.gz2014-Aug-17 17:21:055.9Mapplication/gzip
acl2_7.2dfsg-3.debian.tar.xz2016-Oct-17 16:35:12199.3Kapplication/x-xz
acl2_7.2dfsg-3.dsc2016-Oct-17 16:35:122.1Kapplication/octet-stream
acl2_7.2dfsg-3_amd64.deb2016-Oct-17 16:35:1317.2Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_arm64.deb2016-Oct-18 07:59:4014.9Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_armel.deb2016-Oct-19 07:29:1813.7Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_armhf.deb2016-Oct-19 03:33:0013.9Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_i386.deb2016-Oct-18 01:35:1014.9Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_mips.deb2016-Oct-18 17:12:3715.0Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_mips64el.deb2016-Oct-20 02:31:4714.9Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_mipsel.deb2016-Oct-19 16:45:3915.1Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_ppc64el.deb2016-Oct-18 00:34:1315.6Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_s390x.deb2016-Oct-18 09:30:0115.3Mapplication/vnd.debian.binary-package
acl2_7.2dfsg.orig.tar.gz2016-Apr-14 15:54:4861.4Mapplication/gzip
acl2_8.0dfsg-1+b1_armel.deb2019-Feb-14 14:00:4515.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-13 14:52:57199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-13 14:52:562.1Kapplication/octet-stream
acl2_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:5918.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_arm64.deb2018-Jan-14 03:47:4217.0Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_armhf.deb2018-Jan-15 09:46:1215.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-13 22:26:1416.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mips.deb2018-Jan-16 07:15:2116.5Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mips64el.deb2018-Jan-16 04:44:0916.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mipsel.deb2018-Jan-16 06:14:2016.6Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_ppc64el.deb2018-Jan-13 21:26:0518.5Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_s390x.deb2018-Jan-13 21:41:0917.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-13 14:52:5774.0Mapplication/gzip
acl2_8.2dfsg-3.debian.tar.xz2019-Dec-31 03:04:59201.1Kapplication/x-xz
acl2_8.2dfsg-3.dsc2019-Dec-31 03:04:592.1Kapplication/octet-stream
acl2_8.2dfsg-3_amd64.deb2019-Dec-31 14:55:3120.9Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3_arm64.deb2020-Jan-01 20:00:2819.4Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3_armel.deb2020-Jan-02 00:45:4517.0Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3_armhf.deb2020-Jan-01 21:58:1017.7Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3_i386.deb2019-Dec-31 10:07:0418.0Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3_mips64el.deb2020-Jan-02 05:43:5119.3Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3_mipsel.deb2020-Jan-03 15:15:2918.0Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3_ppc64el.deb2019-Dec-31 11:12:5121.3Mapplication/vnd.debian.binary-package
acl2_8.2dfsg-3_s390x.deb2019-Dec-31 10:42:1920.1Mapplication/vnd.debian.binary-package
acl2_8.2dfsg.orig.tar.gz2019-Dec-19 18:06:1476.9Mapplication/gzip
lighttpd/1.4.35