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-6_all.deb2019-Dec-10 00:57:5976.7Mapplication/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-6_all.deb2019-Dec-10 00:57:5912.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-6_amd64.deb2019-Dec-10 03:14:07156.3Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_arm64.deb2019-Dec-11 09:26:00154.3Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_armel.deb2019-Dec-11 11:11:42140.2Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_armhf.deb2019-Dec-10 05:00:20144.0Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_i386.deb2019-Dec-10 01:28:13119.9Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_mips64el.deb2019-Dec-13 07:29:41167.4Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_mipsel.deb2019-Dec-11 10:26:31150.8Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_ppc64el.deb2019-Dec-09 23:57:10158.2Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_s390x.deb2019-Dec-09 22:34:31144.0Mapplication/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-6_all.deb2019-Dec-10 00:57:59403.8Kapplication/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-6_all.deb2019-Dec-10 00:57:5966.3Kapplication/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-6_all.deb2019-Dec-10 00:57:5977.7Kapplication/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-6_amd64.deb2019-Dec-10 03:14:07479.4Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_arm64.deb2019-Dec-11 09:26:00469.2Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_armel.deb2019-Dec-11 11:11:42463.1Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_armhf.deb2019-Dec-10 05:00:20454.9Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_i386.deb2019-Dec-10 01:28:13484.8Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_mips64el.deb2019-Dec-13 07:29:41496.9Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_mipsel.deb2019-Dec-11 10:26:31502.6Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_ppc64el.deb2019-Dec-09 23:57:10498.4Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_s390x.deb2019-Dec-09 22:34:31439.9Kapplication/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-6_all.deb2019-Dec-10 00:57:592.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-4.debian.tar.xz2019-Oct-31 19:49:49200.5Kapplication/x-xz
acl2_8.1dfsg-4.dsc2019-Oct-31 19:49:492.1Kapplication/octet-stream
acl2_8.1dfsg-6.debian.tar.xz2019-Dec-09 16:40:22200.5Kapplication/x-xz
acl2_8.1dfsg-6.dsc2019-Dec-09 16:40:222.1Kapplication/octet-stream
acl2_8.1dfsg-6_amd64.deb2019-Dec-10 03:14:0719.5Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6_arm64.deb2019-Dec-11 09:26:0017.5Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6_armel.deb2019-Dec-11 11:11:4216.7Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6_armhf.deb2019-Dec-10 05:00:2016.9Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6_i386.deb2019-Dec-10 01:28:1317.9Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6_mips64el.deb2019-Dec-13 07:29:4217.4Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6_mipsel.deb2019-Dec-11 10:26:3118.9Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6_ppc64el.deb2019-Dec-09 23:57:1019.1Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6_s390x.deb2019-Dec-09 22:34:3218.1Mapplication/vnd.debian.binary-package
acl2_8.1dfsg.orig.tar.gz2019-Mar-03 14:30:4875.3Mapplication/x-gtar-compressed
lighttpd