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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_8.0dfsg-1_all.deb2018-01-13 17:22 70M 
[ ]acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 05:55 139M 
[ ]acl2-books-certs_8.5dfsg-5_all.deb2023-01-16 18:25 170M 
[ ]acl2-books-certs_8.5dfsg-6_all.deb2024-07-29 03:14 64M 
[ ]acl2-books-source_8.0dfsg-1_all.deb2018-01-13 17:22 12M 
[ ]acl2-books-source_8.3dfsg-2_all.deb2021-01-28 05:55 19M 
[ ]acl2-books-source_8.5dfsg-5_all.deb2023-01-16 18:25 24M 
[ ]acl2-books-source_8.5dfsg-6_all.deb2024-07-29 03:14 24M 
[ ]acl2-books_8.0dfsg-1_amd64.deb2018-01-13 17:22 132M 
[ ]acl2-books_8.0dfsg-1_arm64.deb2018-01-14 06:17 135M 
[ ]acl2-books_8.0dfsg-1_armhf.deb2018-01-15 12:16 120M 
[ ]acl2-books_8.0dfsg-1_i386.deb2018-01-14 00:56 111M 
[ ]acl2-books_8.3dfsg-2_amd64.deb2021-01-28 01:27 241M 
[ ]acl2-books_8.3dfsg-2_arm64.deb2021-01-28 19:13 236M 
[ ]acl2-books_8.3dfsg-2_armel.deb2021-01-28 10:43 218M 
[ ]acl2-books_8.3dfsg-2_armhf.deb2021-01-28 10:12 223M 
[ ]acl2-books_8.3dfsg-2_i386.deb2021-01-28 01:52 204M 
[ ]acl2-books_8.3dfsg-2_mips64el.deb2021-01-30 22:42 254M 
[ ]acl2-books_8.3dfsg-2_mipsel.deb2021-01-29 13:12 228M 
[ ]acl2-books_8.3dfsg-2_ppc64el.deb2021-01-28 03:14 245M 
[ ]acl2-books_8.3dfsg-2_s390x.deb2021-01-28 06:05 219M 
[ ]acl2-books_8.5dfsg-5_amd64.deb2023-01-16 23:45 287M 
[ ]acl2-books_8.5dfsg-5_arm64.deb2023-01-18 00:43 289M 
[ ]acl2-books_8.5dfsg-5_armel.deb2023-01-17 22:56 268M 
[ ]acl2-books_8.5dfsg-5_armhf.deb2023-01-17 15:02 272M 
[ ]acl2-books_8.5dfsg-5_i386.deb2023-01-16 18:46 248M 
[ ]acl2-books_8.5dfsg-5_mips64el.deb2023-01-23 16:28 309M 
[ ]acl2-books_8.5dfsg-5_mipsel.deb2023-01-22 04:00 285M 
[ ]acl2-books_8.5dfsg-5_ppc64el.deb2023-01-18 23:40 292M 
[ ]acl2-books_8.5dfsg-5_s390x.deb2023-01-16 18:00 267M 
[ ]acl2-books_8.5dfsg-6_amd64.deb2024-07-29 02:48 151M 
[ ]acl2-books_8.5dfsg-6_arm64.deb2024-07-29 02:48 149M 
[ ]acl2-books_8.5dfsg-6_armel.deb2024-07-29 03:55 142M 
[ ]acl2-books_8.5dfsg-6_armhf.deb2024-07-29 11:05 144M 
[ ]acl2-books_8.5dfsg-6_i386.deb2024-07-29 03:19 133M 
[ ]acl2-books_8.5dfsg-6_mips64el.deb2024-08-01 16:24 164M 
[ ]acl2-books_8.5dfsg-6_ppc64el.deb2024-07-29 01:47 157M 
[ ]acl2-books_8.5dfsg-6_riscv64.deb2024-07-31 17:19 370M 
[ ]acl2-books_8.5dfsg-6_s390x.deb2024-07-31 16:58 148M 
[ ]acl2-doc_8.0dfsg-1_all.deb2018-01-13 17:22 392K 
[ ]acl2-doc_8.3dfsg-2_all.deb2021-01-28 05:55 437K 
[ ]acl2-doc_8.5dfsg-5_all.deb2023-01-16 18:25 470K 
[ ]acl2-doc_8.5dfsg-6_all.deb2024-07-29 03:14 470K 
[ ]acl2-emacs_8.0dfsg-1_all.deb2018-01-13 17:22 66K 
[ ]acl2-emacs_8.3dfsg-2_all.deb2021-01-28 05:55 68K 
[ ]acl2-infix-source_8.0dfsg-1_all.deb2018-01-13 17:22 77K 
[ ]acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 05:55 78K 
[ ]acl2-infix-source_8.5dfsg-5_all.deb2023-01-16 18:25 71K 
[ ]acl2-infix-source_8.5dfsg-6_all.deb2024-07-29 03:14 71K 
[ ]acl2-infix_8.0dfsg-1_amd64.deb2018-01-13 17:22 422K 
[ ]acl2-infix_8.0dfsg-1_arm64.deb2018-01-14 06:17 432K 
[ ]acl2-infix_8.0dfsg-1_armhf.deb2018-01-15 12:16 407K 
[ ]acl2-infix_8.0dfsg-1_i386.deb2018-01-14 00:56 390K 
[ ]acl2-infix_8.3dfsg-2_amd64.deb2021-01-28 01:27 479K 
[ ]acl2-infix_8.3dfsg-2_arm64.deb2021-01-28 19:13 469K 
[ ]acl2-infix_8.3dfsg-2_armel.deb2021-01-28 10:43 463K 
[ ]acl2-infix_8.3dfsg-2_armhf.deb2021-01-28 10:12 478K 
[ ]acl2-infix_8.3dfsg-2_i386.deb2021-01-28 01:52 485K 
[ ]acl2-infix_8.3dfsg-2_mips64el.deb2021-01-30 22:42 503K 
[ ]acl2-infix_8.3dfsg-2_mipsel.deb2021-01-29 13:12 509K 
[ ]acl2-infix_8.3dfsg-2_ppc64el.deb2021-01-28 03:14 498K 
[ ]acl2-infix_8.3dfsg-2_s390x.deb2021-01-28 06:05 435K 
[ ]acl2-infix_8.5dfsg-5_amd64.deb2023-01-16 23:45 464K 
[ ]acl2-infix_8.5dfsg-5_arm64.deb2023-01-18 00:43 461K 
[ ]acl2-infix_8.5dfsg-5_armel.deb2023-01-17 22:56 459K 
[ ]acl2-infix_8.5dfsg-5_armhf.deb2023-01-17 15:02 472K 
[ ]acl2-infix_8.5dfsg-5_i386.deb2023-01-16 18:46 477K 
[ ]acl2-infix_8.5dfsg-5_mips64el.deb2023-01-23 16:28 491K 
[ ]acl2-infix_8.5dfsg-5_mipsel.deb2023-01-22 04:00 503K 
[ ]acl2-infix_8.5dfsg-5_ppc64el.deb2023-01-18 23:40 483K 
[ ]acl2-infix_8.5dfsg-5_s390x.deb2023-01-16 18:00 432K 
[ ]acl2-infix_8.5dfsg-6_amd64.deb2024-07-29 02:48 465K 
[ ]acl2-infix_8.5dfsg-6_arm64.deb2024-07-29 02:48 455K 
[ ]acl2-infix_8.5dfsg-6_armel.deb2024-07-29 03:55 459K 
[ ]acl2-infix_8.5dfsg-6_armhf.deb2024-07-29 11:05 475K 
[ ]acl2-infix_8.5dfsg-6_i386.deb2024-07-29 03:19 475K 
[ ]acl2-infix_8.5dfsg-6_mips64el.deb2024-08-01 16:24 491K 
[ ]acl2-infix_8.5dfsg-6_ppc64el.deb2024-07-29 01:47 485K 
[ ]acl2-infix_8.5dfsg-6_riscv64.deb2024-07-31 17:19 1.0M 
[ ]acl2-infix_8.5dfsg-6_s390x.deb2024-07-31 16:58 464K 
[ ]acl2-source_8.0dfsg-1_all.deb2018-01-13 17:22 2.9M 
[ ]acl2-source_8.3dfsg-2_all.deb2021-01-28 05:55 3.2M 
[ ]acl2-source_8.5dfsg-5_all.deb2023-01-16 18:25 3.4M 
[ ]acl2-source_8.5dfsg-6_all.deb2024-07-29 03:14 3.4M 
[ ]acl2_8.0dfsg-1.debian.tar.xz2018-01-13 17:22 200K 
[TXT]acl2_8.0dfsg-1.dsc2018-01-13 17:22 2.2K 
[ ]acl2_8.0dfsg-1_amd64.deb2018-01-13 17:22 19M 
[ ]acl2_8.0dfsg-1_arm64.deb2018-01-14 06:17 17M 
[ ]acl2_8.0dfsg-1_armhf.deb2018-01-15 12:16 15M 
[ ]acl2_8.0dfsg-1_i386.deb2018-01-14 00:56 16M 
[ ]acl2_8.0dfsg.orig.tar.gz2018-01-13 17:22 74M 
[ ]acl2_8.3dfsg-2.debian.tar.xz2021-01-27 18:04 223K 
[TXT]acl2_8.3dfsg-2.dsc2021-01-27 18:04 2.2K 
[ ]acl2_8.3dfsg-2_amd64.deb2021-01-28 01:27 20M 
[ ]acl2_8.3dfsg-2_arm64.deb2021-01-28 19:13 19M 
[ ]acl2_8.3dfsg-2_armel.deb2021-01-28 10:43 18M 
[ ]acl2_8.3dfsg-2_armhf.deb2021-01-28 10:12 18M 
[ ]acl2_8.3dfsg-2_i386.deb2021-01-28 01:52 19M 
[ ]acl2_8.3dfsg-2_mips64el.deb2021-01-30 22:42 18M 
[ ]acl2_8.3dfsg-2_mipsel.deb2021-01-29 13:12 19M 
[ ]acl2_8.3dfsg-2_ppc64el.deb2021-01-28 03:14 22M 
[ ]acl2_8.3dfsg-2_s390x.deb2021-01-28 06:05 20M 
[ ]acl2_8.3dfsg.orig.tar.gz2020-08-24 07:09 112M 
[ ]acl2_8.5dfsg-5.debian.tar.xz2023-01-16 05:30 306K 
[TXT]acl2_8.5dfsg-5.dsc2023-01-16 05:30 2.2K 
[ ]acl2_8.5dfsg-5_amd64.deb2023-01-16 23:45 22M 
[ ]acl2_8.5dfsg-5_arm64.deb2023-01-18 00:43 21M 
[ ]acl2_8.5dfsg-5_armel.deb2023-01-17 22:56 18M 
[ ]acl2_8.5dfsg-5_armhf.deb2023-01-17 15:02 19M 
[ ]acl2_8.5dfsg-5_i386.deb2023-01-16 18:46 19M 
[ ]acl2_8.5dfsg-5_mips64el.deb2023-01-23 16:28 20M 
[ ]acl2_8.5dfsg-5_mipsel.deb2023-01-22 04:00 19M 
[ ]acl2_8.5dfsg-5_ppc64el.deb2023-01-18 23:40 22M 
[ ]acl2_8.5dfsg-5_s390x.deb2023-01-16 18:00 21M 
[ ]acl2_8.5dfsg-6.debian.tar.xz2024-07-28 20:01 306K 
[TXT]acl2_8.5dfsg-6.dsc2024-07-28 20:01 2.2K 
[ ]acl2_8.5dfsg-6_amd64.deb2024-07-29 02:48 22M 
[ ]acl2_8.5dfsg-6_arm64.deb2024-07-29 02:48 20M 
[ ]acl2_8.5dfsg-6_armel.deb2024-07-29 03:55 18M 
[ ]acl2_8.5dfsg-6_armhf.deb2024-07-29 11:05 18M 
[ ]acl2_8.5dfsg-6_i386.deb2024-07-29 03:19 19M 
[ ]acl2_8.5dfsg-6_mips64el.deb2024-08-01 16:24 20M 
[ ]acl2_8.5dfsg-6_ppc64el.deb2024-07-29 01:47 22M 
[ ]acl2_8.5dfsg-6_riscv64.deb2024-07-31 17:19 21M 
[ ]acl2_8.5dfsg-6_s390x.deb2024-07-31 16:58 22M 
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-27 18:43 213M 
[ ]elpa-acl2_8.5dfsg-5_all.deb2023-01-16 18:25 69K 
[ ]elpa-acl2_8.5dfsg-6_all.deb2024-07-29 03:14 69K 
Apache/2.4.56 (Debian) Server at centos.shatel.ir Port 443