ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/a/acl2/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-books-certs_6.3-5_all.deb 11M24-Oct-2013 20:36
acl2-books-certs_7.1-1_all.deb 13M27-Jun-2015 17:48
acl2-books-certs_8.0dfsg-1_all.deb 70M14-Jan-2018 07:08
acl2-books-certs_8.2dfsg-3build1_all.deb 66M23-Mar-2020 17:24
acl2-books-certs_8.4dfsg-2_all.deb 221M19-Dec-2021 05:10
acl2-books-certs_8.5dfsg-5build3_all.deb 216M02-Apr-2024 12:03
acl2-books-certs_8.5dfsg-6_all.deb 79M29-Jul-2024 08:20
acl2-books-source_6.3-5_all.deb 9M24-Oct-2013 20:36
acl2-books-source_7.1-1_all.deb 10M27-Jun-2015 17:48
acl2-books-source_8.0dfsg-1_all.deb 12M14-Jan-2018 07:08
acl2-books-source_8.2dfsg-3build1_all.deb 14M23-Mar-2020 17:24
acl2-books-source_8.4dfsg-2_all.deb 21M19-Dec-2021 05:10
acl2-books-source_8.5dfsg-5build3_all.deb 23M02-Apr-2024 12:02
acl2-books-source_8.5dfsg-6_all.deb 23M29-Jul-2024 08:20
acl2-books_6.3-5_amd64.deb 40M24-Oct-2013 20:36
acl2-books_6.3-5_i386.deb 36M24-Oct-2013 20:36
acl2-books_7.1-1_amd64.deb 19M27-Jun-2015 17:48
acl2-books_7.1-1_i386.deb 18M02-Jun-2015 06:43
acl2-books_8.0dfsg-1_amd64.deb 132M14-Jan-2018 07:08
acl2-books_8.0dfsg-1_i386.deb 114M14-Jan-2018 08:49
acl2-books_8.2dfsg-3build1_amd64.deb 163M23-Mar-2020 17:24
acl2-books_8.4dfsg-2_amd64.deb 338M19-Dec-2021 05:09
acl2-books_8.5dfsg-5build3_amd64.deb 331M02-Apr-2024 12:03
acl2-books_8.5dfsg-6_amd64.deb 171M29-Jul-2024 08:20
acl2-doc_6.3-5_all.deb 12M24-Oct-2013 20:36
acl2-doc_7.1-1_all.deb 353K27-Jun-2015 17:48
acl2-doc_8.0dfsg-1_all.deb 385K14-Jan-2018 07:08
acl2-doc_8.2dfsg-3build1_all.deb 418K23-Mar-2020 17:24
acl2-doc_8.4dfsg-2_all.deb 441K19-Dec-2021 05:09
acl2-doc_8.5dfsg-5build3_all.deb 474K02-Apr-2024 12:02
acl2-doc_8.5dfsg-6_all.deb 474K29-Jul-2024 08:20
acl2-emacs_6.3-5_all.deb 55K24-Oct-2013 20:36
acl2-emacs_7.1-1_all.deb 55K27-Jun-2015 17:48
acl2-emacs_8.0dfsg-1_all.deb 59K14-Jan-2018 07:08
acl2-emacs_8.2dfsg-3build1_all.deb 59K23-Mar-2020 17:24
acl2-infix-source_6.3-5_all.deb 86K24-Oct-2013 20:36
acl2-infix-source_7.1-1_all.deb 70K27-Jun-2015 17:48
acl2-infix-source_8.0dfsg-1_all.deb 70K14-Jan-2018 07:08
acl2-infix-source_8.2dfsg-3build1_all.deb 70K23-Mar-2020 17:24
acl2-infix-source_8.4dfsg-2_all.deb 72K19-Dec-2021 05:10
acl2-infix-source_8.5dfsg-5build3_all.deb 72K02-Apr-2024 12:02
acl2-infix-source_8.5dfsg-6_all.deb 72K29-Jul-2024 08:20
acl2-infix_6.3-5_amd64.deb 200K24-Oct-2013 20:36
acl2-infix_6.3-5_i386.deb 189K24-Oct-2013 20:36
acl2-infix_7.1-1_amd64.deb 140K27-Jun-2015 17:48
acl2-infix_7.1-1_i386.deb 142K02-Jun-2015 06:43
acl2-infix_8.0dfsg-1_amd64.deb 414K14-Jan-2018 07:08
acl2-infix_8.0dfsg-1_i386.deb 381K14-Jan-2018 08:49
acl2-infix_8.2dfsg-3build1_amd64.deb 470K23-Mar-2020 17:24
acl2-infix_8.4dfsg-2_amd64.deb 551K19-Dec-2021 05:09
acl2-infix_8.5dfsg-5build3_amd64.deb 538K02-Apr-2024 12:02
acl2-infix_8.5dfsg-6_amd64.deb 533K29-Jul-2024 08:20
acl2-source_6.3-5_all.deb 4M24-Oct-2013 20:36
acl2-source_7.1-1_all.deb 3M27-Jun-2015 17:48
acl2-source_8.0dfsg-1_all.deb 3M14-Jan-2018 07:08
acl2-source_8.2dfsg-3build1_all.deb 3M23-Mar-2020 17:24
acl2-source_8.4dfsg-2_all.deb 3M19-Dec-2021 05:10
acl2-source_8.5dfsg-5build3_all.deb 3M02-Apr-2024 12:02
acl2-source_8.5dfsg-6_all.deb 3M29-Jul-2024 08:20
acl2_6.3-5.debian.tar.gz 158K21-Oct-2013 17:09
acl2_6.3-5.dsc 174921-Oct-2013 17:09
acl2_6.3-5_amd64.deb 27M24-Oct-2013 20:36
acl2_6.3-5_i386.deb 23M24-Oct-2013 20:36
acl2_6.3.orig-books.tar.gz 13M21-Oct-2013 17:09
acl2_6.3.orig.tar.gz 7M21-Oct-2013 17:09
acl2_7.1-1.debian.tar.xz 126K02-Jun-2015 03:24
acl2_7.1-1.dsc 220302-Jun-2015 03:24
acl2_7.1-1_amd64.deb 16M27-Jun-2015 17:48
acl2_7.1-1_i386.deb 16M02-Jun-2015 06:43
acl2_7.1.orig.tar.gz 60M02-Jun-2015 03:24
acl2_8.0dfsg-1.debian.tar.xz 200K14-Jan-2018 03:08
acl2_8.0dfsg-1.dsc 224514-Jan-2018 03:08
acl2_8.0dfsg-1_amd64.deb 19M14-Jan-2018 07:08
acl2_8.0dfsg-1_i386.deb 16M14-Jan-2018 08:49
acl2_8.0dfsg.orig.tar.gz 74M14-Jan-2018 03:08
acl2_8.2dfsg-3build1.debian.tar.xz 201K23-Mar-2020 11:00
acl2_8.2dfsg-3build1.dsc 229623-Mar-2020 11:00
acl2_8.2dfsg-3build1_amd64.deb 21M23-Mar-2020 17:24
acl2_8.2dfsg.orig.tar.gz 77M20-Dec-2019 03:13
acl2_8.4dfsg-2.debian.tar.xz 304K02-Nov-2021 03:24
acl2_8.4dfsg-2.dsc 228102-Nov-2021 03:24
acl2_8.4dfsg-2_amd64.deb 25M19-Dec-2021 05:10
acl2_8.4dfsg.orig.tar.gz 194M29-Oct-2021 03:18
acl2_8.5dfsg-5build3.debian.tar.xz 306K01-Apr-2024 09:43
acl2_8.5dfsg-5build3.dsc 237101-Apr-2024 09:43
acl2_8.5dfsg-5build3_amd64.deb 26M02-Apr-2024 12:03
acl2_8.5dfsg-6.debian.tar.xz 306K29-Jul-2024 03:59
acl2_8.5dfsg-6.dsc 226829-Jul-2024 03:59
acl2_8.5dfsg-6_amd64.deb 25M29-Jul-2024 08:20
acl2_8.5dfsg.orig.tar.gz 213M28-Jul-2022 03:33
elpa-acl2_8.4dfsg-2_all.deb 69K19-Dec-2021 05:09
elpa-acl2_8.5dfsg-5build3_all.deb 71K02-Apr-2024 12:02
elpa-acl2_8.5dfsg-6_all.deb 71K29-Jul-2024 08:20