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

/debian/pool/main/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_8.5dfsg-6_mips64el.deb20.0 MiB2024-08-01T12:54Z
acl2-infix_8.5dfsg-6_mips64el.deb491.3 KiB2024-08-01T12:54Z
acl2-books_8.5dfsg-6_mips64el.deb163.6 MiB2024-08-01T12:54Z
acl2-books_8.5dfsg-6_riscv64.deb369.8 MiB2024-07-31T13:49Z
acl2_8.5dfsg-6_riscv64.deb21.1 MiB2024-07-31T13:49Z
acl2-infix_8.5dfsg-6_riscv64.deb1008.8 KiB2024-07-31T13:49Z
acl2-books_8.5dfsg-6_s390x.deb147.9 MiB2024-07-31T13:28Z
acl2_8.5dfsg-6_s390x.deb21.9 MiB2024-07-31T13:28Z
acl2-infix_8.5dfsg-6_s390x.deb464.3 KiB2024-07-31T13:28Z
acl2-books_8.5dfsg-6_armhf.deb144.2 MiB2024-07-29T07:35Z
acl2_8.5dfsg-6_armhf.deb18.4 MiB2024-07-29T07:35Z
acl2-infix_8.5dfsg-6_armhf.deb474.7 KiB2024-07-29T07:35Z
acl2_8.5dfsg-6_armel.deb18.1 MiB2024-07-29T00:25Z
acl2-infix_8.5dfsg-6_armel.deb458.5 KiB2024-07-29T00:25Z
acl2-books_8.5dfsg-6_armel.deb142.2 MiB2024-07-29T00:25Z
acl2-books_8.5dfsg-6_i386.deb132.9 MiB2024-07-28T23:49Z
acl2-infix_8.5dfsg-6_i386.deb475.2 KiB2024-07-28T23:49Z
acl2_8.5dfsg-6_i386.deb19.2 MiB2024-07-28T23:49Z
elpa-acl2_8.5dfsg-6_all.deb69.0 KiB2024-07-28T23:44Z
acl2-infix-source_8.5dfsg-6_all.deb70.7 KiB2024-07-28T23:44Z
acl2-doc_8.5dfsg-6_all.deb470.2 KiB2024-07-28T23:44Z
acl2-books-source_8.5dfsg-6_all.deb23.5 MiB2024-07-28T23:44Z
acl2-source_8.5dfsg-6_all.deb3.4 MiB2024-07-28T23:44Z
acl2-books-certs_8.5dfsg-6_all.deb64.2 MiB2024-07-28T23:44Z
acl2-books_8.5dfsg-6_amd64.deb151.0 MiB2024-07-28T23:18Z
acl2_8.5dfsg-6_amd64.deb22.1 MiB2024-07-28T23:18Z
acl2-infix_8.5dfsg-6_amd64.deb465.2 KiB2024-07-28T23:18Z
acl2-infix_8.5dfsg-6_arm64.deb454.9 KiB2024-07-28T23:18Z
acl2_8.5dfsg-6_arm64.deb20.2 MiB2024-07-28T23:18Z
acl2-books_8.5dfsg-6_arm64.deb148.8 MiB2024-07-28T23:18Z
acl2-books_8.5dfsg-6_ppc64el.deb156.8 MiB2024-07-28T22:17Z
acl2-infix_8.5dfsg-6_ppc64el.deb485.0 KiB2024-07-28T22:17Z
acl2_8.5dfsg-6_ppc64el.deb21.7 MiB2024-07-28T22:17Z
acl2_8.5dfsg-6.debian.tar.xz305.5 KiB2024-07-28T16:31Z
acl2_8.5dfsg-6.dsc2.2 KiB2024-07-28T16:31Z
acl2_8.5dfsg-5_mips64el.deb19.6 MiB2023-01-23T12:58Z
acl2-infix_8.5dfsg-5_mips64el.deb490.5 KiB2023-01-23T12:58Z
acl2-books_8.5dfsg-5_mips64el.deb309.5 MiB2023-01-23T12:58Z
acl2_8.5dfsg-5_mipsel.deb18.9 MiB2023-01-22T00:30Z
acl2-infix_8.5dfsg-5_mipsel.deb502.9 KiB2023-01-22T00:30Z
acl2-books_8.5dfsg-5_mipsel.deb284.6 MiB2023-01-22T00:30Z
acl2_8.5dfsg-5_ppc64el.deb22.1 MiB2023-01-18T20:10Z
acl2-infix_8.5dfsg-5_ppc64el.deb483.0 KiB2023-01-18T20:10Z
acl2-books_8.5dfsg-5_ppc64el.deb291.5 MiB2023-01-18T20:10Z
acl2-infix_8.5dfsg-5_arm64.deb460.7 KiB2023-01-17T21:13Z
acl2_8.5dfsg-5_arm64.deb20.6 MiB2023-01-17T21:13Z
acl2-books_8.5dfsg-5_arm64.deb289.4 MiB2023-01-17T21:13Z
acl2-infix_8.5dfsg-5_armel.deb459.1 KiB2023-01-17T19:26Z
acl2-books_8.5dfsg-5_armel.deb267.8 MiB2023-01-17T19:26Z
acl2_8.5dfsg-5_armel.deb18.2 MiB2023-01-17T19:26Z
acl2-infix_8.5dfsg-5_armhf.deb472.4 KiB2023-01-17T11:32Z
acl2-books_8.5dfsg-5_armhf.deb271.7 MiB2023-01-17T11:32Z
acl2_8.5dfsg-5_armhf.deb18.7 MiB2023-01-17T11:32Z
acl2-books_8.5dfsg-5_amd64.deb287.0 MiB2023-01-16T20:15Z
acl2_8.5dfsg-5_amd64.deb22.3 MiB2023-01-16T20:15Z
acl2-infix_8.5dfsg-5_amd64.deb464.1 KiB2023-01-16T20:15Z
acl2-books_8.5dfsg-5_i386.deb247.6 MiB2023-01-16T15:16Z
acl2_8.5dfsg-5_i386.deb19.4 MiB2023-01-16T15:16Z
acl2-infix_8.5dfsg-5_i386.deb477.5 KiB2023-01-16T15:16Z
acl2-doc_8.5dfsg-5_all.deb470.0 KiB2023-01-16T14:55Z
acl2-source_8.5dfsg-5_all.deb3.4 MiB2023-01-16T14:55Z
acl2-infix-source_8.5dfsg-5_all.deb70.6 KiB2023-01-16T14:55Z
acl2-books-source_8.5dfsg-5_all.deb23.5 MiB2023-01-16T14:55Z
elpa-acl2_8.5dfsg-5_all.deb69.0 KiB2023-01-16T14:55Z
acl2-books-certs_8.5dfsg-5_all.deb170.1 MiB2023-01-16T14:55Z
acl2-infix_8.5dfsg-5_s390x.deb432.0 KiB2023-01-16T14:30Z
acl2_8.5dfsg-5_s390x.deb21.0 MiB2023-01-16T14:30Z
acl2-books_8.5dfsg-5_s390x.deb267.4 MiB2023-01-16T14:30Z
acl2_8.5dfsg-5.debian.tar.xz305.6 KiB2023-01-16T02:00Z
acl2_8.5dfsg-5.dsc2.2 KiB2023-01-16T02:00Z
acl2_8.5dfsg.orig.tar.gz213.2 MiB2022-07-27T14:13Z
acl2_8.3dfsg-2_mips64el.deb18.4 MiB2021-01-30T19:12Z
acl2-books_8.3dfsg-2_mips64el.deb253.6 MiB2021-01-30T19:12Z
acl2-infix_8.3dfsg-2_mips64el.deb503.3 KiB2021-01-30T19:12Z
acl2-infix_8.3dfsg-2_mipsel.deb508.9 KiB2021-01-29T09:42Z
acl2_8.3dfsg-2_mipsel.deb18.8 MiB2021-01-29T09:42Z
acl2-books_8.3dfsg-2_mipsel.deb227.9 MiB2021-01-29T09:42Z
acl2_8.3dfsg-2_arm64.deb19.0 MiB2021-01-28T15:43Z
acl2-infix_8.3dfsg-2_arm64.deb469.4 KiB2021-01-28T15:43Z
acl2-books_8.3dfsg-2_arm64.deb236.0 MiB2021-01-28T15:43Z
acl2-books_8.3dfsg-2_armel.deb218.4 MiB2021-01-28T07:13Z
acl2-infix_8.3dfsg-2_armel.deb462.9 KiB2021-01-28T07:13Z
acl2_8.3dfsg-2_armel.deb17.6 MiB2021-01-28T07:13Z
acl2-infix_8.3dfsg-2_armhf.deb478.3 KiB2021-01-28T06:42Z
acl2-books_8.3dfsg-2_armhf.deb222.9 MiB2021-01-28T06:42Z
acl2_8.3dfsg-2_armhf.deb17.7 MiB2021-01-28T06:42Z
acl2-infix_8.3dfsg-2_s390x.deb434.9 KiB2021-01-28T02:35Z
acl2_8.3dfsg-2_s390x.deb19.7 MiB2021-01-28T02:35Z
acl2-books_8.3dfsg-2_s390x.deb219.0 MiB2021-01-28T02:35Z
acl2-books-source_8.3dfsg-2_all.deb18.6 MiB2021-01-28T02:25Z
acl2-emacs_8.3dfsg-2_all.deb67.8 KiB2021-01-28T02:25Z
acl2-books-certs_8.3dfsg-2_all.deb138.7 MiB2021-01-28T02:25Z
acl2-source_8.3dfsg-2_all.deb3.2 MiB2021-01-28T02:25Z
acl2-doc_8.3dfsg-2_all.deb437.1 KiB2021-01-28T02:25Z
acl2-infix-source_8.3dfsg-2_all.deb78.0 KiB2021-01-28T02:25Z
acl2-infix_8.3dfsg-2_ppc64el.deb497.9 KiB2021-01-27T23:44Z
acl2-books_8.3dfsg-2_ppc64el.deb244.8 MiB2021-01-27T23:44Z
acl2_8.3dfsg-2_ppc64el.deb21.6 MiB2021-01-27T23:44Z
acl2_8.3dfsg-2_i386.deb18.6 MiB2021-01-27T22:22Z
acl2-infix_8.3dfsg-2_i386.deb484.8 KiB2021-01-27T22:22Z
acl2-books_8.3dfsg-2_i386.deb203.9 MiB2021-01-27T22:22Z
acl2-infix_8.3dfsg-2_amd64.deb478.8 KiB2021-01-27T21:57Z
acl2-books_8.3dfsg-2_amd64.deb241.2 MiB2021-01-27T21:57Z
acl2_8.3dfsg-2_amd64.deb20.5 MiB2021-01-27T21:57Z
acl2_8.3dfsg-2.debian.tar.xz223.0 KiB2021-01-27T14:34Z
acl2_8.3dfsg-2.dsc2.2 KiB2021-01-27T14:34Z
acl2_8.3dfsg.orig.tar.gz111.8 MiB2020-08-24T02:39Z
acl2_8.0dfsg-1_armhf.deb15.4 MiB2018-01-15T08:46Z
acl2-infix_8.0dfsg-1_armhf.deb406.5 KiB2018-01-15T08:46Z
acl2-books_8.0dfsg-1_armhf.deb119.6 MiB2018-01-15T08:46Z
acl2_8.0dfsg-1_arm64.deb17.0 MiB2018-01-14T02:47Z
acl2-infix_8.0dfsg-1_arm64.deb432.4 KiB2018-01-14T02:47Z
acl2-books_8.0dfsg-1_arm64.deb134.8 MiB2018-01-14T02:47Z
acl2_8.0dfsg-1_i386.deb16.2 MiB2018-01-13T21:26Z
acl2-infix_8.0dfsg-1_i386.deb390.0 KiB2018-01-13T21:26Z
acl2-books_8.0dfsg-1_i386.deb110.6 MiB2018-01-13T21:26Z
acl2_8.0dfsg-1_amd64.deb18.9 MiB2018-01-13T13:52Z
acl2-infix-source_8.0dfsg-1_all.deb77.3 KiB2018-01-13T13:52Z
acl2-infix_8.0dfsg-1_amd64.deb421.9 KiB2018-01-13T13:52Z
acl2-source_8.0dfsg-1_all.deb2.9 MiB2018-01-13T13:52Z
acl2-books_8.0dfsg-1_amd64.deb131.6 MiB2018-01-13T13:52Z
acl2-doc_8.0dfsg-1_all.deb392.1 KiB2018-01-13T13:52Z
acl2-emacs_8.0dfsg-1_all.deb66.0 KiB2018-01-13T13:52Z
acl2_8.0dfsg.orig.tar.gz74.0 MiB2018-01-13T13:52Z
acl2-books-certs_8.0dfsg-1_all.deb69.9 MiB2018-01-13T13:52Z
acl2_8.0dfsg-1.debian.tar.xz200.0 KiB2018-01-13T13:52Z
acl2-books-source_8.0dfsg-1_all.deb11.9 MiB2018-01-13T13:52Z
acl2_8.0dfsg-1.dsc2.2 KiB2018-01-13T13:52Z

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

cube github