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.1dfsg-3_all.deb2019-Apr-04 15:29:5177.2Mapplication/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.1dfsg-3_all.deb2019-Apr-04 15:29:5112.9Mapplication/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.1dfsg-3+b1_amd64.deb2019-Jul-22 05:55:50155.8Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_arm64.deb2019-Jul-23 10:57:52153.0Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_armel.deb2019-Jul-23 18:57:57139.9Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_armhf.deb2019-Jul-23 15:30:13140.9Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_i386.deb2019-Jul-22 06:56:32132.6Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_mips64el.deb2019-Jul-24 13:26:39164.8Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_ppc64el.deb2019-Jul-22 05:40:27155.3Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_s390x.deb2019-Jul-22 02:48:28142.4Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3_mipsel.deb2019-Apr-08 04:59:56149.4Mapplication/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.1dfsg-3_all.deb2019-Apr-04 15:29:53403.5Kapplication/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.1dfsg-3_all.deb2019-Apr-04 15:29:5366.1Kapplication/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.1dfsg-3_all.deb2019-Apr-04 15:29:5377.5Kapplication/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.1dfsg-3+b1_amd64.deb2019-Jul-22 05:55:50480.9Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_arm64.deb2019-Jul-23 10:57:53465.6Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_armel.deb2019-Jul-23 18:57:57463.7Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_armhf.deb2019-Jul-23 15:30:13451.6Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_i386.deb2019-Jul-22 06:56:32483.4Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_mips64el.deb2019-Jul-24 13:26:39497.3Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_ppc64el.deb2019-Jul-22 05:40:27490.0Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_s390x.deb2019-Jul-22 02:48:28442.8Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3_mipsel.deb2019-Apr-08 04:59:56500.1Kapplication/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.1dfsg-3_all.deb2019-Apr-04 15:29:532.9Mapplication/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.1dfsg-3+b1_amd64.deb2019-Jul-22 05:55:5019.4Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_arm64.deb2019-Jul-23 10:57:5317.4Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_armel.deb2019-Jul-23 18:57:5716.6Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_armhf.deb2019-Jul-23 15:30:1317.0Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_i386.deb2019-Jul-22 06:56:3217.8Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_mips64el.deb2019-Jul-24 13:26:3917.3Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_ppc64el.deb2019-Jul-22 05:40:2819.1Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_s390x.deb2019-Jul-22 02:48:2818.1Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3.debian.tar.xz2019-Apr-04 15:29:51200.3Kapplication/x-xz
acl2_8.1dfsg-3.dsc2019-Apr-04 15:29:512.1Kapplication/octet-stream
acl2_8.1dfsg-3_mipsel.deb2019-Apr-08 04:59:5618.6Mapplication/vnd.debian.binary-package
acl2_8.1dfsg.orig.tar.gz2019-Mar-03 13:30:4875.3Mapplication/gzip
lighttpd/1.4.35