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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-books-certs_2.9-2_all.deb 2957862004-Nov-11 12:02
acl2-books-certs_3.1-1_all.deb 49660962006-Dec-05 04:47
acl2-books-certs_4.0-3_all.deb 20075722010-Jul-10 02:02
acl2-books-certs_4.3-3_all.deb 44265782012-Apr-21 04:38
acl2-books-certs_6.5-2_all.deb 64993382014-Sep-08 23:35
acl2-books-certs_6.5-2~bpo70+1_all.deb 195959802015-Jan-15 01:26
acl2-books-certs_7.2dfsg-3_all.deb 547996782016-Oct-17 23:35
acl2-books-certs_8.0dfsg-1_all.deb 733068682018-Jan-13 22:52
acl2-books-certs_8.3dfsg-2_all.deb 1453881482021-Jan-28 11:25
acl2-books-source_2.9-2_all.deb 12357482004-Nov-11 12:02
acl2-books-source_3.1-1_all.deb 22452862006-Dec-05 04:47
acl2-books-source_4.0-3_all.deb 52866162010-Jul-10 02:02
acl2-books-source_4.3-3_all.deb 64621602012-Apr-21 04:38
acl2-books-source_6.5-2_all.deb 69568702014-Sep-08 23:35
acl2-books-source_6.5-2~bpo70+1_all.deb 107414942015-Jan-15 01:26
acl2-books-source_7.2dfsg-3_all.deb 108641882016-Oct-17 23:35
acl2-books-source_8.0dfsg-1_all.deb 124733962018-Jan-13 22:52
acl2-books-source_8.3dfsg-2_all.deb 195392522021-Jan-28 11:25
acl2-books_2.9-2_alpha.deb 14267842004-Nov-12 01:32
acl2-books_2.9-2_arm.deb 9253982004-Nov-15 09:17
acl2-books_2.9-2_hppa.deb 68057842004-Nov-25 10:47
acl2-books_2.9-2_i386.deb 8333422004-Nov-11 12:02
acl2-books_2.9-2_ia64.deb 15148642004-Nov-25 10:47
acl2-books_2.9-2_m68k.deb 8011142004-Nov-16 18:02
acl2-books_2.9-2_mips.deb 11170542004-Nov-17 02:47
acl2-books_2.9-2_mipsel.deb 10944502004-Nov-13 04:32
acl2-books_2.9-2_powerpc.deb 12654442004-Nov-12 01:32
acl2-books_2.9-2_s390.deb 9452862004-Nov-11 19:32
acl2-books_2.9-2_sparc.deb 9954842004-Nov-29 01:32
acl2-books_3.1-1_alpha.deb 28435982006-Dec-05 19:32
acl2-books_3.1-1_amd64.deb 22671562006-Dec-05 06:47
acl2-books_3.1-1_arm.deb 16860882006-Dec-19 02:00
acl2-books_3.1-1_hppa.deb 77721222006-Dec-12 14:02
acl2-books_3.1-1_i386.deb 16156742006-Dec-05 04:47
acl2-books_3.1-1_ia64.deb 29833442006-Dec-06 00:32
acl2-books_3.1-1_m68k.deb 16285802007-Feb-12 16:02
acl2-books_3.1-1_mips.deb 20579402006-Dec-12 16:02
acl2-books_3.1-1_mipsel.deb 20338622007-Jan-08 18:32
acl2-books_3.1-1_powerpc.deb 23238722006-Dec-05 19:32
acl2-books_3.1-1_s390.deb 17858882006-Dec-06 00:02
acl2-books_3.1-1_sparc.deb 19044502007-Jan-01 03:32
acl2-books_4.0-3_amd64.deb 385024362010-Jul-10 06:32
acl2-books_4.0-3_armel.deb 342209982010-Jul-12 02:17
acl2-books_4.0-3_i386.deb 340051862010-Jul-10 02:02
acl2-books_4.0-3_ia64.deb 415353162010-Jul-10 20:17
acl2-books_4.0-3_kfreebsd-amd64.deb 384370942010-Jul-10 08:17
acl2-books_4.0-3_kfreebsd-i386.deb 337799742010-Jul-10 08:32
acl2-books_4.0-3_mips.deb 384066682010-Jul-23 23:32
acl2-books_4.0-3_mipsel.deb 131703062010-Jul-20 00:47
acl2-books_4.0-3_powerpc.deb 440367682010-Jul-20 05:47
acl2-books_4.0-3_s390.deb 422115882010-Jul-10 18:47
acl2-books_4.0-3_sparc.deb 369798822010-Jul-17 23:47
acl2-books_4.3-3_amd64.deb 159440362012-Apr-21 09:02
acl2-books_4.3-3_armel.deb 379805082012-Apr-22 11:47
acl2-books_4.3-3_armhf.deb 382607882012-Apr-22 07:17
acl2-books_4.3-3_i386.deb 138956402012-Apr-21 04:38
acl2-books_4.3-3_ia64.deb 190549902012-Apr-23 23:47
acl2-books_4.3-3_kfreebsd-amd64.deb 158114702012-Apr-21 21:32
acl2-books_4.3-3_kfreebsd-i386.deb 135308422012-Apr-21 10:02
acl2-books_4.3-3_mips.deb 169468482012-Apr-22 05:47
acl2-books_4.3-3_mipsel.deb 161765902012-Apr-27 06:49
acl2-books_4.3-3_powerpc.deb 159143942012-Apr-21 10:47
acl2-books_4.3-3_s390.deb 136795062012-Apr-21 08:17
acl2-books_4.3-3_s390x.deb 155288362012-Apr-21 17:47
acl2-books_4.3-3_sparc.deb 155647382012-Apr-22 08:02
acl2-books_6.5-2_amd64.deb 231323722014-Sep-08 23:35
acl2-books_6.5-2_arm64.deb 229048182014-Sep-17 08:00
acl2-books_6.5-2_armel.deb 681176942014-Sep-09 20:25
acl2-books_6.5-2_armhf.deb 699568642014-Sep-12 19:12
acl2-books_6.5-2_i386.deb 218049582014-Sep-09 06:44
acl2-books_6.5-2_kfreebsd-amd64.deb 231591082014-Sep-09 15:43
acl2-books_6.5-2_kfreebsd-i386.deb 187445322014-Sep-09 19:04
acl2-books_6.5-2_mips.deb 209357022014-Oct-03 08:44
acl2-books_6.5-2_mipsel.deb 213976082014-Sep-29 05:37
acl2-books_6.5-2_powerpc.deb 189995462014-Sep-09 02:57
acl2-books_6.5-2_ppc64el.deb 200310822014-Sep-09 13:07
acl2-books_6.5-2_s390x.deb 207777102014-Sep-09 09:46
acl2-books_6.5-2~bpo70+1_amd64.deb 496937702015-Jan-15 01:26
acl2-books_7.2dfsg-3_amd64.deb 1081118762016-Oct-17 23:35
acl2-books_7.2dfsg-3_arm64.deb 1095533642016-Oct-18 14:59
acl2-books_7.2dfsg-3_armel.deb 904451182016-Oct-19 14:29
acl2-books_7.2dfsg-3_armhf.deb 963205162016-Oct-19 10:33
acl2-books_7.2dfsg-3_i386.deb 904459062016-Oct-18 08:35
acl2-books_7.2dfsg-3_mips.deb 747744922016-Oct-19 00:12
acl2-books_7.2dfsg-3_mips64el.deb 1135065262016-Oct-20 09:31
acl2-books_7.2dfsg-3_mipsel.deb 778274222016-Oct-19 23:45
acl2-books_7.2dfsg-3_ppc64el.deb 1036218882016-Oct-18 07:34
acl2-books_7.2dfsg-3_s390x.deb 1065246822016-Oct-18 16:30
acl2-books_8.0dfsg-1+b1_armel.deb 1334354802019-Feb-14 22:00
acl2-books_8.0dfsg-1_amd64.deb 1379463762018-Jan-13 22:52
acl2-books_8.0dfsg-1_arm64.deb 1413496882018-Jan-14 11:47
acl2-books_8.0dfsg-1_armhf.deb 1253719002018-Jan-15 17:46
acl2-books_8.0dfsg-1_i386.deb 1159980802018-Jan-14 06:26
acl2-books_8.0dfsg-1_mips.deb 1321282002018-Jan-16 15:15
acl2-books_8.0dfsg-1_mips64el.deb 1468260202018-Jan-16 12:44
acl2-books_8.0dfsg-1_mipsel.deb 1369276762018-Jan-16 14:14
acl2-books_8.0dfsg-1_ppc64el.deb 1368088762018-Jan-14 05:26
acl2-books_8.0dfsg-1_s390x.deb 1277592642018-Jan-14 05:41
acl2-books_8.3dfsg-2_amd64.deb 2528786842021-Jan-28 06:57
acl2-books_8.3dfsg-2_arm64.deb 2474615002021-Jan-29 00:43
acl2-books_8.3dfsg-2_armel.deb 2289770882021-Jan-28 16:13
acl2-books_8.3dfsg-2_armhf.deb 2337757002021-Jan-28 15:42
acl2-books_8.3dfsg-2_i386.deb 2138491482021-Jan-28 07:22
acl2-books_8.3dfsg-2_mips64el.deb 2659194362021-Jan-31 04:12
acl2-books_8.3dfsg-2_mipsel.deb 2389860242021-Jan-29 18:42
acl2-books_8.3dfsg-2_ppc64el.deb 2566431802021-Jan-28 08:44
acl2-books_8.3dfsg-2_s390x.deb 2296303882021-Jan-28 11:35
acl2-doc_2.9-2_all.deb 17919782004-Nov-11 12:02
acl2-doc_3.1-1_all.deb 20196882006-Dec-05 04:47
acl2-doc_4.0-3_all.deb 28261542010-Jul-10 02:02
acl2-doc_4.3-3_all.deb 3622742012-Apr-21 04:38
acl2-doc_6.5-2_all.deb 16718822014-Sep-08 23:35
acl2-doc_6.5-2~bpo70+1_all.deb 22917622015-Jan-15 01:26
acl2-doc_7.2dfsg-3_all.deb 3811862016-Oct-17 23:35
acl2-doc_8.0dfsg-1_all.deb 4015242018-Jan-13 22:52
acl2-doc_8.3dfsg-2_all.deb 4476082021-Jan-28 11:25
acl2-emacs_2.9-2_all.deb 487362005-Apr-30 20:19
acl2-emacs_3.1-1_all.deb 505382006-Dec-05 04:47
acl2-emacs_4.0-3_all.deb 581562010-Jul-10 02:02
acl2-emacs_4.3-3_all.deb 608602012-Apr-21 04:38
acl2-emacs_6.5-2_all.deb 608742014-Sep-08 23:35
acl2-emacs_6.5-2~bpo70+1_all.deb 729342015-Jan-15 01:26
acl2-emacs_7.2dfsg-3_all.deb 640702016-Oct-17 23:35
acl2-emacs_8.0dfsg-1_all.deb 676082018-Jan-13 22:52
acl2-emacs_8.3dfsg-2_all.deb 694122021-Jan-28 11:25
acl2-infix-source_2.9-2_all.deb 842442004-Nov-11 12:02
acl2-infix-source_3.1-1_all.deb 853242006-Dec-05 04:47
acl2-infix-source_4.0-3_all.deb 893182010-Jul-10 02:02
acl2-infix-source_4.3-3_all.deb 914942012-Apr-21 04:38
acl2-infix-source_6.5-2_all.deb 794562014-Sep-08 23:35
acl2-infix-source_6.5-2~bpo70+1_all.deb 921822015-Jan-15 01:26
acl2-infix-source_7.2dfsg-3_all.deb 788402016-Oct-17 23:35
acl2-infix-source_8.0dfsg-1_all.deb 791882018-Jan-13 22:52
acl2-infix-source_8.3dfsg-2_all.deb 798802021-Jan-28 11:25
acl2-infix_2.9-2_alpha.deb 2915062004-Nov-12 01:32
acl2-infix_2.9-2_arm.deb 2091042004-Nov-15 09:17
acl2-infix_2.9-2_hppa.deb 3910362004-Nov-25 10:47
acl2-infix_2.9-2_i386.deb 1811182004-Nov-11 12:02
acl2-infix_2.9-2_ia64.deb 3523402004-Nov-25 10:47
acl2-infix_2.9-2_m68k.deb 1782642004-Nov-16 18:02
acl2-infix_2.9-2_mips.deb 2568522004-Nov-17 02:47
acl2-infix_2.9-2_mipsel.deb 2450902004-Nov-13 04:32
acl2-infix_2.9-2_powerpc.deb 3148742004-Nov-12 01:32
acl2-infix_2.9-2_s390.deb 1820142004-Nov-11 19:32
acl2-infix_2.9-2_sparc.deb 2548522004-Nov-29 01:32
acl2-infix_3.1-1_alpha.deb 2572622006-Dec-05 19:32
acl2-infix_3.1-1_amd64.deb 1986502006-Dec-05 06:47
acl2-infix_3.1-1_arm.deb 1901922006-Dec-19 02:00
acl2-infix_3.1-1_hppa.deb 4178902006-Dec-12 14:02
acl2-infix_3.1-1_i386.deb 1718342006-Dec-05 04:47
acl2-infix_3.1-1_ia64.deb 3041942006-Dec-06 00:32
acl2-infix_3.1-1_m68k.deb 1956922007-Feb-12 16:02
acl2-infix_3.1-1_mips.deb 2020562006-Dec-12 16:02
acl2-infix_3.1-1_mipsel.deb 1967682007-Jan-08 18:32
acl2-infix_3.1-1_powerpc.deb 2488542006-Dec-05 19:32
acl2-infix_3.1-1_s390.deb 1662982006-Dec-06 00:02
acl2-infix_3.1-1_sparc.deb 2228282007-Jan-01 03:32
acl2-infix_4.0-3_amd64.deb 4305722010-Jul-10 06:32
acl2-infix_4.0-3_armel.deb 3929502010-Jul-12 02:17
acl2-infix_4.0-3_i386.deb 3904142010-Jul-10 02:02
acl2-infix_4.0-3_ia64.deb 5729302010-Jul-10 20:17
acl2-infix_4.0-3_kfreebsd-amd64.deb 4312902010-Jul-10 08:17
acl2-infix_4.0-3_kfreebsd-i386.deb 3889542010-Jul-10 08:32
acl2-infix_4.0-3_mips.deb 4368302010-Jul-23 23:32
acl2-infix_4.0-3_mipsel.deb 1918202010-Jul-20 00:47
acl2-infix_4.0-3_powerpc.deb 5233462010-Jul-20 05:47
acl2-infix_4.0-3_s390.deb 4602522010-Jul-10 18:47
acl2-infix_4.0-3_sparc.deb 4522202010-Jul-17 23:47
acl2-infix_4.3-3_amd64.deb 2036742012-Apr-21 09:02
acl2-infix_4.3-3_armel.deb 3777582012-Apr-22 11:47
acl2-infix_4.3-3_armhf.deb 4103062012-Apr-22 07:17
acl2-infix_4.3-3_i386.deb 1840882012-Apr-21 04:38
acl2-infix_4.3-3_ia64.deb 2619522012-Apr-23 23:47
acl2-infix_4.3-3_kfreebsd-amd64.deb 2053662012-Apr-21 21:32
acl2-infix_4.3-3_kfreebsd-i386.deb 1823922012-Apr-21 10:02
acl2-infix_4.3-3_mips.deb 2315822012-Apr-22 05:47
acl2-infix_4.3-3_mipsel.deb 2194562012-Apr-27 06:49
acl2-infix_4.3-3_powerpc.deb 2236122012-Apr-21 10:47
acl2-infix_4.3-3_s390.deb 1705442012-Apr-21 08:17
acl2-infix_4.3-3_s390x.deb 1947682012-Apr-21 17:47
acl2-infix_4.3-3_sparc.deb 2168062012-Apr-22 08:02
acl2-infix_6.5-2_amd64.deb 1500202014-Sep-08 23:35
acl2-infix_6.5-2_arm64.deb 1528382014-Sep-17 08:00
acl2-infix_6.5-2_armel.deb 4123342014-Sep-09 20:25
acl2-infix_6.5-2_armhf.deb 4345782014-Sep-12 19:12
acl2-infix_6.5-2_i386.deb 1515762014-Sep-09 06:44
acl2-infix_6.5-2_kfreebsd-amd64.deb 1485542014-Sep-09 15:43
acl2-infix_6.5-2_kfreebsd-i386.deb 1510322014-Sep-09 19:04
acl2-infix_6.5-2_mips.deb 1485462014-Oct-03 08:44
acl2-infix_6.5-2_mipsel.deb 1499382014-Sep-29 05:37
acl2-infix_6.5-2_powerpc.deb 1397082014-Sep-09 02:57
acl2-infix_6.5-2_ppc64el.deb 1559322014-Sep-09 13:07
acl2-infix_6.5-2_s390x.deb 1411182014-Sep-09 09:46
acl2-infix_6.5-2~bpo70+1_amd64.deb 2245442015-Jan-15 01:26
acl2-infix_7.2dfsg-3_amd64.deb 4197402016-Oct-17 23:35
acl2-infix_7.2dfsg-3_arm64.deb 4302782016-Oct-18 14:59
acl2-infix_7.2dfsg-3_armel.deb 3909202016-Oct-19 14:29
acl2-infix_7.2dfsg-3_armhf.deb 4102622016-Oct-19 10:33
acl2-infix_7.2dfsg-3_i386.deb 3901802016-Oct-18 08:35
acl2-infix_7.2dfsg-3_mips.deb 4176902016-Oct-19 00:12
acl2-infix_7.2dfsg-3_mips64el.deb 4338902016-Oct-20 09:31
acl2-infix_7.2dfsg-3_mipsel.deb 4365022016-Oct-19 23:45
acl2-infix_7.2dfsg-3_ppc64el.deb 4227902016-Oct-18 07:34
acl2-infix_7.2dfsg-3_s390x.deb 4181202016-Oct-18 16:30
acl2-infix_8.0dfsg-1+b1_armel.deb 4421802019-Feb-14 22:00
acl2-infix_8.0dfsg-1_amd64.deb 4320322018-Jan-13 22:52
acl2-infix_8.0dfsg-1_arm64.deb 4427962018-Jan-14 11:47
acl2-infix_8.0dfsg-1_armhf.deb 4162562018-Jan-15 17:46
acl2-infix_8.0dfsg-1_i386.deb 3993402018-Jan-14 06:26
acl2-infix_8.0dfsg-1_mips.deb 4312402018-Jan-16 15:15
acl2-infix_8.0dfsg-1_mips64el.deb 4504042018-Jan-16 12:44
acl2-infix_8.0dfsg-1_mipsel.deb 4523722018-Jan-16 14:14
acl2-infix_8.0dfsg-1_ppc64el.deb 4445002018-Jan-14 05:26
acl2-infix_8.0dfsg-1_s390x.deb 4065762018-Jan-14 05:41
acl2-infix_8.3dfsg-2_amd64.deb 4902802021-Jan-28 06:57
acl2-infix_8.3dfsg-2_arm64.deb 4806682021-Jan-29 00:43
acl2-infix_8.3dfsg-2_armel.deb 4740322021-Jan-28 16:13
acl2-infix_8.3dfsg-2_armhf.deb 4897682021-Jan-28 15:42
acl2-infix_8.3dfsg-2_i386.deb 4964802021-Jan-28 07:22
acl2-infix_8.3dfsg-2_mips64el.deb 5154202021-Jan-31 04:12
acl2-infix_8.3dfsg-2_mipsel.deb 5211002021-Jan-29 18:42
acl2-infix_8.3dfsg-2_ppc64el.deb 5098042021-Jan-28 08:44
acl2-infix_8.3dfsg-2_s390x.deb 4453762021-Jan-28 11:35
acl2-source_2.9-2_all.deb 20499082004-Nov-11 12:02
acl2-source_3.1-1_all.deb 22690102006-Dec-05 04:47
acl2-source_4.0-3_all.deb 30262262010-Jul-10 02:02
acl2-source_4.3-3_all.deb 32895302012-Apr-21 04:38
acl2-source_6.5-2_all.deb 27646722014-Sep-08 23:35
acl2-source_6.5-2~bpo70+1_all.deb 38673962015-Jan-15 01:26
acl2-source_7.2dfsg-3_all.deb 28862042016-Oct-17 23:35
acl2-source_8.0dfsg-1_all.deb 30813242018-Jan-13 22:52
acl2-source_8.3dfsg-2_all.deb 33398962021-Jan-28 11:25
acl2_2.9-2.diff.gz 181292004-Nov-11 12:02
acl2_2.9-2.dsc 7942005-Apr-30 20:19
acl2_2.9-2_alpha.deb 152638822004-Nov-12 01:32
acl2_2.9-2_arm.deb 144775482004-Nov-15 09:17
acl2_2.9-2_hppa.deb 143375322004-Nov-25 10:47
acl2_2.9-2_i386.deb 137309482004-Nov-11 12:02
acl2_2.9-2_ia64.deb 164562222004-Nov-25 10:47
acl2_2.9-2_m68k.deb 136227082004-Nov-16 18:02
acl2_2.9-2_mips.deb 143007522004-Nov-17 02:47
acl2_2.9-2_mipsel.deb 136369602004-Nov-13 04:32
acl2_2.9-2_powerpc.deb 161670682004-Nov-12 01:32
acl2_2.9-2_s390.deb 151022682004-Nov-11 19:32
acl2_2.9-2_sparc.deb 223695782004-Nov-29 01:32
acl2_2.9.orig.tar.gz 52028712005-Apr-30 20:19
acl2_3.1-1.diff.gz 132722006-Dec-05 04:47
acl2_3.1-1.dsc 8222006-Dec-05 04:47
acl2_3.1-1_alpha.deb 165468782006-Dec-05 19:32
acl2_3.1-1_amd64.deb 185227402006-Dec-05 06:47
acl2_3.1-1_arm.deb 167743702006-Dec-19 02:00
acl2_3.1-1_hppa.deb 161364102006-Dec-12 14:02
acl2_3.1-1_i386.deb 162154402006-Dec-05 04:47
acl2_3.1-1_ia64.deb 176028502006-Dec-06 00:32
acl2_3.1-1_m68k.deb 158323502007-Feb-12 16:02
acl2_3.1-1_mips.deb 157914062006-Dec-12 16:02
acl2_3.1-1_mipsel.deb 149747142007-Jan-08 18:32
acl2_3.1-1_powerpc.deb 178713482006-Dec-05 19:32
acl2_3.1-1_s390.deb 170009902006-Dec-06 00:02
acl2_3.1-1_sparc.deb 174861902007-Jan-01 03:32
acl2_3.1.orig.tar.gz 67295372006-Dec-05 04:47
acl2_4.0-3.diff.gz 159532010-Jul-10 02:02
acl2_4.0-3.dsc 11682010-Jul-10 02:02
acl2_4.0-3_amd64.deb 262395222010-Jul-10 06:32
acl2_4.0-3_armel.deb 235216902010-Jul-12 02:17
acl2_4.0-3_i386.deb 223610382010-Jul-10 02:02
acl2_4.0-3_ia64.deb 249105022010-Jul-10 20:17
acl2_4.0-3_kfreebsd-amd64.deb 262096722010-Jul-10 08:17
acl2_4.0-3_kfreebsd-i386.deb 222489942010-Jul-10 08:32
acl2_4.0-3_mips.deb 229505902010-Jul-23 23:32
acl2_4.0-3_mipsel.deb 218124922010-Jul-20 00:47
acl2_4.0-3_powerpc.deb 251050482010-Jul-20 05:47
acl2_4.0-3_s390.deb 248027982010-Jul-10 18:47
acl2_4.0-3_sparc.deb 267820902010-Jul-17 23:47
acl2_4.0.orig.tar.gz 114258142010-Jul-08 13:47
acl2_4.3-3.debian.tar.gz 182972012-Apr-21 04:38
acl2_4.3-3.dsc 14912012-Apr-21 04:38
acl2_4.3-3_amd64.deb 283177042012-Apr-21 09:02
acl2_4.3-3_armel.deb 245088782012-Apr-22 11:47
acl2_4.3-3_armhf.deb 234088562012-Apr-22 07:17
acl2_4.3-3_i386.deb 242976362012-Apr-21 04:38
acl2_4.3-3_ia64.deb 262700702012-Apr-23 23:47
acl2_4.3-3_kfreebsd-amd64.deb 283230462012-Apr-21 21:32
acl2_4.3-3_kfreebsd-i386.deb 243223282012-Apr-21 10:02
acl2_4.3-3_mips.deb 249251242012-Apr-22 05:47
acl2_4.3-3_mipsel.deb 236038542012-Apr-27 06:49
acl2_4.3-3_powerpc.deb 257114922012-Apr-21 10:47
acl2_4.3-3_s390.deb 262721502012-Apr-21 08:17
acl2_4.3-3_s390x.deb 306545242012-Apr-21 17:47
acl2_4.3-3_sparc.deb 282166662012-Apr-22 08:02
acl2_4.3.orig.tar.gz 152514312012-Jan-12 04:47
acl2_6.5-2.debian.tar.xz 1282682014-Sep-08 23:35
acl2_6.5-2.dsc 18072014-Sep-08 23:35
acl2_6.5-2_amd64.deb 163202882014-Sep-08 23:35
acl2_6.5-2_arm64.deb 148431142014-Sep-17 08:00
acl2_6.5-2_armel.deb 137330282014-Sep-09 20:25
acl2_6.5-2_armhf.deb 141588942014-Sep-12 19:12
acl2_6.5-2_i386.deb 140018782014-Sep-09 06:44
acl2_6.5-2_kfreebsd-amd64.deb 163180522014-Sep-09 15:43
acl2_6.5-2_kfreebsd-i386.deb 140459462014-Sep-09 19:04
acl2_6.5-2_mips.deb 137321282014-Oct-03 08:44
acl2_6.5-2_mipsel.deb 140464462014-Sep-29 05:37
acl2_6.5-2_powerpc.deb 132965862014-Sep-09 02:57
acl2_6.5-2_ppc64el.deb 141573942014-Sep-09 13:07
acl2_6.5-2_s390x.deb 156522802014-Sep-09 09:46
acl2_6.5-2~bpo70+1.debian.tar.gz 1634742015-Jan-15 01:26
acl2_6.5-2~bpo70+1.dsc 24012015-Jan-15 01:26
acl2_6.5-2~bpo70+1_amd64.deb 250238502015-Jan-15 01:26
acl2_6.5.orig-books.tar.gz 149787442014-Aug-18 00:21
acl2_6.5.orig.tar.gz 61924342014-Aug-18 00:21
acl2_7.2dfsg-3.debian.tar.xz 2041722016-Oct-17 23:35
acl2_7.2dfsg-3.dsc 22312016-Oct-17 23:35
acl2_7.2dfsg-3_amd64.deb 181289402016-Oct-17 23:35
acl2_7.2dfsg-3_arm64.deb 156620642016-Oct-18 14:59
acl2_7.2dfsg-3_armel.deb 144489922016-Oct-19 14:29
acl2_7.2dfsg-3_armhf.deb 146672662016-Oct-19 10:33
acl2_7.2dfsg-3_i386.deb 156124462016-Oct-18 08:35
acl2_7.2dfsg-3_mips.deb 157774222016-Oct-19 00:12
acl2_7.2dfsg-3_mips64el.deb 156386342016-Oct-20 09:31
acl2_7.2dfsg-3_mipsel.deb 158622642016-Oct-19 23:45
acl2_7.2dfsg-3_ppc64el.deb 163529702016-Oct-18 07:34
acl2_7.2dfsg-3_s390x.deb 160409302016-Oct-18 16:30
acl2_7.2dfsg.orig.tar.gz 644117492016-Apr-14 22:54
acl2_8.0dfsg-1+b1_armel.deb 167261922019-Feb-14 22:00
acl2_8.0dfsg-1.debian.tar.xz 2047602018-Jan-13 22:52
acl2_8.0dfsg-1.dsc 22452018-Jan-13 22:52
acl2_8.0dfsg-1_amd64.deb 198558962018-Jan-13 22:52
acl2_8.0dfsg-1_arm64.deb 178621082018-Jan-14 11:47
acl2_8.0dfsg-1_armhf.deb 161758242018-Jan-15 17:46
acl2_8.0dfsg-1_i386.deb 169948082018-Jan-14 06:26
acl2_8.0dfsg-1_mips.deb 173335082018-Jan-16 15:15
acl2_8.0dfsg-1_mips64el.deb 172483122018-Jan-16 12:44
acl2_8.0dfsg-1_mipsel.deb 174849282018-Jan-16 14:14
acl2_8.0dfsg-1_ppc64el.deb 194440242018-Jan-14 05:26
acl2_8.0dfsg-1_s390x.deb 180819962018-Jan-14 05:41
acl2_8.0dfsg.orig.tar.gz 776355712018-Jan-13 22:52
acl2_8.3dfsg-2.debian.tar.xz 2283202021-Jan-27 23:34
acl2_8.3dfsg-2.dsc 22752021-Jan-27 23:34
acl2_8.3dfsg-2_amd64.deb 214812922021-Jan-28 06:57
acl2_8.3dfsg-2_arm64.deb 198922362021-Jan-29 00:43
acl2_8.3dfsg-2_armel.deb 184213242021-Jan-28 16:13
acl2_8.3dfsg-2_armhf.deb 185760362021-Jan-28 15:42
acl2_8.3dfsg-2_i386.deb 194870922021-Jan-28 07:22
acl2_8.3dfsg-2_mips64el.deb 192630522021-Jan-31 04:12
acl2_8.3dfsg-2_mipsel.deb 197159162021-Jan-29 18:42
acl2_8.3dfsg-2_ppc64el.deb 226097402021-Jan-28 08:44
acl2_8.3dfsg-2_s390x.deb 206692722021-Jan-28 11:35
acl2_8.3dfsg.orig.tar.gz 1172609022020-Aug-24 11:39