mirrors.hosterion.ro

  1. Home
  2. debian
  3. pool
  4. main
  5. a
  6. acl2
Name Last Modified Size
Parent Directory/   -  
acl2-books-certs_8.3dfsg-2_all.deb 2021-01-28 02:25 138.7M
acl2-books-certs_8.5dfsg-5_all.deb 2023-01-16 14:55 170.1M
acl2-books-certs_8.6+dfsg-2_all.deb 2025-04-27 19:56 211.4M
acl2-books-certs_8.6+dfsg-3_all.deb 2025-05-14 20:24 211.6M
acl2-books-source_8.3dfsg-2_all.deb 2021-01-28 02:25 18.6M
acl2-books-source_8.5dfsg-5_all.deb 2023-01-16 14:55 23.5M
acl2-books-source_8.6+dfsg-2_all.deb 2025-04-27 19:56 26.2M
acl2-books-source_8.6+dfsg-3_all.deb 2025-05-14 20:24 26.2M
acl2-books_8.3dfsg-2_amd64.deb 2021-01-27 21:57 241.2M
acl2-books_8.3dfsg-2_arm64.deb 2021-01-28 15:43 236.0M
acl2-books_8.3dfsg-2_armhf.deb 2021-01-28 06:42 222.9M
acl2-books_8.3dfsg-2_i386.deb 2021-01-27 22:22 203.9M
acl2-books_8.5dfsg-5_amd64.deb 2023-01-16 20:15 287.0M
acl2-books_8.5dfsg-5_arm64.deb 2023-01-17 21:13 289.4M
acl2-books_8.5dfsg-5_armel.deb 2023-01-17 19:26 267.8M
acl2-books_8.5dfsg-5_armhf.deb 2023-01-17 11:32 271.7M
acl2-books_8.5dfsg-5_i386.deb 2023-01-16 15:16 247.6M
acl2-books_8.5dfsg-5_mips64el.deb 2023-01-23 12:58 309.5M
acl2-books_8.5dfsg-5_mipsel.deb 2023-01-22 00:30 284.6M
acl2-books_8.5dfsg-5_ppc64el.deb 2023-01-18 20:10 291.5M
acl2-books_8.5dfsg-5_s390x.deb 2023-01-16 14:30 267.4M
acl2-books_8.6+dfsg-2_amd64.deb 2025-04-27 19:40 415.6M
acl2-books_8.6+dfsg-2_arm64.deb 2025-04-27 19:56 412.5M
acl2-books_8.6+dfsg-2_armel.deb 2025-04-27 21:17 385.6M
acl2-books_8.6+dfsg-2_armhf.deb 2025-04-28 17:17 394.6M
acl2-books_8.6+dfsg-2_i386.deb 2025-04-27 19:25 344.3M
acl2-books_8.6+dfsg-2_ppc64el.deb 2025-04-27 19:30 429.8M
acl2-books_8.6+dfsg-2_riscv64.deb 2025-05-02 01:29 936.0M
acl2-books_8.6+dfsg-2_s390x.deb 2025-04-28 03:56 416.7M
acl2-books_8.6+dfsg-3_amd64.deb 2025-05-14 20:40 415.6M
acl2-books_8.6+dfsg-3_arm64.deb 2025-05-15 13:47 412.5M
acl2-books_8.6+dfsg-3_armel.deb 2025-05-14 23:03 385.8M
acl2-books_8.6+dfsg-3_armhf.deb 2025-05-14 22:17 394.7M
acl2-books_8.6+dfsg-3_i386.deb 2025-05-14 22:27 344.3M
acl2-books_8.6+dfsg-3_mips64el.deb 2025-05-16 08:19 440.7M
acl2-books_8.6+dfsg-3_ppc64el.deb 2025-05-14 20:09 429.9M
acl2-books_8.6+dfsg-3_riscv64.deb 2025-05-19 03:00 936.6M
acl2-books_8.6+dfsg-3_s390x.deb 2025-05-15 02:09 416.5M
acl2-doc_8.3dfsg-2_all.deb 2021-01-28 02:25 437.1K
acl2-doc_8.5dfsg-5_all.deb 2023-01-16 14:55 470.0K
acl2-doc_8.6+dfsg-2_all.deb 2025-04-27 19:56 512.6K
acl2-doc_8.6+dfsg-3_all.deb 2025-05-14 20:24 512.8K
acl2-emacs_8.3dfsg-2_all.deb 2021-01-28 02:25 67.8K
acl2-infix-source_8.3dfsg-2_all.deb 2021-01-28 02:25 78.0K
acl2-infix-source_8.5dfsg-5_all.deb 2023-01-16 14:55 70.6K
acl2-infix-source_8.6+dfsg-2_all.deb 2025-04-27 19:56 70.9K
acl2-infix-source_8.6+dfsg-3_all.deb 2025-05-14 20:24 71.1K
acl2-infix_8.3dfsg-2_amd64.deb 2021-01-27 21:57 478.8K
acl2-infix_8.3dfsg-2_arm64.deb 2021-01-28 15:43 469.4K
acl2-infix_8.3dfsg-2_armhf.deb 2021-01-28 06:42 478.3K
acl2-infix_8.3dfsg-2_i386.deb 2021-01-27 22:22 484.8K
acl2-infix_8.5dfsg-5_amd64.deb 2023-01-16 20:15 464.1K
acl2-infix_8.5dfsg-5_arm64.deb 2023-01-17 21:13 460.7K
acl2-infix_8.5dfsg-5_armel.deb 2023-01-17 19:26 459.1K
acl2-infix_8.5dfsg-5_armhf.deb 2023-01-17 11:32 472.4K
acl2-infix_8.5dfsg-5_i386.deb 2023-01-16 15:16 477.5K
acl2-infix_8.5dfsg-5_mips64el.deb 2023-01-23 12:58 490.5K
acl2-infix_8.5dfsg-5_mipsel.deb 2023-01-22 00:30 502.9K
acl2-infix_8.5dfsg-5_ppc64el.deb 2023-01-18 20:10 483.0K
acl2-infix_8.5dfsg-5_s390x.deb 2023-01-16 14:30 432.0K
acl2-infix_8.6+dfsg-2_amd64.deb 2025-04-27 19:40 866.0K
acl2-infix_8.6+dfsg-2_arm64.deb 2025-04-27 19:56 833.8K
acl2-infix_8.6+dfsg-2_armel.deb 2025-04-27 21:17 814.6K
acl2-infix_8.6+dfsg-2_armhf.deb 2025-04-28 17:17 845.5K
acl2-infix_8.6+dfsg-2_i386.deb 2025-04-27 19:25 852.2K
acl2-infix_8.6+dfsg-2_ppc64el.deb 2025-04-27 19:30 885.4K
acl2-infix_8.6+dfsg-2_riscv64.deb 2025-05-02 01:29 1.8M
acl2-infix_8.6+dfsg-2_s390x.deb 2025-04-28 03:56 863.9K
acl2-infix_8.6+dfsg-3_amd64.deb 2025-05-14 20:40 864.8K
acl2-infix_8.6+dfsg-3_arm64.deb 2025-05-15 13:47 833.5K
acl2-infix_8.6+dfsg-3_armel.deb 2025-05-14 23:03 813.3K
acl2-infix_8.6+dfsg-3_armhf.deb 2025-05-14 22:17 846.4K
acl2-infix_8.6+dfsg-3_i386.deb 2025-05-14 22:27 852.5K
acl2-infix_8.6+dfsg-3_mips64el.deb 2025-05-16 08:19 874.9K
acl2-infix_8.6+dfsg-3_ppc64el.deb 2025-05-14 20:09 882.0K
acl2-infix_8.6+dfsg-3_riscv64.deb 2025-05-19 03:00 1.8M
acl2-infix_8.6+dfsg-3_s390x.deb 2025-05-15 02:09 862.9K
acl2-source_8.3dfsg-2_all.deb 2021-01-28 02:25 3.2M
acl2-source_8.5dfsg-5_all.deb 2023-01-16 14:55 3.4M
acl2-source_8.6+dfsg-2_all.deb 2025-04-27 19:56 3.8M
acl2-source_8.6+dfsg-3_all.deb 2025-05-14 20:24 3.8M
acl2_8.3dfsg-2.debian.tar.xz 2021-01-27 14:34 223.0K
acl2_8.3dfsg-2.dsc 2021-01-27 14:34 2.2K
acl2_8.3dfsg-2_amd64.deb 2021-01-27 21:57 20.5M
acl2_8.3dfsg-2_arm64.deb 2021-01-28 15:43 19.0M
acl2_8.3dfsg-2_armhf.deb 2021-01-28 06:42 17.7M
acl2_8.3dfsg-2_i386.deb 2021-01-27 22:22 18.6M
acl2_8.3dfsg.orig.tar.gz 2020-08-24 02:39 111.8M
acl2_8.5dfsg-5.debian.tar.xz 2023-01-16 02:00 305.6K
acl2_8.5dfsg-5.dsc 2023-01-16 02:00 2.2K
acl2_8.5dfsg-5_amd64.deb 2023-01-16 20:15 22.3M
acl2_8.5dfsg-5_arm64.deb 2023-01-17 21:13 20.6M
acl2_8.5dfsg-5_armel.deb 2023-01-17 19:26 18.2M
acl2_8.5dfsg-5_armhf.deb 2023-01-17 11:32 18.7M
acl2_8.5dfsg-5_i386.deb 2023-01-16 15:16 19.4M
acl2_8.5dfsg-5_mips64el.deb 2023-01-23 12:58 19.6M
acl2_8.5dfsg-5_mipsel.deb 2023-01-22 00:30 18.9M
acl2_8.5dfsg-5_ppc64el.deb 2023-01-18 20:10 22.1M
acl2_8.5dfsg-5_s390x.deb 2023-01-16 14:30 21.0M
acl2_8.5dfsg.orig.tar.gz 2022-07-27 14:13 213.2M
acl2_8.6+dfsg-2.debian.tar.xz 2025-04-27 12:54 434.7K
acl2_8.6+dfsg-2.dsc 2025-04-27 12:54 2.2K
acl2_8.6+dfsg-2_amd64.deb 2025-04-27 19:40 35.2M
acl2_8.6+dfsg-2_arm64.deb 2025-04-27 19:56 34.9M
acl2_8.6+dfsg-2_armel.deb 2025-04-27 21:17 36.2M
acl2_8.6+dfsg-2_armhf.deb 2025-04-28 17:17 36.6M
acl2_8.6+dfsg-2_i386.deb 2025-04-27 19:25 38.8M
acl2_8.6+dfsg-2_ppc64el.deb 2025-04-27 19:30 35.5M
acl2_8.6+dfsg-2_riscv64.deb 2025-05-02 01:29 35.4M
acl2_8.6+dfsg-2_s390x.deb 2025-04-28 03:56 38.0M
acl2_8.6+dfsg-3.debian.tar.xz 2025-05-14 14:10 694.5K
acl2_8.6+dfsg-3.dsc 2025-05-14 14:10 2.2K
acl2_8.6+dfsg-3_amd64.deb 2025-05-14 20:40 35.4M
acl2_8.6+dfsg-3_arm64.deb 2025-05-15 13:47 36.4M
acl2_8.6+dfsg-3_armel.deb 2025-05-14 23:03 36.1M
acl2_8.6+dfsg-3_armhf.deb 2025-05-14 22:17 38.2M
acl2_8.6+dfsg-3_i386.deb 2025-05-14 22:27 39.2M
acl2_8.6+dfsg-3_mips64el.deb 2025-05-16 08:19 35.7M
acl2_8.6+dfsg-3_ppc64el.deb 2025-05-14 20:09 35.4M
acl2_8.6+dfsg-3_riscv64.deb 2025-05-19 03:00 35.4M
acl2_8.6+dfsg-3_s390x.deb 2025-05-15 02:09 37.9M
acl2_8.6+dfsg.orig.tar.gz 2025-04-26 21:21 229.2M
elpa-acl2_8.5dfsg-5_all.deb 2023-01-16 14:55 69.0K
elpa-acl2_8.6+dfsg-2_all.deb 2025-04-27 19:56 76.4K
elpa-acl2_8.6+dfsg-3_all.deb 2025-05-14 20:24 76.6K