Index of /ubuntu/pool/universe/a/acl2
Name
Last modified
Size
Parent Directory
-
acl2_2.9-2.dsc
2004-11-12 03:18
794
acl2_2.8-4.dsc
2004-07-26 23:46
795
acl2_3.0-1.dsc
2006-06-15 17:58
797
acl2_2.9.3-7.dsc
2005-10-25 02:40
805
acl2_2.9.3-5build1.dsc
2005-10-08 18:15
816
acl2_3.3-1.1.dsc
2008-05-09 13:06
821
acl2_3.1-1.dsc
2006-12-06 15:05
822
acl2_3.2-1.dsc
2007-05-21 09:03
822
acl2_3.3-1ubuntu1.dsc
2008-02-17 00:03
1.0K
acl2_3.6-4.dsc
2010-02-02 00:06
1.1K
acl2_4.0-3.dsc
2010-09-07 00:05
1.1K
acl2_3.4-1.dsc
2008-11-05 02:06
1.1K
acl2_3.4-2.dsc
2009-04-28 21:04
1.2K
acl2_4.1-5.dsc
2010-11-07 12:05
1.2K
acl2_4.2-1.dsc
2011-05-15 13:04
1.2K
acl2_4.3-3.dsc
2012-05-06 04:34
1.5K
acl2_6.0-2.dsc
2013-01-14 05:33
1.7K
acl2_6.2-6.dsc
2013-07-31 09:38
1.7K
acl2_6.4-4.dsc
2014-05-18 11:13
1.8K
acl2_7.0-1.dsc
2015-01-27 11:39
2.2K
acl2_7.1-1.dsc
2015-06-01 23:24
2.2K
acl2_7.2dfsg-2.dsc
2016-05-04 23:29
2.2K
acl2_8.0dfsg-1.dsc
2018-01-13 23:08
2.2K
acl2_8.1dfsg-3.dsc
2019-04-21 11:46
2.2K
acl2_8.3dfsg-1.dsc
2020-08-24 11:13
2.2K
acl2_8.3dfsg-2.dsc
2021-01-27 23:19
2.2K
acl2_8.5dfsg-1.dsc
2022-07-27 23:33
2.2K
acl2_8.0dfsg-1build1.dsc
2019-01-15 11:08
2.2K
acl2-books_8.3dfsg-1_amd64.deb
2020-08-24 12:19
4.2K
acl2-books_8.3dfsg-1_arm64.deb
2020-08-24 14:13
4.2K
acl2-books_8.3dfsg-1_armhf.deb
2020-08-24 13:21
4.2K
acl2-books_8.3dfsg-1_ppc64el.deb
2020-08-24 12:23
4.2K
acl2-books_8.3dfsg-1_s390x.deb
2020-08-24 12:13
4.2K
acl2-books-certs_8.3dfsg-1_all.deb
2020-08-24 12:19
5.7K
acl2_2.8-4.diff.gz
2004-07-26 23:46
12K
acl2_3.0-1.diff.gz
2006-06-15 17:58
13K
acl2_3.1-1.diff.gz
2006-12-06 15:05
13K
acl2_3.2-1.diff.gz
2007-05-21 09:03
13K
acl2_3.3-1.1.diff.gz
2008-05-09 13:06
13K
acl2_3.3-1ubuntu1.diff.gz
2008-02-17 00:03
13K
acl2_3.4-1.diff.gz
2008-11-05 02:06
13K
acl2_3.4-2.diff.gz
2009-04-28 21:04
14K
acl2_3.6-4.diff.gz
2010-02-02 00:06
15K
acl2_4.0-3.diff.gz
2010-09-07 00:05
16K
acl2_4.1-5.debian.tar.gz
2010-11-07 12:05
17K
acl2_4.2-1.debian.tar.gz
2011-05-15 13:04
17K
acl2_2.9-2.diff.gz
2004-11-12 03:18
18K
acl2_4.3-3.debian.tar.gz
2012-05-06 04:34
18K
acl2_2.9.3-5build1.diff.gz
2005-10-08 18:15
19K
acl2_2.9.3-7.diff.gz
2005-10-25 02:40
20K
acl2-emacs_2.9-2_all.deb
2004-11-12 09:00
48K
acl2-emacs_2.9.3-7_all.deb
2005-10-27 23:20
48K
acl2-emacs_2.9.3-5build1_all.deb
2005-10-08 19:55
48K
acl2-emacs_3.0-1_all.deb
2006-06-21 19:10
49K
acl2-emacs_3.1-1_all.deb
2006-12-07 04:04
49K
acl2-emacs_4.1-5_all.deb
2010-11-09 02:04
50K
acl2-emacs_4.2-1_all.deb
2011-09-02 03:03
52K
acl2-emacs_6.4-4_all.deb
2014-05-18 12:50
53K
acl2-emacs_4.3-3_all.deb
2012-05-18 14:33
53K
acl2-emacs_3.3-1.1_all.deb
2008-05-11 21:04
53K
acl2-emacs_6.2-6_all.deb
2013-07-31 14:38
53K
acl2-emacs_3.4-1_all.deb
2008-11-05 10:04
54K
acl2-emacs_7.0-1_all.deb
2015-01-27 14:50
54K
acl2-emacs_3.4-2_all.deb
2009-04-28 23:05
54K
acl2-emacs_6.0-2_all.deb
2013-01-14 07:33
54K
acl2-emacs_7.1-1_all.deb
2015-06-27 13:48
55K
acl2-emacs_3.6-4_all.deb
2010-02-16 08:05
56K
acl2-emacs_4.0-3_all.deb
2010-09-08 22:05
56K
acl2-emacs_7.2dfsg-2_all.deb
2016-05-05 06:24
56K
acl2-emacs_8.1dfsg-3_all.deb
2019-04-21 19:43
59K
acl2-emacs_8.0dfsg-1_all.deb
2018-01-14 03:08
59K
acl2-emacs_8.0dfsg-1build1_all.deb
2019-01-15 18:13
59K
acl2-emacs_8.3dfsg-1_all.deb
2020-08-24 12:19
60K
acl2-emacs_8.3dfsg-2_all.deb
2021-01-28 07:19
60K
acl2-infix-source_8.1dfsg-3_all.deb
2019-04-21 19:43
70K
acl2-infix-source_8.3dfsg-1_all.deb
2020-08-24 12:18
70K
acl2-infix-source_8.0dfsg-1_all.deb
2018-01-14 03:08
70K
acl2-infix-source_8.0dfsg-1build1_all.deb
2019-01-15 18:13
70K
elpa-acl2_8.5dfsg-1_all.deb
2022-07-28 09:29
70K
acl2-infix-source_8.3dfsg-2_all.deb
2021-01-28 07:19
70K
acl2-infix-source_7.1-1_all.deb
2015-06-27 13:48
70K
acl2-infix-source_6.4-4_all.deb
2014-05-18 12:50
70K
acl2-infix-source_7.2dfsg-2_all.deb
2016-05-05 06:24
71K
acl2-infix-source_7.0-1_all.deb
2015-01-27 14:50
72K
acl2-infix-source_8.5dfsg-1_all.deb
2022-07-28 09:29
72K
acl2-infix-source_4.1-5_all.deb
2010-11-09 02:04
78K
acl2-infix-source_4.2-1_all.deb
2011-09-02 03:03
80K
acl2-infix-source_2.9-2_all.deb
2004-11-12 09:00
82K
acl2-infix-source_2.9.3-7_all.deb
2005-10-27 23:20
83K
acl2-infix-source_2.9.3-5build1_all.deb
2005-10-08 19:55
83K
acl2-infix-source_3.0-1_all.deb
2006-06-21 19:10
83K
acl2-infix-source_3.1-1_all.deb
2006-12-07 04:04
83K
acl2-infix-source_3.3-1.1_all.deb
2008-05-11 21:04
84K
acl2-infix-source_3.4-1_all.deb
2008-11-05 10:04
84K
acl2-infix-source_3.4-2_all.deb
2009-04-28 23:05
84K
acl2-infix-source_3.6-4_all.deb
2010-02-16 08:05
84K
acl2-infix-source_4.0-3_all.deb
2010-09-08 22:05
85K
acl2-infix-source_4.3-3_all.deb
2012-05-18 14:33
86K
acl2-infix-source_6.2-6_all.deb
2013-07-31 14:38
86K
acl2-infix-source_6.0-2_all.deb
2013-01-14 07:33
87K
acl2_6.4-4.debian.tar.xz
2014-05-18 11:13
124K
acl2_7.0-1.debian.tar.xz
2015-01-27 11:39
126K
acl2_7.1-1.debian.tar.xz
2015-06-01 23:24
126K
acl2-infix_6.4-4_powerpc.deb
2014-05-18 18:38
131K
acl2-infix_7.1-1_powerpc.deb
2015-06-02 05:48
133K
acl2-infix_7.0-1_powerpc.deb
2015-01-27 17:06
133K
acl2-infix_6.4-4_i386.deb
2014-05-18 12:50
136K
acl2-infix_6.4-4_amd64.deb
2014-05-18 12:50
140K
acl2-infix_7.0-1_amd64.deb
2015-01-27 14:50
140K
acl2-infix_7.1-1_amd64.deb
2015-06-27 13:48
140K
acl2-infix_6.4-4_arm64.deb
2014-08-24 08:13
141K
acl2-infix_7.1-1_i386.deb
2015-06-02 02:43
142K
acl2-infix_7.0-1_i386.deb
2015-01-27 17:06
142K
acl2-infix_7.0-1_arm64.deb
2015-01-28 03:33
147K
acl2-infix_7.1-1_arm64.deb
2015-06-02 14:43
147K
acl2_6.0-2.debian.tar.gz
2013-01-14 05:33
155K
acl2_6.2-6.debian.tar.gz
2013-07-31 09:38
157K
acl2-infix_3.0-1_i386.deb
2006-06-21 19:10
162K
acl2-infix_2.9.3-7_i386.deb
2005-10-27 23:20
165K
acl2-infix_2.9.3-5build1_i386.deb
2005-10-08 19:55
165K
acl2-infix_3.1-1_i386.deb
2006-12-07 04:04
166K
acl2-infix_3.3-1ubuntu1_lpia.deb
2008-02-17 02:03
171K
acl2-infix_4.3-3_i386.deb
2012-05-18 14:33
173K
acl2-infix_6.0-2_i386.deb
2013-01-14 07:33
174K
acl2-infix_2.8-4_i386.deb
2004-08-14 06:30
174K
acl2-infix_2.9-2_i386.deb
2004-11-12 09:00
177K
acl2-infix_6.2-6_i386.deb
2013-07-31 14:38
181K
acl2-infix_3.1-1_amd64.deb
2006-12-07 18:04
194K
acl2-infix_4.3-3_amd64.deb
2012-05-18 16:34
194K
acl2-infix_6.0-2_amd64.deb
2013-01-14 08:03
195K
acl2-infix_3.3-1ubuntu1_amd64.deb
2008-02-17 02:03
195K
acl2-infix_3.0-1_amd64.deb
2006-06-21 17:10
196K
acl2-infix_2.9.3-7_amd64.deb
2005-10-29 02:45
198K
acl2-infix_6.2-6_amd64.deb
2013-07-31 14:53
198K
acl2_7.2dfsg-2.debian.tar.xz
2016-05-04 23:29
199K
acl2_8.0dfsg-1.debian.tar.xz
2018-01-13 23:08
200K
acl2_8.0dfsg-1build1.debian.tar.xz
2019-01-15 11:08
200K
acl2_8.1dfsg-3.debian.tar.xz
2019-04-21 11:46
200K
acl2_8.3dfsg-1.debian.tar.xz
2020-08-24 11:13
201K
acl2-infix_6.2-6_powerpc.deb
2013-07-31 15:48
207K
acl2-infix_2.8-4_amd64.deb
2004-08-20 02:30
210K
acl2-infix_2.9-2_amd64.deb
2004-11-12 09:15
210K
acl2-infix_3.3-1ubuntu1_sparc.deb
2008-02-17 04:04
213K
acl2-infix_4.3-3_powerpc.deb
2012-05-18 23:03
214K
acl2-infix_6.0-2_powerpc.deb
2013-01-14 15:03
215K
acl2-infix_2.9.3-7_sparc.deb
2005-11-09 13:50
217K
acl2-infix_3.1-1_sparc.deb
2006-12-08 12:03
218K
acl2-infix_3.0-1_sparc.deb
2006-06-22 16:09
219K
acl2_8.3dfsg-2.debian.tar.xz
2021-01-27 23:19
223K
acl2-infix_3.3-1ubuntu1_powerpc.deb
2008-02-17 03:03
223K
acl2-infix_2.9.3-7_powerpc.deb
2005-12-21 08:55
240K
acl2-infix_3.1-1_powerpc.deb
2006-12-07 11:03
243K
acl2-doc_4.2-1_all.deb
2011-09-02 03:03
264K
acl2-books-certs_2.9-2_all.deb
2004-11-12 09:00
290K
acl2-infix_2.9.3-7_ia64.deb
2005-10-28 06:05
292K
acl2-infix_2.9.3-5build1_ia64.deb
2005-10-08 21:30
292K
acl2-infix_3.3-1ubuntu1_ia64.deb
2008-02-17 05:03
295K
acl2-infix_3.1-1_ia64.deb
2006-12-08 05:03
297K
acl2_8.5dfsg-1.debian.tar.xz
2022-07-27 23:33
305K
acl2-infix_2.9-2_powerpc.deb
2004-11-12 10:00
307K
acl2-doc_7.0-1_all.deb
2015-01-27 14:50
331K
acl2-infix_3.4-2_lpia.deb
2009-04-28 23:06
341K
acl2-infix_2.9-2_ia64.deb
2004-11-25 08:45
344K
acl2-doc_4.3-3_all.deb
2012-05-18 14:33
348K
acl2-doc_7.1-1_all.deb
2015-06-27 13:48
353K
acl2-infix_7.2dfsg-2_powerpc.deb
2018-06-13 06:40
356K
acl2-doc_7.2dfsg-2_all.deb
2016-05-05 06:24
366K
acl2-books-certs_2.9.3-5build1_all.deb
2005-10-08 19:55
367K
acl2-books-certs_2.9.3-7_all.deb
2005-10-27 23:20
367K
acl2-infix_7.2dfsg-2_i386.deb
2016-05-05 07:09
369K
acl2-infix_3.4-2_i386.deb
2009-04-28 23:05
375K
acl2-infix_8.0dfsg-1_s390x.deb
2018-01-23 21:18
378K
acl2-infix_2.9.3-5build1_hppa.deb
2005-10-09 09:55
378K
acl2-infix_3.6-4_i386.deb
2010-02-16 08:05
379K
acl2-infix_4.0-3_i386.deb
2010-09-08 22:05
380K
acl2-infix_8.0dfsg-1_i386.deb
2018-01-14 04:49
381K
acl2-infix_4.3-3_armel.deb
2012-05-19 09:03
381K
acl2-infix_7.2dfsg-2_s390x.deb
2018-06-13 08:43
381K
acl2-infix_7.2dfsg-2_armhf.deb
2016-05-05 23:09
382K
acl2-doc_8.0dfsg-1build1_all.deb
2019-01-15 18:13
385K
acl2-doc_8.0dfsg-1_all.deb
2018-01-14 03:08
385K
acl2-infix_3.3-1.1_i386.deb
2008-05-11 21:04
388K
acl2-infix_3.4-1_i386.deb
2008-11-05 10:05
389K
acl2-infix_7.2dfsg-2_amd64.deb
2016-05-05 06:24
392K
acl2-infix_4.2-1_armel.deb
2011-09-05 01:04
393K
acl2-infix_4.2-1_armhf.deb
2012-02-02 03:33
393K
acl2-doc_8.1dfsg-3_all.deb
2019-04-21 19:43
396K
acl2-infix_4.2-1_i386.deb
2011-09-02 03:04
400K
acl2-infix_8.0dfsg-1_armhf.deb
2018-01-21 23:13
400K
acl2-infix_4.1-5_i386.deb
2010-11-09 02:04
403K
acl2-infix_7.2dfsg-2_arm64.deb
2016-05-09 01:38
406K
acl2-infix_3.4-2_amd64.deb
2009-04-29 01:04
408K
acl2-infix_3.3-1ubuntu1_hppa.deb
2008-02-17 21:03
409K
acl2-infix_8.0dfsg-1_amd64.deb
2018-01-14 03:08
414K
acl2-infix_6.4-4_armhf.deb
2014-05-18 19:38
415K
acl2-infix_8.0dfsg-1_arm64.deb
2018-01-22 03:23
421K
acl2-infix_3.6-4_amd64.deb
2010-02-16 08:05
421K
acl2-infix_4.0-3_amd64.deb
2010-09-07 05:05
421K
acl2-infix_7.1-1_armhf.deb
2015-06-02 12:58
423K
acl2-infix_4.3-3_armhf.deb
2012-05-19 08:33
423K
acl2-infix_3.4-1_sparc.deb
2008-11-06 10:07
424K
acl2-infix_7.0-1_armhf.deb
2015-01-28 02:49
424K
acl2-infix_3.4-2_sparc.deb
2009-05-02 15:05
424K
acl2-infix_3.3-1.1_sparc.deb
2008-05-14 13:04
424K
acl2-infix_8.1dfsg-3_s390x.deb
2019-04-21 19:28
429K
acl2-doc_8.3dfsg-1_all.deb
2020-08-24 12:18
429K
acl2-doc_8.3dfsg-2_all.deb
2021-01-28 07:19
429K
acl2-infix_8.0dfsg-1build1_s390x.deb
2019-01-15 14:28
431K
acl2-infix_3.4-1_amd64.deb
2008-11-06 00:10
432K
acl2-infix_3.3-1.1_amd64.deb
2008-05-11 06:04
432K
acl2-infix_8.3dfsg-2_s390x.deb
2021-01-28 05:25
432K
acl2-infix_8.3dfsg-1_s390x.deb
2020-08-24 12:13
434K
acl2-infix_8.0dfsg-1build1_i386.deb
2019-01-15 16:47
434K
acl2-infix_8.3dfsg-2_armhf.deb
2021-01-29 05:24
434K
acl2-infix_8.3dfsg-1_armhf.deb
2020-08-24 13:21
436K
acl2-infix_4.2-1_amd64.deb
2011-09-02 04:04
438K
acl2-infix_4.1-5_amd64.deb
2010-11-09 03:04
441K
acl2-infix_3.6-4_sparc.deb
2010-02-16 14:11
442K
acl2-infix_8.1dfsg-3_armhf.deb
2019-04-22 09:43
445K
acl2-infix_3.3-1.1_lpia.deb
2008-05-10 09:04
455K
acl2-infix_3.4-1_lpia.deb
2008-11-14 08:04
456K
acl2-infix_8.1dfsg-3_arm64.deb
2019-04-22 12:23
458K
acl2-infix_8.0dfsg-1build1_arm64.deb
2019-01-16 18:03
459K
acl2-infix_8.3dfsg-1_arm64.deb
2020-08-24 14:13
461K
acl2-infix_8.3dfsg-2_arm64.deb
2021-03-29 13:23
461K
acl2-infix_8.0dfsg-1build1_armhf.deb
2019-01-16 21:28
461K
acl2-infix_8.0dfsg-1_ppc64el.deb
2018-01-31 14:57
464K
acl2-infix_8.0dfsg-1build1_amd64.deb
2019-01-15 18:13
471K
acl2-infix_8.3dfsg-2_amd64.deb
2021-01-28 07:19
471K
acl2-infix_8.1dfsg-3_amd64.deb
2019-04-21 19:43
472K
acl2-infix_8.3dfsg-1_amd64.deb
2020-08-24 12:19
472K
acl2-doc_8.5dfsg-1_all.deb
2022-07-28 09:29
473K
acl2-infix_8.1dfsg-3_i386.deb
2019-04-21 23:31
475K
acl2-infix_8.1dfsg-3_ppc64el.deb
2019-04-21 23:48
486K
acl2-infix_8.3dfsg-2_ppc64el.deb
2021-03-28 19:08
488K
acl2-infix_8.3dfsg-1_ppc64el.deb
2020-08-24 12:23
489K
acl2-infix_3.4-2_powerpc.deb
2009-04-29 01:05
502K
acl2-infix_8.5dfsg-1_s390x.deb
2022-07-28 09:29
503K
acl2-infix_3.4-1_powerpc.deb
2008-11-05 22:07
505K
acl2-infix_3.3-1.1_powerpc.deb
2008-05-11 05:05
505K
acl2-infix_3.6-4_powerpc.deb
2010-02-16 08:05
511K
acl2-infix_4.0-3_powerpc.deb
2010-09-07 06:05
511K
acl2-infix_4.2-1_powerpc.deb
2011-05-15 20:04
521K
acl2-infix_6.2-6_armhf.deb
2013-08-08 15:58
530K
acl2-infix_8.5dfsg-1_amd64.deb
2022-07-28 09:29
533K
acl2-infix_4.1-5_powerpc.deb
2010-11-09 06:05
535K
acl2-infix_8.5dfsg-1_arm64.deb
2022-08-02 02:53
540K
acl2-infix_8.5dfsg-1_armhf.deb
2022-08-01 04:13
541K
acl2-infix_3.4-1_ia64.deb
2008-11-06 22:09
542K
acl2-infix_3.3-1.1_ia64.deb
2008-05-13 12:04
549K
acl2-infix_3.4-2_ia64.deb
2009-04-29 05:06
562K
acl2-infix_8.5dfsg-1_ppc64el.deb
2022-07-28 10:37
577K
acl2-infix_3.4-1_hppa.deb
2008-11-07 16:05
586K
acl2-infix_3.3-1.1_hppa.deb
2008-05-21 23:04
591K
acl2-books-certs_3.0-1_all.deb
2006-06-21 19:10
665K
acl2-books_2.9.3-5build1_i386.deb
2005-10-08 19:55
813K
acl2-books_2.9.3-7_i386.deb
2005-10-27 23:20
813K
acl2-books_2.9-2_i386.deb
2004-11-12 09:00
814K
acl2-books_2.8-4_i386.deb
2004-08-14 06:30
855K
acl2-books_2.9.3-7_sparc.deb
2005-11-09 13:50
1.0M
acl2-books_2.9-2_amd64.deb
2004-11-12 09:15
1.0M
acl2-books_2.9.3-7_amd64.deb
2005-10-29 02:45
1.1M
acl2-books_2.8-4_amd64.deb
2004-08-20 02:30
1.1M
acl2-books_3.0-1_i386.deb
2006-06-21 19:10
1.1M
acl2-books-source_2.9-2_all.deb
2004-11-12 09:00
1.2M
acl2-books_2.9.3-7_powerpc.deb
2005-12-21 08:55
1.2M
acl2-books-certs_3.3-1.1_all.deb
2008-05-11 21:04
1.2M
acl2-books_2.9-2_powerpc.deb
2004-11-12 10:00
1.2M
acl2-books-certs_3.4-1_all.deb
2008-11-05 10:04
1.2M
acl2-books-certs_3.4-2_all.deb
2009-04-28 23:05
1.2M
acl2-books-source_2.9.3-7_all.deb
2005-10-27 23:20
1.2M
acl2-books-source_2.9.3-5build1_all.deb
2005-10-08 19:55
1.2M
acl2-books_3.0-1_sparc.deb
2006-06-22 16:09
1.4M
acl2-books_2.9-2_ia64.deb
2004-11-25 08:45
1.4M
acl2-books_2.9.3-5build1_ia64.deb
2005-10-08 21:30
1.5M
acl2-books_2.9.3-7_ia64.deb
2005-10-28 06:05
1.5M
acl2-books_3.1-1_i386.deb
2006-12-07 04:04
1.5M
acl2-books_3.0-1_amd64.deb
2006-06-21 17:10
1.6M
acl2-doc_6.4-4_all.deb
2014-05-18 12:50
1.6M
acl2-books-source_3.0-1_all.deb
2006-06-21 19:10
1.6M
acl2-doc_2.9-2_all.deb
2004-11-12 09:00
1.7M
acl2-doc_2.9.3-7_all.deb
2005-10-27 23:20
1.8M
acl2-doc_2.9.3-5build1_all.deb
2005-10-08 19:55
1.8M
acl2-books_3.1-1_sparc.deb
2006-12-08 12:03
1.8M
acl2-doc_3.0-1_all.deb
2006-06-21 19:10
1.8M
acl2-books-certs_3.6-4_all.deb
2010-02-16 08:05
1.9M
acl2-books-certs_4.0-3_all.deb
2010-09-08 22:05
1.9M
acl2-books-certs_4.1-5_all.deb
2010-11-09 02:04
1.9M
acl2-books-certs_4.2-1_all.deb
2011-09-02 03:03
1.9M
acl2-doc_3.1-1_all.deb
2006-12-07 04:04
1.9M
acl2-source_2.9-2_all.deb
2004-11-12 09:00
2.0M
acl2-books_3.1-1_amd64.deb
2006-12-07 18:04
2.0M
acl2-source_2.9.3-7_all.deb
2005-10-27 23:20
2.0M
acl2-source_2.9.3-5build1_all.deb
2005-10-08 19:55
2.0M
acl2-doc_3.3-1.1_all.deb
2008-05-11 21:04
2.1M
acl2-source_3.0-1_all.deb
2006-06-21 19:10
2.1M
acl2-books-source_3.1-1_all.deb
2006-12-07 04:04
2.1M
acl2-source_3.1-1_all.deb
2006-12-07 04:04
2.2M
acl2-doc_3.4-1_all.deb
2008-11-05 10:04
2.2M
acl2-doc_3.4-2_all.deb
2009-04-28 23:05
2.2M
acl2-books_3.1-1_powerpc.deb
2006-12-07 11:03
2.2M
acl2-doc_3.6-4_all.deb
2010-02-16 08:05
2.3M
acl2-books-source_3.3-1.1_all.deb
2008-05-11 21:04
2.3M
acl2-source_3.3-1.1_all.deb
2008-05-11 21:04
2.4M
acl2-source_3.4-1_all.deb
2008-11-05 10:04
2.5M
acl2-source_3.4-2_all.deb
2009-04-28 23:05
2.5M
acl2-doc_4.0-3_all.deb
2010-09-08 22:05
2.6M
acl2-doc_4.1-5_all.deb
2010-11-09 02:04
2.6M
acl2-source_6.4-4_all.deb
2014-05-18 12:50
2.6M
acl2-source_3.6-4_all.deb
2010-02-16 08:05
2.6M
acl2-source_7.0-1_all.deb
2015-01-27 14:50
2.7M
acl2-source_7.1-1_all.deb
2015-06-27 13:48
2.7M
acl2-books-source_3.4-1_all.deb
2008-11-05 10:04
2.7M
acl2-books-source_3.4-2_all.deb
2009-04-28 23:05
2.7M
acl2-source_7.2dfsg-2_all.deb
2016-05-05 06:24
2.8M
acl2-books_3.1-1_ia64.deb
2006-12-08 05:03
2.8M
acl2-source_4.0-3_all.deb
2010-09-08 22:05
2.9M
acl2-source_4.1-5_all.deb
2010-11-09 02:04
2.9M
acl2-source_8.0dfsg-1_all.deb
2018-01-14 03:08
2.9M
acl2-source_8.0dfsg-1build1_all.deb
2019-01-15 18:13
2.9M
acl2-source_4.2-1_all.deb
2011-09-02 03:03
3.0M
acl2-source_8.1dfsg-3_all.deb
2019-04-21 19:43
3.0M
acl2-source_4.3-3_all.deb
2012-05-18 14:33
3.1M
acl2-source_8.3dfsg-1_all.deb
2020-08-24 12:19
3.2M
acl2-source_8.3dfsg-2_all.deb
2021-01-28 07:19
3.2M
acl2-books_2.9.3-5build1_hppa.deb
2005-10-09 09:55
3.5M
acl2-source_8.5dfsg-1_all.deb
2022-07-28 09:29
3.5M
acl2-source_6.0-2_all.deb
2013-01-14 07:33
3.5M
acl2-source_6.2-6_all.deb
2013-07-31 14:38
3.6M
acl2-books-certs_6.4-4_all.deb
2014-05-18 12:50
4.0M
acl2-books-certs_4.3-3_all.deb
2012-05-18 14:33
4.2M
acl2-books_3.3-1ubuntu1_lpia.deb
2008-02-17 02:03
4.4M
acl2-books-source_3.6-4_all.deb
2010-02-16 08:05
4.7M
acl2-books-certs_3.1-1_all.deb
2006-12-07 04:04
4.7M
acl2-books-source_4.0-3_all.deb
2010-09-08 22:05
4.8M
acl2-books-source_4.1-5_all.deb
2010-11-09 02:04
4.9M
acl2-books-source_4.2-1_all.deb
2011-09-02 03:03
4.9M
acl2_2.8.orig.tar.gz
2004-07-26 23:46
4.9M
acl2-books-certs_6.0-2_all.deb
2013-01-14 07:33
4.9M
acl2_2.9.orig.tar.gz
2004-10-30 02:18
5.0M
acl2_2.9.3.orig.tar.gz
2005-10-08 14:55
5.2M
acl2-books_3.3-1ubuntu1_sparc.deb
2008-02-17 04:04
5.7M
acl2_3.0.orig.tar.gz
2006-06-15 17:58
5.7M
acl2_6.4.orig.tar.gz
2014-05-02 23:18
5.8M
acl2-books_3.3-1ubuntu1_powerpc.deb
2008-02-17 03:03
6.0M
acl2-books_3.3-1ubuntu1_amd64.deb
2008-02-17 02:03
6.1M
acl2-books-source_4.3-3_all.deb
2012-05-18 14:33
6.2M
acl2-books-source_6.4-4_all.deb
2014-05-18 12:50
6.2M
acl2_3.1.orig.tar.gz
2006-12-06 15:05
6.4M
acl2_6.0.orig.tar.gz
2013-01-13 11:33
6.5M
acl2_6.2.orig.tar.gz
2013-07-13 11:28
6.6M
acl2_3.2.orig.tar.gz
2007-05-21 09:03
6.7M
acl2_3.3.orig.tar.gz
2007-12-04 12:05
7.0M
acl2-doc_6.0-2_all.deb
2013-01-14 07:33
7.2M
acl2-books-source_6.2-6_all.deb
2013-07-31 14:38
7.3M
acl2-books-source_6.0-2_all.deb
2013-01-14 07:33
7.5M
acl2-doc_6.2-6_all.deb
2013-07-31 14:38
7.5M
acl2_3.4.orig.tar.gz
2008-11-05 02:06
7.6M
acl2-books-source_7.0-1_all.deb
2015-01-27 14:50
8.4M
acl2-books_3.3-1ubuntu1_ia64.deb
2008-02-17 05:03
8.6M
acl2-books-certs_6.2-6_all.deb
2013-07-31 14:38
9.7M
acl2-books-source_7.1-1_all.deb
2015-06-27 13:48
9.9M
acl2_3.6.orig.tar.gz
2010-02-02 00:06
10M
acl2_2.8-4_amd64.deb
2004-08-20 02:30
10M
acl2_6.0.orig-books.tar.gz
2013-01-13 11:33
10M
acl2-books-source_7.2dfsg-2_all.deb
2016-05-05 06:24
11M
acl2_6.2.orig-books.tar.gz
2013-07-13 11:28
11M
acl2_4.0.orig.tar.gz
2010-09-07 00:05
11M
acl2_4.1.orig.tar.gz
2010-10-15 11:08
11M
acl2_4.2.orig.tar.gz
2011-05-15 13:04
11M
acl2_6.4-4_powerpc.deb
2014-05-18 18:38
12M
acl2-books-source_8.0dfsg-1build1_all.deb
2019-01-15 18:13
12M
acl2-books-source_8.0dfsg-1_all.deb
2018-01-14 03:08
12M
acl2_7.0-1_powerpc.deb
2015-01-27 17:06
12M
acl2_6.4-4_i386.deb
2014-05-18 12:50
12M
acl2_2.8-4_i386.deb
2004-08-14 06:30
12M
acl2-books-certs_7.1-1_all.deb
2015-06-27 13:48
13M
acl2_6.4-4_armhf.deb
2014-05-18 19:38
13M
acl2-books-source_8.1dfsg-3_all.deb
2019-04-21 19:43
13M
acl2_2.9-2_i386.deb
2004-11-12 09:00
13M
acl2_7.0-1_armhf.deb
2015-01-28 02:49
13M
acl2_2.9.3-5build1_i386.deb
2005-10-08 19:55
13M
acl2-books_4.3-3_i386.deb
2012-05-18 14:33
13M
acl2_2.9.3-7_i386.deb
2005-10-27 23:20
13M
acl2_7.0-1_i386.deb
2015-01-27 17:06
13M
acl2_7.1-1_powerpc.deb
2015-06-02 05:48
13M
acl2_6.4.orig-books.tar.gz
2014-05-02 23:18
14M
acl2_6.4-4_arm64.deb
2014-08-24 08:13
14M
acl2_7.0-1_arm64.deb
2015-01-28 03:33
14M
acl2_7.2dfsg-2_powerpc.deb
2018-06-13 06:40
14M
acl2_7.2dfsg-2_armhf.deb
2016-05-05 23:09
14M
acl2_3.0-1_i386.deb
2006-06-21 19:10
14M
acl2_2.9.3-5build1_hppa.deb
2005-10-09 09:55
14M
acl2_4.3.orig.tar.gz
2012-04-30 19:43
15M
acl2_6.4-4_amd64.deb
2014-05-18 12:50
15M
acl2_3.1-1_i386.deb
2006-12-07 04:04
15M
acl2-books_4.3-3_powerpc.deb
2012-05-18 23:03
15M
acl2_7.1-1_arm64.deb
2015-06-02 14:43
15M
acl2_2.9.3-7_powerpc.deb
2005-12-21 08:55
15M
acl2-books_4.3-3_amd64.deb
2012-05-18 16:34
15M
acl2_7.0-1_amd64.deb
2015-01-27 14:50
15M
acl2_7.2dfsg-2_i386.deb
2016-05-05 07:09
15M
acl2_7.1-1_armhf.deb
2015-06-02 12:58
15M
acl2_7.2dfsg-2_arm64.deb
2016-05-09 01:39
15M
acl2-books_7.1-1_powerpc.deb
2015-06-02 05:48
15M
acl2_2.9-2_powerpc.deb
2004-11-12 10:00
15M
acl2_8.0dfsg-1_armhf.deb
2018-01-21 23:13
15M
acl2-books_6.4-4_powerpc.deb
2014-05-18 18:38
16M
acl2-books_6.0-2_i386.deb
2013-01-14 07:33
16M
acl2_2.9-2_ia64.deb
2004-11-25 08:45
16M
acl2_7.1-1_i386.deb
2015-06-02 02:43
16M
acl2_2.9.3-7_ia64.deb
2005-10-28 06:05
16M
acl2_2.9.3-5build1_ia64.deb
2005-10-08 21:30
16M
acl2_2.9-2_amd64.deb
2004-11-12 09:15
16M
acl2_8.0dfsg-1build1_armhf.deb
2019-01-16 21:28
16M
acl2_3.3-1.1_i386.deb
2008-05-11 21:04
16M
acl2_3.3-1ubuntu1_lpia.deb
2008-02-17 02:03
16M
acl2_3.3-1.1_lpia.deb
2008-05-10 09:04
16M
acl2_8.0dfsg-1_i386.deb
2018-01-14 04:49
16M
acl2_2.9.3-7_amd64.deb
2005-10-29 02:45
16M
acl2_7.1-1_amd64.deb
2015-06-27 13:48
16M
acl2_7.2dfsg-2_s390x.deb
2018-06-13 08:43
17M
acl2_3.3-1ubuntu1_hppa.deb
2008-02-17 21:03
17M
acl2_3.1-1_sparc.deb
2006-12-08 12:03
17M
acl2_8.0dfsg-1build1_i386.deb
2019-01-15 16:47
17M
acl2_3.3-1.1_hppa.deb
2008-05-21 23:04
17M
acl2_3.1-1_ia64.deb
2006-12-08 05:03
17M
acl2_8.1dfsg-3_armhf.deb
2019-04-22 09:43
17M
acl2_8.0dfsg-1_arm64.deb
2018-01-22 03:23
17M
acl2_7.2dfsg-2_amd64.deb
2016-05-05 06:24
17M
acl2_3.1-1_powerpc.deb
2006-12-07 11:03
17M
acl2-books_6.4-4_i386.deb
2014-05-18 12:50
17M
acl2_2.9.3-7_sparc.deb
2005-11-09 13:50
17M
acl2_3.0-1_amd64.deb
2006-06-21 17:10
17M
acl2_8.3dfsg-1_armhf.deb
2020-08-24 13:21
17M
acl2-books_6.0-2_powerpc.deb
2013-01-14 15:03
18M
acl2_8.3dfsg-2_armhf.deb
2021-01-29 05:24
18M
acl2-books_3.3-1.1_i386.deb
2008-05-11 21:04
18M
acl2-books_7.1-1_i386.deb
2015-06-02 02:43
18M
acl2_3.1-1_amd64.deb
2006-12-07 18:04
18M
acl2_3.3-1ubuntu1_sparc.deb
2008-02-17 04:04
18M
acl2_3.3-1.1_powerpc.deb
2008-05-11 05:05
18M
acl2_3.3-1.1_sparc.deb
2008-05-14 13:04
18M
acl2_8.0dfsg-1_s390x.deb
2018-01-23 21:18
18M
acl2_3.3-1ubuntu1_powerpc.deb
2008-02-17 03:03
18M
acl2_8.1dfsg-3_i386.deb
2019-04-21 23:31
18M
acl2_8.0dfsg-1build1_arm64.deb
2019-01-16 18:03
18M
acl2-books_6.0-2_amd64.deb
2013-01-14 08:03
18M
acl2_3.3-1ubuntu1_amd64.deb
2008-02-17 02:03
18M
acl2_3.3-1.1_amd64.deb
2008-05-11 06:04
18M
acl2_8.1dfsg-3_s390x.deb
2019-04-21 19:28
18M
acl2_3.3-1.1_ia64.deb
2008-05-13 12:04
18M
acl2_3.3-1ubuntu1_ia64.deb
2008-02-17 05:03
18M
acl2-books_3.3-1ubuntu1_hppa.deb
2008-02-17 21:03
18M
acl2_3.4-2_lpia.deb
2009-04-28 23:06
18M
acl2_3.4-2_i386.deb
2009-04-28 23:06
18M
acl2_3.4-1_lpia.deb
2008-11-14 08:04
18M
acl2_3.0-1_sparc.deb
2006-06-22 16:09
18M
acl2_3.4-1_i386.deb
2008-11-05 10:05
18M
acl2_8.1dfsg-3_arm64.deb
2019-04-22 12:23
19M
acl2-books-source_8.3dfsg-1_all.deb
2020-08-24 12:19
19M
acl2-books-source_8.3dfsg-2_all.deb
2021-01-28 07:19
19M
acl2_8.0dfsg-1build1_s390x.deb
2019-01-15 14:28
19M
acl2_8.3dfsg-1_arm64.deb
2020-08-24 14:13
19M
acl2_8.0dfsg-1_ppc64el.deb
2018-01-31 14:58
19M
acl2-books_6.4-4_amd64.deb
2014-05-18 12:50
19M
acl2-books_7.1-1_arm64.deb
2015-06-02 14:43
19M
acl2-books_7.1-1_amd64.deb
2015-06-27 13:48
19M
acl2_8.0dfsg-1build1_amd64.deb
2019-01-15 18:13
19M
acl2_8.0dfsg-1_amd64.deb
2018-01-14 03:08
19M
acl2_8.3dfsg-2_arm64.deb
2021-03-29 13:23
19M
acl2-books_3.3-1.1_sparc.deb
2008-05-14 13:04
19M
acl2_3.4-1_hppa.deb
2008-11-07 16:05
19M
acl2_8.1dfsg-3_ppc64el.deb
2019-04-21 23:48
19M
acl2_8.1dfsg-3_amd64.deb
2019-04-21 19:43
19M
acl2-books_3.4-2_lpia.deb
2009-04-28 23:06
19M
acl2_3.6-4_i386.deb
2010-02-16 08:05
20M
acl2_8.3dfsg-1_s390x.deb
2020-08-24 12:13
20M
acl2-books_6.4-4_arm64.deb
2014-08-24 08:13
20M
acl2-books_7.0-1_powerpc.deb
2015-01-27 17:06
20M
acl2_8.3dfsg-2_s390x.deb
2021-01-28 05:25
20M
acl2-books_3.4-2_i386.deb
2009-04-28 23:06
20M
acl2_8.3dfsg-1_amd64.deb
2020-08-24 12:18
20M
acl2-books_3.4-1_i386.deb
2008-11-05 10:05
20M
acl2_3.4-2_powerpc.deb
2009-04-29 01:05
20M
acl2_3.4-1_powerpc.deb
2008-11-05 22:07
20M
acl2_8.3dfsg-2_ppc64el.deb
2021-03-28 19:08
21M
acl2_8.3dfsg-2_amd64.deb
2021-01-28 07:19
21M
acl2_3.4-2_amd64.deb
2009-04-29 01:04
21M
acl2_3.4-1_ia64.deb
2008-11-06 22:09
21M
acl2_3.4-1_amd64.deb
2008-11-06 00:10
21M
acl2_8.3dfsg-1_ppc64el.deb
2020-08-24 12:23
21M
acl2_4.2-1_armhf.deb
2012-02-02 03:33
21M
acl2_4.1-5_i386.deb
2010-11-09 02:04
21M
acl2_3.4-2_ia64.deb
2009-04-29 05:06
21M
acl2_4.2-1_armel.deb
2011-09-05 01:04
21M
acl2-books_3.3-1.1_lpia.deb
2008-05-10 09:04
21M
acl2_3.4-1_sparc.deb
2008-11-06 10:07
21M
acl2_3.4-2_sparc.deb
2009-05-02 15:05
21M
acl2_4.0-3_i386.deb
2010-09-08 22:05
21M
acl2-books_3.3-1.1_amd64.deb
2008-05-11 06:04
21M
acl2_3.6-4_powerpc.deb
2010-02-16 08:05
22M
acl2_4.2-1_i386.deb
2011-09-02 03:04
22M
acl2_3.6-4_amd64.deb
2010-02-16 08:05
22M
acl2-books_3.4-2_sparc.deb
2009-05-02 15:05
22M
acl2-books_3.4-1_sparc.deb
2008-11-06 10:07
22M
acl2_8.5dfsg-1_armhf.deb
2022-08-01 04:13
22M
acl2_4.3-3_armhf.deb
2012-05-19 08:34
23M
acl2-books_7.0-1_i386.deb
2015-01-27 17:06
23M
acl2-books-source_8.5dfsg-1_all.deb
2022-07-28 09:29
23M
acl2_3.6-4_sparc.deb
2010-02-16 14:11
23M
acl2_4.1-5_powerpc.deb
2010-11-09 06:05
23M
acl2_6.2-6_i386.deb
2013-07-31 14:38
23M
acl2_6.2-6_armhf.deb
2013-08-08 15:58
23M
acl2-books_3.3-1.1_ia64.deb
2008-05-13 12:04
23M
acl2_4.2-1_powerpc.deb
2011-05-15 20:04
23M
acl2_4.3-3_i386.deb
2012-05-18 14:33
23M
acl2_4.3-3_armel.deb
2012-05-19 09:03
23M
acl2-books_3.4-2_amd64.deb
2009-04-29 01:04
23M
acl2-books_7.0-1_arm64.deb
2015-01-28 03:33
24M
acl2-books_3.3-1.1_powerpc.deb
2008-05-11 05:05
24M
acl2_4.0-3_powerpc.deb
2010-09-07 06:05
24M
acl2-books_3.4-1_lpia.deb
2008-11-14 08:04
24M
acl2-books_7.0-1_amd64.deb
2015-01-27 14:50
24M
acl2_8.5dfsg-1_arm64.deb
2022-08-02 02:53
24M
acl2-books_3.4-1_amd64.deb
2008-11-06 00:10
24M
acl2_4.1-5_amd64.deb
2010-11-09 03:04
25M
acl2_6.2-6_powerpc.deb
2013-07-31 15:48
25M
acl2_4.3-3_powerpc.deb
2012-05-18 23:03
25M
acl2_4.0-3_amd64.deb
2010-09-07 05:05
25M
acl2-books_3.4-1_ia64.deb
2008-11-06 22:09
25M
acl2_4.2-1_amd64.deb
2011-09-02 04:04
25M
acl2_8.5dfsg-1_s390x.deb
2022-07-28 09:29
25M
acl2_6.0-2_i386.deb
2013-01-14 07:33
26M
acl2_8.5dfsg-1_amd64.deb
2022-07-28 09:29
26M
acl2_8.5dfsg-1_ppc64el.deb
2022-07-28 10:37
26M
acl2-books_3.4-2_ia64.deb
2009-04-29 05:06
26M
acl2-books_3.4-2_powerpc.deb
2009-04-29 01:05
27M
acl2_6.2-6_amd64.deb
2013-07-31 14:53
27M
acl2_4.3-3_amd64.deb
2012-05-18 16:34
27M
acl2-books_3.4-1_powerpc.deb
2008-11-05 22:07
27M
acl2_6.0-2_powerpc.deb
2013-01-14 15:03
27M
acl2-books_3.3-1.1_hppa.deb
2008-05-21 23:04
28M
acl2-books_3.6-4_i386.deb
2010-02-16 08:05
29M
acl2-books_6.2-6_i386.deb
2013-07-31 14:38
30M
acl2_6.0-2_amd64.deb
2013-01-14 08:03
30M
acl2-books_3.6-4_sparc.deb
2010-02-16 14:11
31M
acl2-books_3.4-1_hppa.deb
2008-11-07 16:05
31M
acl2-books_4.0-3_i386.deb
2010-09-08 22:05
32M
acl2-books_6.2-6_powerpc.deb
2013-07-31 15:48
32M
acl2-books_4.2-1_armhf.deb
2012-02-02 03:33
33M
acl2-books_3.6-4_amd64.deb
2010-02-16 08:05
33M
acl2-books_6.2-6_amd64.deb
2013-07-31 14:53
34M
acl2-books_4.1-5_i386.deb
2010-11-09 02:04
34M
acl2-books_4.2-1_i386.deb
2011-09-02 03:04
34M
acl2-books_4.2-1_armel.deb
2011-09-05 01:04
34M
acl2-books_4.0-3_amd64.deb
2010-09-07 05:05
37M
acl2-books_4.3-3_armel.deb
2012-05-19 09:03
38M
acl2-books_3.6-4_powerpc.deb
2010-02-16 08:05
38M
acl2-books_4.3-3_armhf.deb
2012-05-19 08:33
39M
acl2-books_4.1-5_amd64.deb
2010-11-09 03:04
39M
acl2-books_4.2-1_amd64.deb
2011-09-02 04:04
39M
acl2-books_4.0-3_powerpc.deb
2010-09-07 06:05
42M
acl2-books_4.2-1_powerpc.deb
2011-05-15 20:04
45M
acl2-books_4.1-5_powerpc.deb
2010-11-09 06:05
45M
acl2-books-certs_7.2dfsg-2_all.deb
2016-05-05 06:24
52M
acl2-books_6.4-4_armhf.deb
2014-05-18 19:38
54M
acl2_7.0.orig.tar.gz
2015-01-27 11:39
56M
acl2-books_7.1-1_armhf.deb
2015-06-02 12:58
60M
acl2_7.1.orig.tar.gz
2015-06-01 23:24
60M
acl2_7.2dfsg.orig.tar.gz
2016-04-26 22:12
61M
acl2-books-certs_7.0-1_all.deb
2015-01-27 14:50
66M
acl2-books_7.2dfsg-2_powerpc.deb
2018-06-13 06:40
66M
acl2-books-certs_8.0dfsg-1_all.deb
2018-01-14 03:08
70M
acl2-books-certs_8.0dfsg-1build1_all.deb
2019-01-15 18:13
70M
acl2_8.0dfsg.orig.tar.gz
2018-01-13 23:08
74M
acl2_8.1dfsg.orig.tar.gz
2019-04-21 11:46
75M
acl2-books_7.0-1_armhf.deb
2015-01-28 02:49
76M
acl2-books-certs_8.1dfsg-3_all.deb
2019-04-21 19:43
77M
acl2-books_7.2dfsg-2_armhf.deb
2016-05-05 23:09
87M
acl2-books_6.2-6_armhf.deb
2013-08-08 15:58
88M
acl2-books_7.2dfsg-2_i386.deb
2016-05-05 07:09
88M
acl2-books_7.2dfsg-2_amd64.deb
2016-05-05 06:24
102M
acl2-books_7.2dfsg-2_s390x.deb
2018-06-13 08:43
102M
acl2-books_7.2dfsg-2_arm64.deb
2016-05-09 01:39
104M
acl2_8.3dfsg.orig.tar.gz
2020-08-24 11:13
112M
acl2-books_8.0dfsg-1_i386.deb
2018-01-14 04:49
114M
acl2-books_8.0dfsg-1_armhf.deb
2018-01-21 23:13
116M
acl2-books_8.0dfsg-1_s390x.deb
2018-01-23 21:18
122M
acl2-books_8.0dfsg-1build1_i386.deb
2019-01-15 16:47
127M
acl2-books_8.0dfsg-1_amd64.deb
2018-01-14 03:08
132M
acl2-books_8.0dfsg-1build1_s390x.deb
2019-01-15 14:28
132M
acl2-books_8.0dfsg-1build1_armhf.deb
2019-01-16 21:28
133M
acl2-books_8.0dfsg-1_arm64.deb
2018-01-22 03:23
135M
acl2-books_8.0dfsg-1_ppc64el.deb
2018-01-31 14:58
135M
acl2-books-certs_8.3dfsg-2_all.deb
2021-01-28 07:19
139M
acl2-books_8.1dfsg-3_i386.deb
2019-04-21 23:31
139M
acl2-books_8.1dfsg-3_armhf.deb
2019-04-22 09:43
141M
acl2-books_8.0dfsg-1build1_arm64.deb
2019-01-16 18:03
142M
acl2-books_8.1dfsg-3_s390x.deb
2019-04-21 19:28
143M
acl2-books_8.0dfsg-1build1_amd64.deb
2019-01-15 18:13
145M
acl2-books_8.1dfsg-3_arm64.deb
2019-04-22 12:23
153M
acl2-books_8.1dfsg-3_amd64.deb
2019-04-21 19:43
156M
acl2-books_8.1dfsg-3_ppc64el.deb
2019-04-21 23:48
156M
acl2_8.5dfsg.orig.tar.gz
2022-07-27 23:33
213M
acl2-books-certs_8.5dfsg-1_all.deb
2022-07-28 09:29
220M
acl2-books_8.3dfsg-2_armhf.deb
2021-01-29 05:24
220M
acl2-books_8.3dfsg-2_ppc64el.deb
2021-03-28 19:08
230M
acl2-books_8.3dfsg-2_s390x.deb
2021-01-28 05:25
231M
acl2-books_8.3dfsg-2_arm64.deb
2021-03-29 13:23
232M
acl2-books_8.3dfsg-2_amd64.deb
2021-01-28 07:19
241M
acl2-books_8.5dfsg-1_armhf.deb
2022-08-01 04:13
316M
acl2-books_8.5dfsg-1_s390x.deb
2022-07-28 09:29
320M
acl2-books_8.5dfsg-1_arm64.deb
2022-08-02 02:53
334M
acl2-books_8.5dfsg-1_amd64.deb
2022-07-28 09:29
335M
acl2-books_8.5dfsg-1_ppc64el.deb
2022-07-28 10:37
353M
Apache/2.4.52 (Ubuntu) Server at 91.189.91.91 Port 80