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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-books_7.2dfsg-3_mips64el.deb108.2 MiB2016-Oct-20 00:31
acl2-infix_7.2dfsg-3_mips64el.deb423.7 KiB2016-Oct-20 00:31
acl2_7.2dfsg-3_mips64el.deb14.9 MiB2016-Oct-20 00:31
acl2-books_7.2dfsg-3_arm64.deb104.5 MiB2016-Oct-18 05:59
acl2-infix_7.2dfsg-3_arm64.deb420.2 KiB2016-Oct-18 05:59
acl2_7.2dfsg-3_arm64.deb14.9 MiB2016-Oct-18 05:59
acl2-books_7.2dfsg-3_ppc64el.deb98.8 MiB2016-Oct-17 22:34
acl2-infix_7.2dfsg-3_ppc64el.deb412.9 KiB2016-Oct-17 22:34
acl2_7.2dfsg-3_ppc64el.deb15.6 MiB2016-Oct-17 22:34
acl2_7.2dfsg-3_amd64.deb17.3 MiB2016-Oct-17 14:35
acl2-emacs_7.2dfsg-3_all.deb62.6 KiB2016-Oct-17 14:35
acl2-books-certs_7.2dfsg-3_all.deb52.3 MiB2016-Oct-17 14:35
acl2-books-source_7.2dfsg-3_all.deb10.4 MiB2016-Oct-17 14:35
acl2-source_7.2dfsg-3_all.deb2.8 MiB2016-Oct-17 14:35
acl2-books_7.2dfsg-3_amd64.deb103.1 MiB2016-Oct-17 14:35
acl2-infix_7.2dfsg-3_amd64.deb409.9 KiB2016-Oct-17 14:35
acl2-doc_7.2dfsg-3_all.deb372.3 KiB2016-Oct-17 14:35
acl2-infix-source_7.2dfsg-3_all.deb77.0 KiB2016-Oct-17 14:35
acl2_7.2dfsg-3.debian.tar.xz199.4 KiB2016-Oct-17 14:35
acl2_7.2dfsg-3.dsc2.2 KiB2016-Oct-17 14:35
acl2_7.2dfsg.orig.tar.gz61.4 MiB2016-Apr-14 13:54
acl2-books_6.5-2~bpo70+1_amd64.deb47.4 MiB2015-Jan-14 16:26
acl2-infix_6.5-2~bpo70+1_amd64.deb219.3 KiB2015-Jan-14 16:26
acl2_6.5-2~bpo70+1_amd64.deb23.9 MiB2015-Jan-14 16:26
acl2-emacs_6.5-2~bpo70+1_all.deb71.2 KiB2015-Jan-14 16:26
acl2-books-certs_6.5-2~bpo70+1_all.deb18.7 MiB2015-Jan-14 16:26
acl2-books-source_6.5-2~bpo70+1_all.deb10.2 MiB2015-Jan-14 16:26
acl2-source_6.5-2~bpo70+1_all.deb3.7 MiB2015-Jan-14 16:26
acl2-doc_6.5-2~bpo70+1_all.deb2.2 MiB2015-Jan-14 16:26
acl2-infix-source_6.5-2~bpo70+1_all.deb90.0 KiB2015-Jan-14 16:26
acl2_6.5-2~bpo70+1.debian.tar.gz159.6 KiB2015-Jan-14 16:26
acl2_6.5-2~bpo70+1.dsc2.3 KiB2015-Jan-14 16:26
acl2-infix_6.5-2_arm64.deb149.3 KiB2014-Sep-16 23:00
acl2-books_6.5-2_arm64.deb21.8 MiB2014-Sep-16 23:00
acl2_6.5-2_arm64.deb14.2 MiB2014-Sep-16 23:00
acl2-books_6.5-2_ppc64el.deb19.1 MiB2014-Sep-09 04:07
acl2-infix_6.5-2_ppc64el.deb152.3 KiB2014-Sep-09 04:07
acl2_6.5-2_ppc64el.deb13.5 MiB2014-Sep-09 04:07
acl2-emacs_6.5-2_all.deb59.4 KiB2014-Sep-08 14:35
acl2-books-certs_6.5-2_all.deb6.2 MiB2014-Sep-08 14:35
acl2-infix_6.5-2_amd64.deb146.5 KiB2014-Sep-08 14:35
acl2-books-source_6.5-2_all.deb6.6 MiB2014-Sep-08 14:35
acl2-source_6.5-2_all.deb2.6 MiB2014-Sep-08 14:35
acl2-books_6.5-2_amd64.deb22.1 MiB2014-Sep-08 14:35
acl2-doc_6.5-2_all.deb1.6 MiB2014-Sep-08 14:35
acl2-infix-source_6.5-2_all.deb77.6 KiB2014-Sep-08 14:35
acl2_6.5-2.debian.tar.xz125.3 KiB2014-Sep-08 14:35
acl2_6.5-2.dsc1.8 KiB2014-Sep-08 14:35
acl2_6.5-2_amd64.deb15.6 MiB2014-Sep-08 14:35
acl2_6.5.orig-books.tar.gz14.3 MiB2014-Aug-17 15:21
acl2_6.5.orig.tar.gz5.9 MiB2014-Aug-17 15:21
acl2-infix_4.3-3_amd64.deb198.9 KiB2012-Apr-21 00:02
acl2-books_4.3-3_amd64.deb15.2 MiB2012-Apr-21 00:02
acl2_4.3-3_amd64.deb27.0 MiB2012-Apr-21 00:02
acl2-books-certs_4.3-3_all.deb4.2 MiB2012-Apr-20 19:38
acl2-infix-source_4.3-3_all.deb89.3 KiB2012-Apr-20 19:38
acl2-books-source_4.3-3_all.deb6.2 MiB2012-Apr-20 19:38
acl2-emacs_4.3-3_all.deb59.4 KiB2012-Apr-20 19:38
acl2-source_4.3-3_all.deb3.1 MiB2012-Apr-20 19:38
acl2-doc_4.3-3_all.deb353.8 KiB2012-Apr-20 19:38
acl2_4.3-3.debian.tar.gz17.9 KiB2012-Apr-20 19:38
acl2_4.3-3.dsc1.5 KiB2012-Apr-20 19:38
acl2_4.3.orig.tar.gz14.5 MiB2012-Jan-11 19:47
acl2-infix_4.0-3_amd64.deb420.5 KiB2010-Jul-09 21:32
acl2-books_4.0-3_amd64.deb36.7 MiB2010-Jul-09 21:32
acl2_4.0-3_amd64.deb25.0 MiB2010-Jul-09 21:32
acl2-books-certs_4.0-3_all.deb1.9 MiB2010-Jul-09 17:02
acl2-infix-source_4.0-3_all.deb87.2 KiB2010-Jul-09 17:02
acl2-books-source_4.0-3_all.deb5.0 MiB2010-Jul-09 17:02
acl2-source_4.0-3_all.deb2.9 MiB2010-Jul-09 17:02
acl2-doc_4.0-3_all.deb2.7 MiB2010-Jul-09 17:02
acl2_4.0-3.diff.gz15.6 KiB2010-Jul-09 17:02
acl2_4.0-3.dsc1.1 KiB2010-Jul-09 17:02
acl2-emacs_4.0-3_all.deb56.8 KiB2010-Jul-09 17:02
acl2_4.0.orig.tar.gz10.9 MiB2010-Jul-08 04:47
acl2-infix_3.1-1_arm.deb185.7 KiB2006-Dec-18 17:00
acl2-books_3.1-1_arm.deb1.6 MiB2006-Dec-18 17:00
acl2_3.1-1_arm.deb16.0 MiB2006-Dec-18 17:00
acl2-books_3.1-1_amd64.deb2.2 MiB2006-Dec-04 21:47
acl2_3.1-1_amd64.deb17.7 MiB2006-Dec-04 21:47
acl2-infix_3.1-1_amd64.deb194.0 KiB2006-Dec-04 21:47
acl2-books-certs_3.1-1_all.deb4.7 MiB2006-Dec-04 19:47
acl2-infix-source_3.1-1_all.deb83.3 KiB2006-Dec-04 19:47
acl2-books-source_3.1-1_all.deb2.1 MiB2006-Dec-04 19:47
acl2-source_3.1-1_all.deb2.2 MiB2006-Dec-04 19:47
acl2-doc_3.1-1_all.deb1.9 MiB2006-Dec-04 19:47
acl2_3.1-1.diff.gz13.0 KiB2006-Dec-04 19:47
acl2_3.1-1.dsc822 B2006-Dec-04 19:47
acl2_3.1.orig.tar.gz6.4 MiB2006-Dec-04 19:47
acl2-emacs_3.1-1_all.deb49.4 KiB2006-Dec-04 19:47
acl2_2.9-2.dsc794 B2005-Apr-30 11:19
acl2_2.9.orig.tar.gz5.0 MiB2005-Apr-30 11:19
acl2-emacs_2.9-2_all.deb47.6 KiB2005-Apr-30 11:19
acl2-books_2.9-2_arm.deb903.7 KiB2004-Nov-15 00:17
acl2_2.9-2_arm.deb13.8 MiB2004-Nov-15 00:17
acl2-infix_2.9-2_arm.deb204.2 KiB2004-Nov-15 00:17
acl2-books-certs_2.9-2_all.deb288.9 KiB2004-Nov-11 03:02
acl2-infix-source_2.9-2_all.deb82.3 KiB2004-Nov-11 03:02
acl2-books-source_2.9-2_all.deb1.2 MiB2004-Nov-11 03:02
acl2_2.9-2.diff.gz17.7 KiB2004-Nov-11 03:02
acl2-doc_2.9-2_all.deb1.7 MiB2004-Nov-11 03:02
acl2-source_2.9-2_all.deb2.0 MiB2004-Nov-11 03:02