Index of /ubuntu/pool/universe/a/acl2/

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
acl2-infix-source_8.2dfsg-3build1_all.deb	23/03/20 13:2423/03/20	70.2 KiB	[Save][Download]
acl2-books-certs_6.3-5_all.deb	24/10/13 16:3624/10/13	11.1 MiB	[Save][Download]
acl2-infix-source_8.4dfsg-2_all.deb	19/12/21 01:1019/12/21	72 KiB	[Save][Download]
acl2-books-certs_7.1-1_all.deb	27/06/15 13:4827/06/15	12.6 MiB	[Save][Download]
acl2_8.5dfsg-5build3.debian.tar.xz	01/04/24 05:4301/04/24	306 KiB	[Save][Download]
acl2-books-certs_8.0dfsg-1_all.deb	14/01/18 03:0814/01/18	70 MiB	[Save][Download]
acl2-infix-source_7.1-1_all.deb	27/06/15 13:4827/06/15	70.3 KiB	[Save][Download]
acl2-books-certs_8.2dfsg-3build1_all.deb	23/03/20 13:2423/03/20	65.8 MiB	[Save][Download]
acl2-infix-source_8.5dfsg-5_all.deb	17/01/23 02:2917/01/23	71.9 KiB	[Save][Download]
acl2-books-certs_8.4dfsg-2_all.deb	19/12/21 01:1019/12/21	221 MiB	[Save][Download]
acl2-infix_6.3-5_amd64.deb	24/10/13 16:3624/10/13	200 KiB	[Save][Download]
acl2-infix_7.1-1_amd64.deb	27/06/15 13:4827/06/15	140 KiB	[Save][Download]
acl2-books-certs_8.5dfsg-5_all.deb	17/01/23 02:2917/01/23	216 MiB	[Save][Download]
acl2-infix_6.3-5_i386.deb	24/10/13 16:3624/10/13	189 KiB	[Save][Download]
acl2-books-source_6.3-5_all.deb	24/10/13 16:3624/10/13	9.1 MiB	[Save][Download]
acl2-infix_7.1-1_i386.deb	02/06/15 02:4302/06/15	142 KiB	[Save][Download]
acl2-books-source_7.1-1_all.deb	27/06/15 13:4827/06/15	9.9 MiB	[Save][Download]
acl2-infix_8.0dfsg-1_amd64.deb	14/01/18 03:0814/01/18	414 KiB	[Save][Download]
acl2-books-source_8.0dfsg-1_all.deb	14/01/18 03:0814/01/18	11.9 MiB	[Save][Download]
acl2-infix-source_8.0dfsg-1_all.deb	14/01/18 03:0814/01/18	70.2 KiB	[Save][Download]
acl2-books-source_8.2dfsg-3build1_all.deb	23/03/20 13:2423/03/20	13.6 MiB	[Save][Download]
acl2-infix_8.0dfsg-1_i386.deb	14/01/18 04:4914/01/18	381 KiB	[Save][Download]
acl2-books-source_8.4dfsg-2_all.deb	19/12/21 01:1019/12/21	21.1 MiB	[Save][Download]
acl2-infix_8.2dfsg-3build1_amd64.deb	23/03/20 13:2423/03/20	470 KiB	[Save][Download]
acl2_8.5dfsg-5build3.dsc	01/04/24 05:4301/04/24	2.3 KiB	[Save][Download]
acl2-infix_8.4dfsg-2_amd64.deb	19/12/21 01:0919/12/21	551 KiB	[Save][Download]
acl2-books-source_8.5dfsg-5_all.deb	17/01/23 02:2917/01/23	22.9 MiB	[Save][Download]
acl2_6.3.orig.tar.gz	21/10/13 13:0921/10/13	6.7 MiB	[Save][Download]
acl2-books_6.3-5_amd64.deb	24/10/13 16:3624/10/13	40.1 MiB	[Save][Download]
acl2_7.1-1.debian.tar.xz	01/06/15 23:2401/06/15	126 KiB	[Save][Download]
acl2-books_6.3-5_i386.deb	24/10/13 16:3624/10/13	35.8 MiB	[Save][Download]
acl2_7.1-1.dsc	01/06/15 23:2401/06/15	2.2 KiB	[Save][Download]
acl2-books_7.1-1_amd64.deb	27/06/15 13:4827/06/15	18.7 MiB	[Save][Download]
acl2_7.1-1_amd64.deb	27/06/15 13:4827/06/15	16.5 MiB	[Save][Download]
acl2-books_7.1-1_i386.deb	02/06/15 02:4302/06/15	17.7 MiB	[Save][Download]
acl2-source_8.0dfsg-1_all.deb	14/01/18 03:0814/01/18	2.9 MiB	[Save][Download]
acl2-books_8.0dfsg-1_amd64.deb	14/01/18 03:0814/01/18	132 MiB	[Save][Download]
acl2-source_8.2dfsg-3build1_all.deb	23/03/20 13:2423/03/20	3.1 MiB	[Save][Download]
acl2-books_8.0dfsg-1_i386.deb	14/01/18 04:4914/01/18	114 MiB	[Save][Download]
acl2-source_8.4dfsg-2_all.deb	19/12/21 01:1019/12/21	3.4 MiB	[Save][Download]
acl2-books_8.2dfsg-3build1_amd64.deb	23/03/20 13:2423/03/20	163 MiB	[Save][Download]
acl2-books-certs_8.5dfsg-5build3_all.deb	02/04/24 08:0302/04/24	216 MiB	[Save][Download]
acl2-books_8.4dfsg-2_amd64.deb	19/12/21 01:0919/12/21	338 MiB	[Save][Download]
acl2-source_8.5dfsg-5_all.deb	17/01/23 02:2917/01/23	3.5 MiB	[Save][Download]
acl2-books-source_8.5dfsg-5build3_all.deb	02/04/24 08:0202/04/24	22.7 MiB	[Save][Download]
acl2_6.3-5.debian.tar.gz	21/10/13 13:0921/10/13	158 KiB	[Save][Download]
acl2-books_8.5dfsg-5_amd64.deb	17/01/23 02:2917/01/23	329 MiB	[Save][Download]
acl2_7.1-1_i386.deb	02/06/15 02:4302/06/15	15.7 MiB	[Save][Download]
acl2-doc_6.3-5_all.deb	24/10/13 16:3624/10/13	12.1 MiB	[Save][Download]
acl2_7.1.orig.tar.gz	01/06/15 23:2401/06/15	60.4 MiB	[Save][Download]
acl2-doc_7.1-1_all.deb	27/06/15 13:4827/06/15	353 KiB	[Save][Download]
acl2_8.0dfsg-1.debian.tar.xz	13/01/18 23:0813/01/18	200 KiB	[Save][Download]
acl2-doc_8.0dfsg-1_all.deb	14/01/18 03:0814/01/18	385 KiB	[Save][Download]
acl2-books_8.5dfsg-5build3_amd64.deb	02/04/24 08:0302/04/24	331 MiB	[Save][Download]
acl2-doc_8.2dfsg-3build1_all.deb	23/03/20 13:2423/03/20	418 KiB	[Save][Download]
acl2_8.0dfsg-1.dsc	13/01/18 23:0813/01/18	2.2 KiB	[Save][Download]
acl2-doc_8.4dfsg-2_all.deb	19/12/21 01:0919/12/21	441 KiB	[Save][Download]
acl2_8.0dfsg-1_amd64.deb	14/01/18 03:0814/01/18	18.8 MiB	[Save][Download]
acl2-doc_8.5dfsg-5build3_all.deb	02/04/24 08:0202/04/24	474 KiB	[Save][Download]
acl2_8.0dfsg-1_i386.deb	14/01/18 04:4914/01/18	16.2 MiB	[Save][Download]
acl2-doc_8.5dfsg-5_all.deb	17/01/23 02:2917/01/23	473 KiB	[Save][Download]
acl2_8.0dfsg.orig.tar.gz	13/01/18 23:0813/01/18	74 MiB	[Save][Download]
acl2-emacs_6.3-5_all.deb	24/10/13 16:3624/10/13	55 KiB	[Save][Download]
acl2_8.2dfsg-3build1.debian.tar.xz	23/03/20 07:0023/03/20	201 KiB	[Save][Download]
acl2-emacs_7.1-1_all.deb	27/06/15 13:4827/06/15	55.2 KiB	[Save][Download]
acl2_8.2dfsg-3build1.dsc	23/03/20 07:0023/03/20	2.2 KiB	[Save][Download]
acl2-emacs_8.0dfsg-1_all.deb	14/01/18 03:0814/01/18	58.9 KiB	[Save][Download]
acl2_6.3-5_amd64.deb	24/10/13 16:3624/10/13	26.6 MiB	[Save][Download]
acl2-emacs_8.2dfsg-3build1_all.deb	23/03/20 13:2423/03/20	59.1 KiB	[Save][Download]
acl2_6.3-5_i386.deb	24/10/13 16:3624/10/13	22.9 MiB	[Save][Download]
acl2-infix-source_6.3-5_all.deb	24/10/13 16:3624/10/13	86 KiB	[Save][Download]
acl2-infix_8.5dfsg-5build3_amd64.deb	02/04/24 08:0202/04/24	538 KiB	[Save][Download]
acl2_6.3.orig-books.tar.gz	21/10/13 13:0921/10/13	13 MiB	[Save][Download]
acl2-infix_8.5dfsg-5_amd64.deb	17/01/23 02:2917/01/23	533 KiB	[Save][Download]
acl2_8.2dfsg-3build1_amd64.deb	23/03/20 13:2423/03/20	20.9 MiB	[Save][Download]
acl2-source_6.3-5_all.deb	24/10/13 16:3624/10/13	3.6 MiB	[Save][Download]
acl2_8.2dfsg.orig.tar.gz	19/12/19 23:1319/12/19	76.9 MiB	[Save][Download]
acl2-source_7.1-1_all.deb	27/06/15 13:4827/06/15	2.7 MiB	[Save][Download]
acl2_8.4dfsg-2.debian.tar.xz	01/11/21 23:2401/11/21	304 KiB	[Save][Download]
acl2_6.3-5.dsc	21/10/13 13:0921/10/13	1.7 KiB	[Save][Download]
acl2_8.4dfsg-2.dsc	01/11/21 23:2401/11/21	2.2 KiB	[Save][Download]
acl2_8.4dfsg-2_amd64.deb	19/12/21 01:1019/12/21	24.9 MiB	[Save][Download]
acl2_8.4dfsg.orig.tar.gz	28/10/21 23:1828/10/21	194 MiB	[Save][Download]
acl2_8.5dfsg-5.debian.tar.xz	16/01/23 17:4416/01/23	306 KiB	[Save][Download]
acl2_8.5dfsg-5.dsc	16/01/23 17:4416/01/23	2.2 KiB	[Save][Download]
acl2_8.5dfsg-5_amd64.deb	17/01/23 02:2917/01/23	25.7 MiB	[Save][Download]
acl2_8.5dfsg.orig.tar.gz	27/07/22 23:3327/07/22	213 MiB	[Save][Download]
elpa-acl2_8.4dfsg-2_all.deb	19/12/21 01:0919/12/21	69.1 KiB	[Save][Download]
elpa-acl2_8.5dfsg-5_all.deb	17/01/23 02:2917/01/23	70.3 KiB	[Save][Download]
acl2-infix-source_8.5dfsg-5build3_all.deb	02/04/24 08:0202/04/24	72.4 KiB	[Save][Download]
acl2-source_8.5dfsg-5build3_all.deb	02/04/24 08:0202/04/24	3.5 MiB	[Save][Download]
acl2_8.5dfsg-5build3_amd64.deb	02/04/24 08:0302/04/24	25.6 MiB	[Save][Download]
elpa-acl2_8.5dfsg-5build3_all.deb	02/04/24 08:0202/04/24	70.7 KiB	[Save][Download]
acl2_8.5dfsg-6.debian.tar.xz	28/07/24 23:5928/07/24	306 KiB	[Save][Download]
acl2_8.5dfsg-6.dsc	28/07/24 23:5928/07/24	2.2 KiB	[Save][Download]
acl2-books-certs_8.5dfsg-6_all.deb	29/07/24 04:2029/07/24	78.6 MiB	[Save][Download]
acl2-books-source_8.5dfsg-6_all.deb	29/07/24 04:2029/07/24	22.7 MiB	[Save][Download]
acl2-books_8.5dfsg-6_amd64.deb	29/07/24 04:2029/07/24	171 MiB	[Save][Download]
acl2-doc_8.5dfsg-6_all.deb	29/07/24 04:2029/07/24	474 KiB	[Save][Download]
acl2-infix-source_8.5dfsg-6_all.deb	29/07/24 04:2029/07/24	72.3 KiB	[Save][Download]
acl2-infix_8.5dfsg-6_amd64.deb	29/07/24 04:2029/07/24	533 KiB	[Save][Download]
acl2-source_8.5dfsg-6_all.deb	29/07/24 04:2029/07/24	3.5 MiB	[Save][Download]
acl2_8.5dfsg-6_amd64.deb	29/07/24 04:2029/07/24	25.3 MiB	[Save][Download]
elpa-acl2_8.5dfsg-6_all.deb	29/07/24 04:2029/07/24	70.8 KiB	[Save][Download]