ftp.ntua.gr:/mirror/ubuntu/pool/universe/a/acl2/?C=N&O=A
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory - [   ] acl2-books-certs_4.2-1_all.deb 02-Sep-2011 06:03 1.9M [   ] acl2-books-certs_6.3-5_all.deb 24-Oct-2013 19:36 11M [   ] acl2-books-certs_7.1-1_all.deb 27-Jun-2015 16:48 13M [   ] acl2-books-certs_8.0dfsg-1_all.deb 14-Jan-2018 05:08 70M [   ] acl2-books-certs_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 66M [   ] acl2-books-certs_8.3dfsg-1_all.deb 24-Aug-2020 15:19 5.7K [   ] acl2-books-certs_8.3dfsg-2_all.deb 28-Jan-2021 09:19 139M [   ] acl2-books-source_4.2-1_all.deb 02-Sep-2011 06:03 4.9M [   ] acl2-books-source_6.3-5_all.deb 24-Oct-2013 19:36 9.1M [   ] acl2-books-source_7.1-1_all.deb 27-Jun-2015 16:48 9.9M [   ] acl2-books-source_8.0dfsg-1_all.deb 14-Jan-2018 05:08 12M [   ] acl2-books-source_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 14M [   ] acl2-books-source_8.3dfsg-1_all.deb 24-Aug-2020 15:19 19M [   ] acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 09:19 19M [   ] acl2-books_4.2-1_amd64.deb 02-Sep-2011 07:04 39M [   ] acl2-books_4.2-1_i386.deb 02-Sep-2011 06:04 34M [   ] acl2-books_6.3-5_amd64.deb 24-Oct-2013 19:36 40M [   ] acl2-books_6.3-5_i386.deb 24-Oct-2013 19:36 36M [   ] acl2-books_7.1-1_amd64.deb 27-Jun-2015 16:48 19M [   ] acl2-books_7.1-1_i386.deb 02-Jun-2015 05:43 18M [   ] acl2-books_8.0dfsg-1_amd64.deb 14-Jan-2018 05:08 132M [   ] acl2-books_8.0dfsg-1_i386.deb 14-Jan-2018 06:49 114M [   ] acl2-books_8.2dfsg-3build1_amd64.deb 23-Mar-2020 15:24 163M [   ] acl2-books_8.3dfsg-1_amd64.deb 24-Aug-2020 15:19 4.2K [   ] acl2-books_8.3dfsg-2_amd64.deb 28-Jan-2021 09:19 241M [   ] acl2-doc_4.2-1_all.deb 02-Sep-2011 06:03 264K [   ] acl2-doc_6.3-5_all.deb 24-Oct-2013 19:36 12M [   ] acl2-doc_7.1-1_all.deb 27-Jun-2015 16:48 353K [   ] acl2-doc_8.0dfsg-1_all.deb 14-Jan-2018 05:08 385K [   ] acl2-doc_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 418K [   ] acl2-doc_8.3dfsg-1_all.deb 24-Aug-2020 15:18 429K [   ] acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 09:19 429K [   ] acl2-emacs_4.2-1_all.deb 02-Sep-2011 06:03 52K [   ] acl2-emacs_6.3-5_all.deb 24-Oct-2013 19:36 55K [   ] acl2-emacs_7.1-1_all.deb 27-Jun-2015 16:48 55K [   ] acl2-emacs_8.0dfsg-1_all.deb 14-Jan-2018 05:08 59K [   ] acl2-emacs_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 59K [   ] acl2-emacs_8.3dfsg-1_all.deb 24-Aug-2020 15:19 60K [   ] acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 09:19 60K [   ] acl2-infix-source_4.2-1_all.deb 02-Sep-2011 06:03 80K [   ] acl2-infix-source_6.3-5_all.deb 24-Oct-2013 19:36 86K [   ] acl2-infix-source_7.1-1_all.deb 27-Jun-2015 16:48 70K [   ] acl2-infix-source_8.0dfsg-1_all.deb 14-Jan-2018 05:08 70K [   ] acl2-infix-source_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 70K [   ] acl2-infix-source_8.3dfsg-1_all.deb 24-Aug-2020 15:18 70K [   ] acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 09:19 70K [   ] acl2-infix_4.2-1_amd64.deb 02-Sep-2011 07:04 438K [   ] acl2-infix_4.2-1_i386.deb 02-Sep-2011 06:04 400K [   ] acl2-infix_6.3-5_amd64.deb 24-Oct-2013 19:36 200K [   ] acl2-infix_6.3-5_i386.deb 24-Oct-2013 19:36 189K [   ] acl2-infix_7.1-1_amd64.deb 27-Jun-2015 16:48 140K [   ] acl2-infix_7.1-1_i386.deb 02-Jun-2015 05:43 142K [   ] acl2-infix_8.0dfsg-1_amd64.deb 14-Jan-2018 05:08 414K [   ] acl2-infix_8.0dfsg-1_i386.deb 14-Jan-2018 06:49 381K [   ] acl2-infix_8.2dfsg-3build1_amd64.deb 23-Mar-2020 15:24 470K [   ] acl2-infix_8.3dfsg-1_amd64.deb 24-Aug-2020 15:19 472K [   ] acl2-infix_8.3dfsg-2_amd64.deb 28-Jan-2021 09:19 471K [   ] acl2-source_4.2-1_all.deb 02-Sep-2011 06:03 3.0M [   ] acl2-source_6.3-5_all.deb 24-Oct-2013 19:36 3.6M [   ] acl2-source_7.1-1_all.deb 27-Jun-2015 16:48 2.7M [   ] acl2-source_8.0dfsg-1_all.deb 14-Jan-2018 05:08 2.9M [   ] acl2-source_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 3.1M [   ] acl2-source_8.3dfsg-1_all.deb 24-Aug-2020 15:19 3.2M [   ] acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 09:19 3.2M [   ] acl2_4.2-1.debian.tar.gz 15-May-2011 16:04 17K [   ] acl2_4.2-1.dsc 15-May-2011 16:04 1.2K [   ] acl2_4.2-1_amd64.deb 02-Sep-2011 07:04 25M [   ] acl2_4.2-1_i386.deb 02-Sep-2011 06:04 22M [   ] acl2_4.2.orig.tar.gz 15-May-2011 16:04 11M [   ] acl2_6.3-5.debian.tar.gz 21-Oct-2013 16:09 158K [   ] acl2_6.3-5.dsc 21-Oct-2013 16:09 1.7K [   ] acl2_6.3-5_amd64.deb 24-Oct-2013 19:36 27M [   ] acl2_6.3-5_i386.deb 24-Oct-2013 19:36 23M [   ] acl2_6.3.orig-books.tar.gz 21-Oct-2013 16:09 13M [   ] acl2_6.3.orig.tar.gz 21-Oct-2013 16:09 6.7M [   ] acl2_7.1-1.debian.tar.xz 02-Jun-2015 02:24 126K [   ] acl2_7.1-1.dsc 02-Jun-2015 02:24 2.2K [   ] acl2_7.1-1_amd64.deb 27-Jun-2015 16:48 16M [   ] acl2_7.1-1_i386.deb 02-Jun-2015 05:43 16M [   ] acl2_7.1.orig.tar.gz 02-Jun-2015 02:24 60M [   ] acl2_8.0dfsg-1.debian.tar.xz 14-Jan-2018 01:08 200K [   ] acl2_8.0dfsg-1.dsc 14-Jan-2018 01:08 2.2K [   ] acl2_8.0dfsg-1_amd64.deb 14-Jan-2018 05:08 19M [   ] acl2_8.0dfsg-1_i386.deb 14-Jan-2018 06:49 16M [   ] acl2_8.0dfsg.orig.tar.gz 14-Jan-2018 01:08 74M [   ] acl2_8.2dfsg-3build1.debian.tar.xz 23-Mar-2020 09:00 201K [   ] acl2_8.2dfsg-3build1.dsc 23-Mar-2020 09:00 2.2K [   ] acl2_8.2dfsg-3build1_amd64.deb 23-Mar-2020 15:24 21M [   ] acl2_8.2dfsg.orig.tar.gz 20-Dec-2019 01:13 77M [   ] acl2_8.3dfsg-1.debian.tar.xz 24-Aug-2020 14:13 201K [   ] acl2_8.3dfsg-1.dsc 24-Aug-2020 14:13 2.2K [   ] acl2_8.3dfsg-1_amd64.deb 24-Aug-2020 15:18 20M [   ] acl2_8.3dfsg-2.debian.tar.xz 28-Jan-2021 01:19 223K [   ] acl2_8.3dfsg-2.dsc 28-Jan-2021 01:19 2.2K [   ] acl2_8.3dfsg-2_amd64.deb 28-Jan-2021 09:19 21M [   ] acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 14:13 112M
Apache/2.2 Server at ftp.ntua.gr Port 80