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

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_6.5-2_all.deb2014-Sep-08 17:35:456.2Mapplication/vnd.debian.binary-package
acl2-books-certs_7.2dfsg-3_all.deb2016-Oct-17 17:35:1252.2Mapplication/vnd.debian.binary-package
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-13 15:52:5769.9Mapplication/vnd.debian.binary-package
acl2-books-certs_8.1dfsg-3_all.deb2019-Apr-04 16:29:5177.2Mapplication/vnd.debian.binary-package
acl2-books-source_6.5-2_all.deb2014-Sep-08 17:35:456.6Mapplication/vnd.debian.binary-package
acl2-books-source_7.2dfsg-3_all.deb2016-Oct-17 17:35:1210.3Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-13 15:52:5711.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.1dfsg-3_all.deb2019-Apr-04 16:29:5112.9Mapplication/vnd.debian.binary-package
acl2-books_6.5-2_amd64.deb2014-Sep-08 17:35:4522.0Mapplication/vnd.debian.binary-package
acl2-books_6.5-2_armel.deb2014-Sep-09 14:25:2864.9Mapplication/vnd.debian.binary-package
acl2-books_6.5-2_armhf.deb2014-Sep-12 13:12:2166.7Mapplication/vnd.debian.binary-package
acl2-books_6.5-2_i386.deb2014-Sep-09 00:44:1020.8Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_amd64.deb2016-Oct-17 17:35:12103.1Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_arm64.deb2016-Oct-18 08:59:40104.4Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_armel.deb2016-Oct-19 08:29:1886.2Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_armhf.deb2016-Oct-19 04:33:0091.8Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_i386.deb2016-Oct-18 02:35:0986.2Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_mips.deb2016-Oct-18 18:12:3771.3Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_mips64el.deb2016-Oct-20 03:31:47108.2Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_mipsel.deb2016-Oct-19 17:45:3974.2Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_ppc64el.deb2016-Oct-18 01:34:1398.8Mapplication/vnd.debian.binary-package
acl2-books_7.2dfsg-3_s390x.deb2016-Oct-18 10:30:01101.6Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1+b1_armel.deb2019-Feb-14 15:00:45127.2Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-13 15:52:59131.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_arm64.deb2018-Jan-14 04:47:41134.8Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_armhf.deb2018-Jan-15 10:46:11119.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-13 23:26:14110.6Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mips.deb2018-Jan-16 08:15:21126.0Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mips64el.deb2018-Jan-16 05:44:09140.0Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_mipsel.deb2018-Jan-16 07:14:20130.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_ppc64el.deb2018-Jan-13 22:26:05130.4Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_s390x.deb2018-Jan-13 22:41:09121.8Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_amd64.deb2019-Jul-22 06:55:50155.8Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_arm64.deb2019-Jul-23 11:57:52153.0Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_armel.deb2019-Jul-23 19:57:57139.9Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_armhf.deb2019-Jul-23 16:30:13140.9Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_i386.deb2019-Jul-22 07:56:32132.6Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_mips64el.deb2019-Jul-24 14:26:39164.8Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_ppc64el.deb2019-Jul-22 06:40:27155.3Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3+b1_s390x.deb2019-Jul-22 03:48:28142.4Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3_mipsel.deb2019-Apr-08 05:59:56149.4Mapplication/vnd.debian.binary-package
acl2-doc_6.5-2_all.deb2014-Sep-08 17:35:451.6Mapplication/vnd.debian.binary-package
acl2-doc_7.2dfsg-3_all.deb2016-Oct-17 17:35:12372.2Kapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-13 15:52:59392.1Kapplication/vnd.debian.binary-package
acl2-doc_8.1dfsg-3_all.deb2019-Apr-04 16:29:53403.5Kapplication/vnd.debian.binary-package
acl2-emacs_6.5-2_all.deb2014-Sep-08 17:35:4559.4Kapplication/vnd.debian.binary-package
acl2-emacs_7.2dfsg-3_all.deb2016-Oct-17 17:35:1262.5Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-13 15:52:5966.0Kapplication/vnd.debian.binary-package
acl2-emacs_8.1dfsg-3_all.deb2019-Apr-04 16:29:5366.1Kapplication/vnd.debian.binary-package
acl2-infix-source_6.5-2_all.deb2014-Sep-08 17:35:4577.6Kapplication/vnd.debian.binary-package
acl2-infix-source_7.2dfsg-3_all.deb2016-Oct-17 17:35:1276.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-13 15:52:5977.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.1dfsg-3_all.deb2019-Apr-04 16:29:5377.5Kapplication/vnd.debian.binary-package
acl2-infix_6.5-2_amd64.deb2014-Sep-08 17:35:45146.5Kapplication/vnd.debian.binary-package
acl2-infix_6.5-2_armel.deb2014-Sep-09 14:25:28402.6Kapplication/vnd.debian.binary-package
acl2-infix_6.5-2_armhf.deb2014-Sep-12 13:12:21424.4Kapplication/vnd.debian.binary-package
acl2-infix_6.5-2_i386.deb2014-Sep-09 00:44:10148.0Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_amd64.deb2016-Oct-17 17:35:12409.9Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_arm64.deb2016-Oct-18 08:59:40420.1Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_armel.deb2016-Oct-19 08:29:18381.7Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_armhf.deb2016-Oct-19 04:33:00400.6Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_i386.deb2016-Oct-18 02:35:09381.0Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_mips.deb2016-Oct-18 18:12:37407.9Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_mips64el.deb2016-Oct-20 03:31:47423.7Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_mipsel.deb2016-Oct-19 17:45:39426.2Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_ppc64el.deb2016-Oct-18 01:34:13412.9Kapplication/vnd.debian.binary-package
acl2-infix_7.2dfsg-3_s390x.deb2016-Oct-18 10:30:01408.3Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1+b1_armel.deb2019-Feb-14 15:00:45431.8Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-13 15:52:59421.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_arm64.deb2018-Jan-14 04:47:41432.4Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_armhf.deb2018-Jan-15 10:46:11406.5Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-13 23:26:14389.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mips.deb2018-Jan-16 08:15:21421.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mips64el.deb2018-Jan-16 05:44:09439.8Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_mipsel.deb2018-Jan-16 07:14:20441.7Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_ppc64el.deb2018-Jan-13 22:26:05434.0Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_s390x.deb2018-Jan-13 22:41:09397.0Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_amd64.deb2019-Jul-22 06:55:50480.9Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_arm64.deb2019-Jul-23 11:57:53465.6Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_armel.deb2019-Jul-23 19:57:57463.7Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_armhf.deb2019-Jul-23 16:30:13451.6Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_i386.deb2019-Jul-22 07:56:32483.4Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_mips64el.deb2019-Jul-24 14:26:39497.3Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_ppc64el.deb2019-Jul-22 06:40:27490.0Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3+b1_s390x.deb2019-Jul-22 03:48:28442.8Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3_mipsel.deb2019-Apr-08 05:59:56500.1Kapplication/vnd.debian.binary-package
acl2-source_6.5-2_all.deb2014-Sep-08 17:35:452.6Mapplication/vnd.debian.binary-package
acl2-source_7.2dfsg-3_all.deb2016-Oct-17 17:35:122.7Mapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-13 15:52:592.9Mapplication/vnd.debian.binary-package
acl2-source_8.1dfsg-3_all.deb2019-Apr-04 16:29:532.9Mapplication/vnd.debian.binary-package
acl2_6.5-2.debian.tar.xz2014-Sep-08 17:35:45125.2Kapplication/x-xz
acl2_6.5-2.dsc2014-Sep-08 17:35:451.7Kapplication/octet-stream
acl2_6.5-2_amd64.deb2014-Sep-08 17:35:4515.5Mapplication/vnd.debian.binary-package
acl2_6.5-2_armel.deb2014-Sep-09 14:25:2813.0Mapplication/vnd.debian.binary-package
acl2_6.5-2_armhf.deb2014-Sep-12 13:12:2113.5Mapplication/vnd.debian.binary-package
acl2_6.5-2_i386.deb2014-Sep-09 00:44:1013.3Mapplication/vnd.debian.binary-package
acl2_6.5.orig-books.tar.gz2014-Aug-17 18:21:0514.2Mapplication/x-gtar-compressed
acl2_6.5.orig.tar.gz2014-Aug-17 18:21:055.9Mapplication/x-gtar-compressed
acl2_7.2dfsg-3.debian.tar.xz2016-Oct-17 17:35:12199.3Kapplication/x-xz
acl2_7.2dfsg-3.dsc2016-Oct-17 17:35:122.1Kapplication/octet-stream
acl2_7.2dfsg-3_amd64.deb2016-Oct-17 17:35:1317.2Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_arm64.deb2016-Oct-18 08:59:4014.9Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_armel.deb2016-Oct-19 08:29:1813.7Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_armhf.deb2016-Oct-19 04:33:0013.9Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_i386.deb2016-Oct-18 02:35:1014.9Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_mips.deb2016-Oct-18 18:12:3715.0Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_mips64el.deb2016-Oct-20 03:31:4714.9Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_mipsel.deb2016-Oct-19 17:45:3915.1Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_ppc64el.deb2016-Oct-18 01:34:1315.6Mapplication/vnd.debian.binary-package
acl2_7.2dfsg-3_s390x.deb2016-Oct-18 10:30:0115.3Mapplication/vnd.debian.binary-package
acl2_7.2dfsg.orig.tar.gz2016-Apr-14 16:54:4861.4Mapplication/x-gtar-compressed
acl2_8.0dfsg-1+b1_armel.deb2019-Feb-14 15:00:4515.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-13 15:52:57199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-13 15:52:562.1Kapplication/octet-stream
acl2_8.0dfsg-1_amd64.deb2018-Jan-13 15:52:5918.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_arm64.deb2018-Jan-14 04:47:4217.0Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_armhf.deb2018-Jan-15 10:46:1215.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-13 23:26:1416.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mips.deb2018-Jan-16 08:15:2116.5Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mips64el.deb2018-Jan-16 05:44:0916.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_mipsel.deb2018-Jan-16 07:14:2016.6Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_ppc64el.deb2018-Jan-13 22:26:0518.5Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_s390x.deb2018-Jan-13 22:41:0917.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-13 15:52:5774.0Mapplication/x-gtar-compressed
acl2_8.1dfsg-3+b1_amd64.deb2019-Jul-22 06:55:5019.4Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_arm64.deb2019-Jul-23 11:57:5317.4Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_armel.deb2019-Jul-23 19:57:5716.6Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_armhf.deb2019-Jul-23 16:30:1317.0Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_i386.deb2019-Jul-22 07:56:3217.8Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_mips64el.deb2019-Jul-24 14:26:3917.3Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_ppc64el.deb2019-Jul-22 06:40:2819.1Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3+b1_s390x.deb2019-Jul-22 03:48:2818.1Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3.debian.tar.xz2019-Apr-04 16:29:51200.3Kapplication/x-xz
acl2_8.1dfsg-3.dsc2019-Apr-04 16:29:512.1Kapplication/octet-stream
acl2_8.1dfsg-3_mipsel.deb2019-Apr-08 05:59:5618.6Mapplication/vnd.debian.binary-package
acl2_8.1dfsg.orig.tar.gz2019-Mar-03 14:30:4875.3Mapplication/x-gtar-compressed
lighttpd