ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/a/acl2/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-infix_8.5dfsg-6_mips64el.deb 491K01-Aug-2024 16:54
acl2_8.5dfsg-6_mips64el.deb 20M01-Aug-2024 16:54
acl2-books_8.5dfsg-6_mips64el.deb 164M01-Aug-2024 16:54
acl2-books_8.5dfsg-6_riscv64.deb 370M31-Jul-2024 17:49
acl2_8.5dfsg-6_riscv64.deb 21M31-Jul-2024 17:49
acl2-infix_8.5dfsg-6_riscv64.deb 1009K31-Jul-2024 17:49
acl2_8.5dfsg-6_s390x.deb 22M31-Jul-2024 17:28
acl2-infix_8.5dfsg-6_s390x.deb 464K31-Jul-2024 17:28
acl2-books_8.5dfsg-6_s390x.deb 148M31-Jul-2024 17:28
acl2-books_8.5dfsg-6_armhf.deb 144M29-Jul-2024 11:35
acl2-infix_8.5dfsg-6_armhf.deb 475K29-Jul-2024 11:35
acl2_8.5dfsg-6_armhf.deb 18M29-Jul-2024 11:35
acl2_8.5dfsg-6_armel.deb 18M29-Jul-2024 04:25
acl2-books_8.5dfsg-6_armel.deb 142M29-Jul-2024 04:25
acl2-infix_8.5dfsg-6_armel.deb 459K29-Jul-2024 04:25
acl2_8.5dfsg-6_i386.deb 19M29-Jul-2024 03:49
acl2-books_8.5dfsg-6_i386.deb 133M29-Jul-2024 03:49
acl2-infix_8.5dfsg-6_i386.deb 475K29-Jul-2024 03:49
acl2-doc_8.5dfsg-6_all.deb 470K29-Jul-2024 03:44
elpa-acl2_8.5dfsg-6_all.deb 69K29-Jul-2024 03:44
acl2-books-source_8.5dfsg-6_all.deb 24M29-Jul-2024 03:44
acl2-infix-source_8.5dfsg-6_all.deb 71K29-Jul-2024 03:44
acl2-source_8.5dfsg-6_all.deb 3M29-Jul-2024 03:44
acl2-books-certs_8.5dfsg-6_all.deb 64M29-Jul-2024 03:44
acl2_8.5dfsg-6_amd64.deb 22M29-Jul-2024 03:18
acl2-books_8.5dfsg-6_amd64.deb 151M29-Jul-2024 03:18
acl2-infix_8.5dfsg-6_amd64.deb 465K29-Jul-2024 03:18
acl2_8.5dfsg-6_arm64.deb 20M29-Jul-2024 03:18
acl2-books_8.5dfsg-6_arm64.deb 149M29-Jul-2024 03:18
acl2-infix_8.5dfsg-6_arm64.deb 455K29-Jul-2024 03:18
acl2-books_8.5dfsg-6_ppc64el.deb 157M29-Jul-2024 02:17
acl2-infix_8.5dfsg-6_ppc64el.deb 485K29-Jul-2024 02:17
acl2_8.5dfsg-6_ppc64el.deb 22M29-Jul-2024 02:17
acl2_8.5dfsg-6.debian.tar.xz 306K28-Jul-2024 20:31
acl2_8.5dfsg-6.dsc 226828-Jul-2024 20:31
acl2-infix_8.5dfsg-5_mips64el.deb 491K23-Jan-2023 16:58
acl2_8.5dfsg-5_mips64el.deb 20M23-Jan-2023 16:58
acl2-books_8.5dfsg-5_mips64el.deb 309M23-Jan-2023 16:58
acl2-books_8.5dfsg-5_mipsel.deb 285M22-Jan-2023 04:30
acl2-infix_8.5dfsg-5_mipsel.deb 503K22-Jan-2023 04:30
acl2_8.5dfsg-5_mipsel.deb 19M22-Jan-2023 04:30
acl2_8.5dfsg-5_ppc64el.deb 22M19-Jan-2023 00:10
acl2-books_8.5dfsg-5_ppc64el.deb 292M19-Jan-2023 00:10
acl2-infix_8.5dfsg-5_ppc64el.deb 483K19-Jan-2023 00:10
acl2-books_8.5dfsg-5_arm64.deb 289M18-Jan-2023 01:13
acl2-infix_8.5dfsg-5_arm64.deb 461K18-Jan-2023 01:13
acl2_8.5dfsg-5_arm64.deb 21M18-Jan-2023 01:13
acl2-books_8.5dfsg-5_armel.deb 268M17-Jan-2023 23:26
acl2-infix_8.5dfsg-5_armel.deb 459K17-Jan-2023 23:26
acl2_8.5dfsg-5_armel.deb 18M17-Jan-2023 23:26
acl2-books_8.5dfsg-5_armhf.deb 272M17-Jan-2023 15:32
acl2-infix_8.5dfsg-5_armhf.deb 472K17-Jan-2023 15:32
acl2_8.5dfsg-5_armhf.deb 19M17-Jan-2023 15:32
acl2_8.5dfsg-5_amd64.deb 22M17-Jan-2023 00:15
acl2-books_8.5dfsg-5_amd64.deb 287M17-Jan-2023 00:15
acl2-infix_8.5dfsg-5_amd64.deb 464K17-Jan-2023 00:15
acl2_8.5dfsg-5_i386.deb 19M16-Jan-2023 19:16
acl2-books_8.5dfsg-5_i386.deb 248M16-Jan-2023 19:16
acl2-infix_8.5dfsg-5_i386.deb 477K16-Jan-2023 19:16
acl2-doc_8.5dfsg-5_all.deb 470K16-Jan-2023 18:55
elpa-acl2_8.5dfsg-5_all.deb 69K16-Jan-2023 18:55
acl2-books-certs_8.5dfsg-5_all.deb 170M16-Jan-2023 18:55
acl2-books-source_8.5dfsg-5_all.deb 24M16-Jan-2023 18:55
acl2-infix-source_8.5dfsg-5_all.deb 71K16-Jan-2023 18:55
acl2-source_8.5dfsg-5_all.deb 3M16-Jan-2023 18:55
acl2_8.5dfsg-5_s390x.deb 21M16-Jan-2023 18:30
acl2-books_8.5dfsg-5_s390x.deb 267M16-Jan-2023 18:30
acl2-infix_8.5dfsg-5_s390x.deb 432K16-Jan-2023 18:30
acl2_8.5dfsg-5.dsc 226816-Jan-2023 06:00
acl2_8.5dfsg-5.debian.tar.xz 306K16-Jan-2023 06:00
acl2_8.5dfsg.orig.tar.gz 213M27-Jul-2022 18:13
acl2_8.3dfsg-2_mips64el.deb 18M30-Jan-2021 23:12
acl2-books_8.3dfsg-2_mips64el.deb 254M30-Jan-2021 23:12
acl2-infix_8.3dfsg-2_mips64el.deb 503K30-Jan-2021 23:12
acl2-books_8.3dfsg-2_mipsel.deb 228M29-Jan-2021 13:42
acl2_8.3dfsg-2_mipsel.deb 19M29-Jan-2021 13:42
acl2-infix_8.3dfsg-2_mipsel.deb 509K29-Jan-2021 13:42
acl2-books_8.3dfsg-2_arm64.deb 236M28-Jan-2021 19:43
acl2-infix_8.3dfsg-2_arm64.deb 469K28-Jan-2021 19:43
acl2_8.3dfsg-2_arm64.deb 19M28-Jan-2021 19:43
acl2-books_8.3dfsg-2_armel.deb 218M28-Jan-2021 11:13
acl2_8.3dfsg-2_armel.deb 18M28-Jan-2021 11:13
acl2-infix_8.3dfsg-2_armel.deb 463K28-Jan-2021 11:13
acl2_8.3dfsg-2_armhf.deb 18M28-Jan-2021 10:42
acl2-books_8.3dfsg-2_armhf.deb 223M28-Jan-2021 10:42
acl2-infix_8.3dfsg-2_armhf.deb 478K28-Jan-2021 10:42
acl2_8.3dfsg-2_s390x.deb 20M28-Jan-2021 06:35
acl2-books_8.3dfsg-2_s390x.deb 219M28-Jan-2021 06:35
acl2-infix_8.3dfsg-2_s390x.deb 435K28-Jan-2021 06:35
acl2-emacs_8.3dfsg-2_all.deb 68K28-Jan-2021 06:25
acl2-books-certs_8.3dfsg-2_all.deb 139M28-Jan-2021 06:25
acl2-source_8.3dfsg-2_all.deb 3M28-Jan-2021 06:25
acl2-infix-source_8.3dfsg-2_all.deb 78K28-Jan-2021 06:25
acl2-doc_8.3dfsg-2_all.deb 437K28-Jan-2021 06:25
acl2-books-source_8.3dfsg-2_all.deb 19M28-Jan-2021 06:25
acl2-infix_8.3dfsg-2_ppc64el.deb 498K28-Jan-2021 03:44
acl2-books_8.3dfsg-2_ppc64el.deb 245M28-Jan-2021 03:44
acl2_8.3dfsg-2_ppc64el.deb 22M28-Jan-2021 03:44
acl2_8.3dfsg-2_i386.deb 19M28-Jan-2021 02:22
acl2-books_8.3dfsg-2_i386.deb 204M28-Jan-2021 02:22
acl2-infix_8.3dfsg-2_i386.deb 485K28-Jan-2021 02:22
acl2-books_8.3dfsg-2_amd64.deb 241M28-Jan-2021 01:57
acl2_8.3dfsg-2_amd64.deb 20M28-Jan-2021 01:57
acl2-infix_8.3dfsg-2_amd64.deb 479K28-Jan-2021 01:57
acl2_8.3dfsg-2.debian.tar.xz 223K27-Jan-2021 18:34
acl2_8.3dfsg-2.dsc 227527-Jan-2021 18:34
acl2_8.3dfsg.orig.tar.gz 112M24-Aug-2020 06:39
acl2_8.0dfsg-1_armhf.deb 15M15-Jan-2018 12:46
acl2-books_8.0dfsg-1_armhf.deb 120M15-Jan-2018 12:46
acl2-infix_8.0dfsg-1_armhf.deb 407K15-Jan-2018 12:46
acl2_8.0dfsg-1_arm64.deb 17M14-Jan-2018 06:47
acl2-books_8.0dfsg-1_arm64.deb 135M14-Jan-2018 06:47
acl2-infix_8.0dfsg-1_arm64.deb 432K14-Jan-2018 06:47
acl2-books_8.0dfsg-1_i386.deb 111M14-Jan-2018 01:26
acl2-infix_8.0dfsg-1_i386.deb 390K14-Jan-2018 01:26
acl2_8.0dfsg-1_i386.deb 16M14-Jan-2018 01:26
acl2-books_8.0dfsg-1_amd64.deb 132M13-Jan-2018 17:52
acl2-doc_8.0dfsg-1_all.deb 392K13-Jan-2018 17:52
acl2-emacs_8.0dfsg-1_all.deb 66K13-Jan-2018 17:52
acl2-infix-source_8.0dfsg-1_all.deb 77K13-Jan-2018 17:52
acl2-infix_8.0dfsg-1_amd64.deb 422K13-Jan-2018 17:52
acl2-source_8.0dfsg-1_all.deb 3M13-Jan-2018 17:52
acl2_8.0dfsg-1_amd64.deb 19M13-Jan-2018 17:52
acl2-books-source_8.0dfsg-1_all.deb 12M13-Jan-2018 17:52
acl2-books-certs_8.0dfsg-1_all.deb 70M13-Jan-2018 17:52
acl2_8.0dfsg-1.debian.tar.xz 200K13-Jan-2018 17:52
acl2_8.0dfsg.orig.tar.gz 74M13-Jan-2018 17:52
acl2_8.0dfsg-1.dsc 224513-Jan-2018 17:52