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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-books_8.0dfsg-1_i386.deb 114M2018-Jan-14 04:49
acl2-infix_8.0dfsg-1_i386.deb 381K2018-Jan-14 04:49
acl2_8.0dfsg-1_i386.deb 16M2018-Jan-14 04:49
acl2-emacs_8.0dfsg-1_all.deb 59K2018-Jan-14 03:08
acl2-books-certs_8.0dfsg-1_all.deb 70M2018-Jan-14 03:08
acl2-books-source_8.0dfsg-1_all.deb 12M2018-Jan-14 03:08
acl2-books_8.0dfsg-1_amd64.deb 132M2018-Jan-14 03:08
acl2_8.0dfsg-1_amd64.deb 19M2018-Jan-14 03:08
acl2-source_8.0dfsg-1_all.deb 3M2018-Jan-14 03:08
acl2-doc_8.0dfsg-1_all.deb 385K2018-Jan-14 03:08
acl2-infix_8.0dfsg-1_amd64.deb 414K2018-Jan-14 03:08
acl2-infix-source_8.0dfsg-1_all.deb 70K2018-Jan-14 03:08
acl2_8.0dfsg.orig.tar.gz 74M2018-Jan-13 23:08
acl2_8.0dfsg-1.debian.tar.xz 200K2018-Jan-13 23:08
acl2_8.0dfsg-1.dsc 22452018-Jan-13 23:08
acl2_7.2dfsg-2_i386.deb 15M2016-May-05 07:09
acl2-books_7.2dfsg-2_i386.deb 88M2016-May-05 07:09
acl2-infix_7.2dfsg-2_i386.deb 369K2016-May-05 07:09
acl2-books-certs_7.2dfsg-2_all.deb 52M2016-May-05 06:24
acl2_7.2dfsg-2_amd64.deb 17M2016-May-05 06:24
acl2-emacs_7.2dfsg-2_all.deb 56K2016-May-05 06:24
acl2-books_7.2dfsg-2_amd64.deb 102M2016-May-05 06:24
acl2-infix-source_7.2dfsg-2_all.deb 71K2016-May-05 06:24
acl2-source_7.2dfsg-2_all.deb 3M2016-May-05 06:24
acl2-books-source_7.2dfsg-2_all.deb 11M2016-May-05 06:24
acl2-infix_7.2dfsg-2_amd64.deb 392K2016-May-05 06:24
acl2-doc_7.2dfsg-2_all.deb 366K2016-May-05 06:24
acl2_7.2dfsg-2.dsc 22312016-May-04 23:29
acl2_7.2dfsg-2.debian.tar.xz 199K2016-May-04 23:29
acl2_7.2dfsg.orig.tar.gz 61M2016-Apr-26 22:12
acl2-source_7.1-1_all.deb 3M2015-Jun-27 13:48
acl2_7.1-1_amd64.deb 16M2015-Jun-27 13:48
acl2-infix-source_7.1-1_all.deb 70K2015-Jun-27 13:48
acl2-books-source_7.1-1_all.deb 10M2015-Jun-27 13:48
acl2-emacs_7.1-1_all.deb 55K2015-Jun-27 13:48
acl2-infix_7.1-1_amd64.deb 140K2015-Jun-27 13:48
acl2-doc_7.1-1_all.deb 353K2015-Jun-27 13:48
acl2-books_7.1-1_amd64.deb 19M2015-Jun-27 13:48
acl2-books-certs_7.1-1_all.deb 13M2015-Jun-27 13:48
acl2_7.1-1_i386.deb 16M2015-Jun-02 02:43
acl2-infix_7.1-1_i386.deb 142K2015-Jun-02 02:43
acl2-books_7.1-1_i386.deb 18M2015-Jun-02 02:43
acl2_7.1-1.dsc 22032015-Jun-01 23:24
acl2_7.1.orig.tar.gz 60M2015-Jun-01 23:24
acl2_7.1-1.debian.tar.xz 126K2015-Jun-01 23:24
acl2-books_6.3-5_i386.deb 36M2013-Oct-24 16:36
acl2-infix_6.3-5_i386.deb 189K2013-Oct-24 16:36
acl2_6.3-5_i386.deb 23M2013-Oct-24 16:36
acl2_6.3-5_amd64.deb 27M2013-Oct-24 16:36
acl2-infix_6.3-5_amd64.deb 200K2013-Oct-24 16:36
acl2-books_6.3-5_amd64.deb 40M2013-Oct-24 16:36
acl2-doc_6.3-5_all.deb 12M2013-Oct-24 16:36
acl2-books-source_6.3-5_all.deb 9M2013-Oct-24 16:36
acl2-emacs_6.3-5_all.deb 55K2013-Oct-24 16:36
acl2-infix-source_6.3-5_all.deb 86K2013-Oct-24 16:36
acl2-books-certs_6.3-5_all.deb 11M2013-Oct-24 16:36
acl2-source_6.3-5_all.deb 4M2013-Oct-24 16:36
acl2_6.3-5.dsc 17492013-Oct-21 13:09
acl2_6.3.orig-books.tar.gz 13M2013-Oct-21 13:09
acl2_6.3.orig.tar.gz 7M2013-Oct-21 13:09
acl2_6.3-5.debian.tar.gz 158K2013-Oct-21 13:09
acl2_4.2-1_amd64.deb 25M2011-Sep-02 04:04
acl2-books_4.2-1_amd64.deb 39M2011-Sep-02 04:04
acl2-infix_4.2-1_amd64.deb 438K2011-Sep-02 04:04
acl2_4.2-1_i386.deb 22M2011-Sep-02 03:04
acl2-books_4.2-1_i386.deb 34M2011-Sep-02 03:04
acl2-infix_4.2-1_i386.deb 400K2011-Sep-02 03:04
acl2-books-certs_4.2-1_all.deb 2M2011-Sep-02 03:03
acl2-source_4.2-1_all.deb 3M2011-Sep-02 03:03
acl2-books-source_4.2-1_all.deb 5M2011-Sep-02 03:03
acl2-doc_4.2-1_all.deb 264K2011-Sep-02 03:03
acl2-emacs_4.2-1_all.deb 52K2011-Sep-02 03:03
acl2-infix-source_4.2-1_all.deb 80K2011-Sep-02 03:03
acl2_4.2-1.dsc 11942011-May-15 13:04
acl2_4.2.orig.tar.gz 11M2011-May-15 13:04
acl2_4.2-1.debian.tar.gz 17K2011-May-15 13:04