/Operating Systems/Linux/Debian/mirror/main/a/acl2/ Up
Name      Date      Size
acl2-books-certs_2.9-2_all.deb      2004-11-11      289 KB
acl2-books-certs_3.1-1_all.deb      2006-12-04      5 MB
acl2-books-certs_4.0-3_all.deb      2010-07-09      2 MB
acl2-books-certs_4.3-3_all.deb      2012-04-20      4 MB
acl2-books-certs_6.5-2_all.deb      2014-09-08      6 MB
acl2-books-certs_6.5-2~bpo70+1_all.deb      2015-01-14      19 MB
acl2-books-certs_7.2dfsg-3_all.deb      2016-10-17      52 MB
acl2-books-source_2.9-2_all.deb      2004-11-11      1 MB
acl2-books-source_3.1-1_all.deb      2006-12-04      2 MB
acl2-books-source_4.0-3_all.deb      2010-07-09      5 MB
acl2-books-source_4.3-3_all.deb      2012-04-20      6 MB
acl2-books-source_6.5-2_all.deb      2014-09-08      7 MB
acl2-books-source_6.5-2~bpo70+1_all.deb      2015-01-14      10 MB
acl2-books-source_7.2dfsg-3_all.deb      2016-10-17      10 MB
acl2-books_2.9-2_alpha.deb      2004-11-11      1 MB
acl2-books_2.9-2_arm.deb      2004-11-15      904 KB
acl2-books_2.9-2_hppa.deb      2004-11-25      6 MB
acl2-books_2.9-2_i386.deb      2004-11-11      814 KB
acl2-books_2.9-2_ia64.deb      2004-11-25      1 MB
acl2-books_2.9-2_m68k.deb      2004-11-16      782 KB
acl2-books_2.9-2_mips.deb      2004-11-16      1 MB
acl2-books_2.9-2_mipsel.deb      2004-11-12      1 MB
acl2-books_2.9-2_powerpc.deb      2004-11-11      1 MB
acl2-books_2.9-2_s390.deb      2004-11-11      923 KB
acl2-books_2.9-2_sparc.deb      2004-11-28      972 KB
acl2-books_3.1-1_alpha.deb      2006-12-05      3 MB
acl2-books_3.1-1_amd64.deb      2006-12-04      2 MB
acl2-books_3.1-1_arm.deb      2006-12-18      2 MB
acl2-books_3.1-1_hppa.deb      2006-12-12      7 MB
acl2-books_3.1-1_i386.deb      2006-12-04      2 MB
acl2-books_3.1-1_ia64.deb      2006-12-05      3 MB
acl2-books_3.1-1_m68k.deb      2007-02-12      2 MB
acl2-books_3.1-1_mips.deb      2006-12-12      2 MB
acl2-books_3.1-1_mipsel.deb      2007-01-08      2 MB
acl2-books_3.1-1_powerpc.deb      2006-12-05      2 MB
acl2-books_3.1-1_s390.deb      2006-12-05      2 MB
acl2-books_3.1-1_sparc.deb      2006-12-31      2 MB
acl2-books_4.0-3_amd64.deb      2010-07-09      37 MB
acl2-books_4.0-3_armel.deb      2010-07-11      33 MB
acl2-books_4.0-3_i386.deb      2010-07-09      32 MB
acl2-books_4.0-3_ia64.deb      2010-07-10      40 MB
acl2-books_4.0-3_kfreebsd-amd64.deb      2010-07-09      37 MB
acl2-books_4.0-3_kfreebsd-i386.deb      2010-07-09      32 MB
acl2-books_4.0-3_mips.deb      2010-07-23      37 MB
acl2-books_4.0-3_mipsel.deb      2010-07-19      13 MB
acl2-books_4.0-3_powerpc.deb      2010-07-19      42 MB
acl2-books_4.0-3_s390.deb      2010-07-10      40 MB
acl2-books_4.0-3_sparc.deb      2010-07-17      35 MB
acl2-books_4.3-3_amd64.deb      2012-04-21      15 MB
acl2-books_4.3-3_armel.deb      2012-04-22      36 MB
acl2-books_4.3-3_armhf.deb      2012-04-21      36 MB
acl2-books_4.3-3_i386.deb      2012-04-20      13 MB
acl2-books_4.3-3_ia64.deb      2012-04-23      18 MB
acl2-books_4.3-3_kfreebsd-amd64.deb      2012-04-21      15 MB
acl2-books_4.3-3_kfreebsd-i386.deb      2012-04-21      13 MB
acl2-books_4.3-3_mips.deb      2012-04-21      16 MB
acl2-books_4.3-3_mipsel.deb      2012-04-26      15 MB
acl2-books_4.3-3_powerpc.deb      2012-04-21      15 MB
acl2-books_4.3-3_s390.deb      2012-04-20      13 MB
acl2-books_4.3-3_s390x.deb      2012-04-21      15 MB
acl2-books_4.3-3_sparc.deb      2012-04-21      15 MB
acl2-books_6.5-2_amd64.deb      2014-09-08      22 MB
acl2-books_6.5-2_arm64.deb      2014-09-16      22 MB
acl2-books_6.5-2_armel.deb      2014-09-09      65 MB
acl2-books_6.5-2_armhf.deb      2014-09-12      67 MB
acl2-books_6.5-2_i386.deb      2014-09-08      21 MB
acl2-books_6.5-2_kfreebsd-amd64.deb      2014-09-09      22 MB
acl2-books_6.5-2_kfreebsd-i386.deb      2014-09-09      18 MB
acl2-books_6.5-2_mips.deb      2014-10-02      20 MB
acl2-books_6.5-2_mipsel.deb      2014-09-28      20 MB
acl2-books_6.5-2_powerpc.deb      2014-09-08      18 MB
acl2-books_6.5-2_ppc64el.deb      2014-09-09      19 MB
acl2-books_6.5-2_s390x.deb      2014-09-09      20 MB
acl2-books_6.5-2~bpo70+1_amd64.deb      2015-01-14      47 MB
acl2-books_7.2dfsg-3_amd64.deb      2016-10-17      103 MB
acl2-books_7.2dfsg-3_arm64.deb      2016-10-18      104 MB
acl2-books_7.2dfsg-3_armel.deb      2016-10-19      86 MB
acl2-books_7.2dfsg-3_armhf.deb      2016-10-19      92 MB
acl2-books_7.2dfsg-3_i386.deb      2016-10-17      86 MB
acl2-books_7.2dfsg-3_mips.deb      2016-10-18      71 MB
acl2-books_7.2dfsg-3_mips64el.deb      2016-10-20      108 MB
acl2-books_7.2dfsg-3_mipsel.deb      2016-10-19      74 MB
acl2-books_7.2dfsg-3_ppc64el.deb      2016-10-17      99 MB
acl2-books_7.2dfsg-3_s390x.deb      2016-10-18      102 MB
acl2-doc_2.9-2_all.deb      2004-11-11      2 MB
acl2-doc_3.1-1_all.deb      2006-12-04      2 MB
acl2-doc_4.0-3_all.deb      2010-07-09      3 MB
acl2-doc_4.3-3_all.deb      2012-04-20      354 KB
acl2-doc_6.5-2_all.deb      2014-09-08      2 MB
acl2-doc_6.5-2~bpo70+1_all.deb      2015-01-14      2 MB
acl2-doc_7.2dfsg-3_all.deb      2016-10-17      372 KB
acl2-emacs_2.9-2_all.deb      2005-04-30      48 KB
acl2-emacs_3.1-1_all.deb      2006-12-04      49 KB
acl2-emacs_4.0-3_all.deb      2010-07-09      57 KB
acl2-emacs_4.3-3_all.deb      2012-04-20      59 KB
acl2-emacs_6.5-2_all.deb      2014-09-08      59 KB
acl2-emacs_6.5-2~bpo70+1_all.deb      2015-01-14      71 KB
acl2-emacs_7.2dfsg-3_all.deb      2016-10-17      63 KB
acl2-infix-source_2.9-2_all.deb      2004-11-11      82 KB
acl2-infix-source_3.1-1_all.deb      2006-12-04      83 KB
acl2-infix-source_4.0-3_all.deb      2010-07-09      87 KB
acl2-infix-source_4.3-3_all.deb      2012-04-20      89 KB
acl2-infix-source_6.5-2_all.deb      2014-09-08      78 KB
acl2-infix-source_6.5-2~bpo70+1_all.deb      2015-01-14      90 KB
acl2-infix-source_7.2dfsg-3_all.deb      2016-10-17      77 KB
acl2-infix_2.9-2_alpha.deb      2004-11-11      285 KB
acl2-infix_2.9-2_arm.deb      2004-11-15      204 KB
acl2-infix_2.9-2_hppa.deb      2004-11-25      382 KB
acl2-infix_2.9-2_i386.deb      2004-11-11      177 KB
acl2-infix_2.9-2_ia64.deb      2004-11-25      344 KB
acl2-infix_2.9-2_m68k.deb      2004-11-16      174 KB
acl2-infix_2.9-2_mips.deb      2004-11-16      251 KB
acl2-infix_2.9-2_mipsel.deb      2004-11-12      239 KB
acl2-infix_2.9-2_powerpc.deb      2004-11-11      307 KB
acl2-infix_2.9-2_s390.deb      2004-11-11      178 KB
acl2-infix_2.9-2_sparc.deb      2004-11-28      249 KB
acl2-infix_3.1-1_alpha.deb      2006-12-05      251 KB
acl2-infix_3.1-1_amd64.deb      2006-12-04      194 KB
acl2-infix_3.1-1_arm.deb      2006-12-18      186 KB
acl2-infix_3.1-1_hppa.deb      2006-12-12      408 KB
acl2-infix_3.1-1_i386.deb      2006-12-04      168 KB
acl2-infix_3.1-1_ia64.deb      2006-12-05      297 KB
acl2-infix_3.1-1_m68k.deb      2007-02-12      191 KB
acl2-infix_3.1-1_mips.deb      2006-12-12      197 KB
acl2-infix_3.1-1_mipsel.deb      2007-01-08      192 KB
acl2-infix_3.1-1_powerpc.deb      2006-12-05      243 KB
acl2-infix_3.1-1_s390.deb      2006-12-05      162 KB
acl2-infix_3.1-1_sparc.deb      2006-12-31      218 KB
acl2-infix_4.0-3_amd64.deb      2010-07-09      420 KB
acl2-infix_4.0-3_armel.deb      2010-07-11      384 KB
acl2-infix_4.0-3_i386.deb      2010-07-09      381 KB
acl2-infix_4.0-3_ia64.deb      2010-07-10      560 KB
acl2-infix_4.0-3_kfreebsd-amd64.deb      2010-07-09      421 KB
acl2-infix_4.0-3_kfreebsd-i386.deb      2010-07-09      380 KB
acl2-infix_4.0-3_mips.deb      2010-07-23      427 KB
acl2-infix_4.0-3_mipsel.deb      2010-07-19      187 KB
acl2-infix_4.0-3_powerpc.deb      2010-07-19      511 KB
acl2-infix_4.0-3_s390.deb      2010-07-10      449 KB
acl2-infix_4.0-3_sparc.deb      2010-07-17      442 KB
acl2-infix_4.3-3_amd64.deb      2012-04-21      199 KB
acl2-infix_4.3-3_armel.deb      2012-04-22      369 KB
acl2-infix_4.3-3_armhf.deb      2012-04-21      401 KB
acl2-infix_4.3-3_i386.deb      2012-04-20      180 KB
acl2-infix_4.3-3_ia64.deb      2012-04-23      256 KB
acl2-infix_4.3-3_kfreebsd-amd64.deb      2012-04-21      201 KB
acl2-infix_4.3-3_kfreebsd-i386.deb      2012-04-21      178 KB
acl2-infix_4.3-3_mips.deb      2012-04-21      226 KB
acl2-infix_4.3-3_mipsel.deb      2012-04-26      214 KB
acl2-infix_4.3-3_powerpc.deb      2012-04-21      218 KB
acl2-infix_4.3-3_s390.deb      2012-04-20      167 KB
acl2-infix_4.3-3_s390x.deb      2012-04-21      190 KB
acl2-infix_4.3-3_sparc.deb      2012-04-21      212 KB
acl2-infix_6.5-2_amd64.deb      2014-09-08      147 KB
acl2-infix_6.5-2_arm64.deb      2014-09-16      149 KB
acl2-infix_6.5-2_armel.deb      2014-09-09      403 KB
acl2-infix_6.5-2_armhf.deb      2014-09-12      424 KB
acl2-infix_6.5-2_i386.deb      2014-09-08      148 KB
acl2-infix_6.5-2_kfreebsd-amd64.deb      2014-09-09      145 KB
acl2-infix_6.5-2_kfreebsd-i386.deb      2014-09-09      147 KB
acl2-infix_6.5-2_mips.deb      2014-10-02      145 KB
acl2-infix_6.5-2_mipsel.deb      2014-09-28      146 KB
acl2-infix_6.5-2_powerpc.deb      2014-09-08      136 KB
acl2-infix_6.5-2_ppc64el.deb      2014-09-09      152 KB
acl2-infix_6.5-2_s390x.deb      2014-09-09      138 KB
acl2-infix_6.5-2~bpo70+1_amd64.deb      2015-01-14      219 KB
acl2-infix_7.2dfsg-3_amd64.deb      2016-10-17      410 KB
acl2-infix_7.2dfsg-3_arm64.deb      2016-10-18      420 KB
acl2-infix_7.2dfsg-3_armel.deb      2016-10-19      382 KB
acl2-infix_7.2dfsg-3_armhf.deb      2016-10-19      401 KB
acl2-infix_7.2dfsg-3_i386.deb      2016-10-17      381 KB
acl2-infix_7.2dfsg-3_mips.deb      2016-10-18      408 KB
acl2-infix_7.2dfsg-3_mips64el.deb      2016-10-20      424 KB
acl2-infix_7.2dfsg-3_mipsel.deb      2016-10-19      426 KB
acl2-infix_7.2dfsg-3_ppc64el.deb      2016-10-17      413 KB
acl2-infix_7.2dfsg-3_s390x.deb      2016-10-18      408 KB
acl2-source_2.9-2_all.deb      2004-11-11      2 MB
acl2-source_3.1-1_all.deb      2006-12-04      2 MB
acl2-source_4.0-3_all.deb      2010-07-09      3 MB
acl2-source_4.3-3_all.deb      2012-04-20      3 MB
acl2-source_6.5-2_all.deb      2014-09-08      3 MB
acl2-source_6.5-2~bpo70+1_all.deb      2015-01-14      4 MB
acl2-source_7.2dfsg-3_all.deb      2016-10-17      3 MB
acl2_2.9-2.diff.gz      2004-11-11      18 KB
acl2_2.9-2.dsc      2005-04-30      Infinity Bytes
acl2_2.9-2_alpha.deb      2004-11-11      15 MB
acl2_2.9-2_arm.deb      2004-11-15      14 MB
acl2_2.9-2_hppa.deb      2004-11-25      14 MB
acl2_2.9-2_i386.deb      2004-11-11      13 MB
acl2_2.9-2_ia64.deb      2004-11-25      16 MB
acl2_2.9-2_m68k.deb      2004-11-16      13 MB
acl2_2.9-2_mips.deb      2004-11-16      14 MB
acl2_2.9-2_mipsel.deb      2004-11-12      13 MB
acl2_2.9-2_powerpc.deb      2004-11-11      15 MB
acl2_2.9-2_s390.deb      2004-11-11      14 MB
acl2_2.9-2_sparc.deb      2004-11-28      21 MB
acl2_2.9.orig.tar.gz      2005-04-30      5 MB
acl2_3.1-1.diff.gz      2006-12-04      13 KB
acl2_3.1-1.dsc      2006-12-04      Infinity Bytes
acl2_3.1-1_alpha.deb      2006-12-05      16 MB
acl2_3.1-1_amd64.deb      2006-12-04      18 MB
acl2_3.1-1_arm.deb      2006-12-18      16 MB
acl2_3.1-1_hppa.deb      2006-12-12      15 MB
acl2_3.1-1_i386.deb      2006-12-04      15 MB
acl2_3.1-1_ia64.deb      2006-12-05      17 MB
acl2_3.1-1_m68k.deb      2007-02-12      15 MB
acl2_3.1-1_mips.deb      2006-12-12      15 MB
acl2_3.1-1_mipsel.deb      2007-01-08      14 MB
acl2_3.1-1_powerpc.deb      2006-12-05      17 MB
acl2_3.1-1_s390.deb      2006-12-05      16 MB
acl2_3.1-1_sparc.deb      2006-12-31      17 MB
acl2_3.1.orig.tar.gz      2006-12-04      6 MB
acl2_4.0-3.diff.gz      2010-07-09      16 KB
acl2_4.0-3.dsc      2010-07-09      1 KB
acl2_4.0-3_amd64.deb      2010-07-09      25 MB
acl2_4.0-3_armel.deb      2010-07-11      22 MB
acl2_4.0-3_i386.deb      2010-07-09      21 MB
acl2_4.0-3_ia64.deb      2010-07-10      24 MB
acl2_4.0-3_kfreebsd-amd64.deb      2010-07-09      25 MB
acl2_4.0-3_kfreebsd-i386.deb      2010-07-09      21 MB
acl2_4.0-3_mips.deb      2010-07-23      22 MB
acl2_4.0-3_mipsel.deb      2010-07-19      21 MB
acl2_4.0-3_powerpc.deb      2010-07-19      24 MB
acl2_4.0-3_s390.deb      2010-07-10      24 MB
acl2_4.0-3_sparc.deb      2010-07-17      26 MB
acl2_4.0.orig.tar.gz      2010-07-08      11 MB
acl2_4.3-3.debian.tar.gz      2012-04-20      18 KB
acl2_4.3-3.dsc      2012-04-20      1 KB
acl2_4.3-3_amd64.deb      2012-04-21      27 MB
acl2_4.3-3_armel.deb      2012-04-22      23 MB
acl2_4.3-3_armhf.deb      2012-04-21      22 MB
acl2_4.3-3_i386.deb      2012-04-20      23 MB
acl2_4.3-3_ia64.deb      2012-04-23      25 MB
acl2_4.3-3_kfreebsd-amd64.deb      2012-04-21      27 MB
acl2_4.3-3_kfreebsd-i386.deb      2012-04-21      23 MB
acl2_4.3-3_mips.deb      2012-04-21      24 MB
acl2_4.3-3_mipsel.deb      2012-04-26      23 MB
acl2_4.3-3_powerpc.deb      2012-04-21      25 MB
acl2_4.3-3_s390.deb      2012-04-20      25 MB
acl2_4.3-3_s390x.deb      2012-04-21      29 MB
acl2_4.3-3_sparc.deb      2012-04-21      27 MB
acl2_4.3.orig.tar.gz      2012-01-11      15 MB
acl2_6.5-2.debian.tar.xz      2014-09-08      125 KB
acl2_6.5-2.dsc      2014-09-08      2 KB
acl2_6.5-2_amd64.deb      2014-09-08      16 MB
acl2_6.5-2_arm64.deb      2014-09-16      14 MB
acl2_6.5-2_armel.deb      2014-09-09      13 MB
acl2_6.5-2_armhf.deb      2014-09-12      14 MB
acl2_6.5-2_i386.deb      2014-09-08      13 MB
acl2_6.5-2_kfreebsd-amd64.deb      2014-09-09      16 MB
acl2_6.5-2_kfreebsd-i386.deb      2014-09-09      13 MB
acl2_6.5-2_mips.deb      2014-10-02      13 MB
acl2_6.5-2_mipsel.deb      2014-09-28      13 MB
acl2_6.5-2_powerpc.deb      2014-09-08      13 MB
acl2_6.5-2_ppc64el.deb      2014-09-09      14 MB
acl2_6.5-2_s390x.deb      2014-09-09      15 MB
acl2_6.5-2~bpo70+1.debian.tar.gz      2015-01-14      160 KB
acl2_6.5-2~bpo70+1.dsc      2015-01-14      2 KB
acl2_6.5-2~bpo70+1_amd64.deb      2015-01-14      24 MB
acl2_6.5.orig-books.tar.gz      2014-08-17      14 MB
acl2_6.5.orig.tar.gz      2014-08-17      6 MB
acl2_7.2dfsg-3.debian.tar.xz      2016-10-17      199 KB
acl2_7.2dfsg-3.dsc      2016-10-17      2 KB
acl2_7.2dfsg-3_amd64.deb      2016-10-17      17 MB
acl2_7.2dfsg-3_arm64.deb      2016-10-18      15 MB
acl2_7.2dfsg-3_armel.deb      2016-10-19      14 MB
acl2_7.2dfsg-3_armhf.deb      2016-10-19      14 MB
acl2_7.2dfsg-3_i386.deb      2016-10-17      15 MB
acl2_7.2dfsg-3_mips.deb      2016-10-18      15 MB
acl2_7.2dfsg-3_mips64el.deb      2016-10-20      15 MB
acl2_7.2dfsg-3_mipsel.deb      2016-10-19      15 MB
acl2_7.2dfsg-3_ppc64el.deb      2016-10-17      16 MB
acl2_7.2dfsg-3_s390x.deb      2016-10-18      15 MB
acl2_7.2dfsg.orig.tar.gz      2016-04-14      61 MB
index.html      2024-02-25      59 KB
index.html?C=M;O=A      2024-02-24      59 KB
index.html?C=N;O=D      2024-02-24      59 KB
index.html?C=S;O=A      2024-02-24      59 KB

made by Digital Vintage with nginx-s3-gateway and some magic
digitalvintage.ru
t.me/digitalvintage_ru
instagram.com/digitalvintage.ru

All the software, information and any other data provided here
is intended only for education and research usage. Contact software vendor
and obtain a license if you plan commercial or any prolonged use.