Index of /ubuntu-ports/pool/universe/a/acl2/

/ubuntu-ports/pool/universe/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_6.3-5.debian.tar.gz157.7 KiB2013-10-21T13:09Z
acl2_6.3-5.dsc1.7 KiB2013-10-21T13:09Z
acl2_6.3.orig-books.tar.gz13.0 MiB2013-10-21T13:09Z
acl2_6.3.orig.tar.gz6.7 MiB2013-10-21T13:09Z
acl2-infix_6.3-5_powerpc.deb212.1 KiB2013-10-22T18:49Z
acl2-books_6.3-5_powerpc.deb37.7 MiB2013-10-22T18:49Z
acl2_6.3-5_powerpc.deb24.7 MiB2013-10-22T18:49Z
acl2-infix_6.3-5_armhf.deb573.5 KiB2013-10-23T04:44Z
acl2-books_6.3-5_armhf.deb108.1 MiB2013-10-23T04:44Z
acl2_6.3-5_armhf.deb23.1 MiB2013-10-23T04:44Z
acl2-source_6.3-5_all.deb3.6 MiB2013-10-24T16:36Z
acl2-books-certs_6.3-5_all.deb11.1 MiB2013-10-24T16:36Z
acl2-infix-source_6.3-5_all.deb86.0 KiB2013-10-24T16:36Z
acl2-books-source_6.3-5_all.deb9.1 MiB2013-10-24T16:36Z
acl2-emacs_6.3-5_all.deb55.0 KiB2013-10-24T16:36Z
acl2-doc_6.3-5_all.deb12.1 MiB2013-10-24T16:36Z
acl2_7.1-1.debian.tar.xz125.9 KiB2015-06-01T23:24Z
acl2_7.1-1.dsc2.2 KiB2015-06-01T23:24Z
acl2_7.1.orig.tar.gz60.4 MiB2015-06-01T23:24Z
acl2-books_7.1-1_powerpc.deb15.4 MiB2015-06-02T05:48Z
acl2-infix_7.1-1_powerpc.deb132.7 KiB2015-06-02T05:48Z
acl2_7.1-1_powerpc.deb13.4 MiB2015-06-02T05:48Z
acl2-infix_7.1-1_armhf.deb423.2 KiB2015-06-02T12:58Z
acl2_7.1-1_armhf.deb15.4 MiB2015-06-02T12:58Z
acl2-books_7.1-1_armhf.deb59.5 MiB2015-06-02T12:58Z
acl2_7.1-1_arm64.deb14.9 MiB2015-06-02T14:43Z
acl2-infix_7.1-1_arm64.deb147.5 KiB2015-06-02T14:43Z
acl2-books_7.1-1_arm64.deb18.7 MiB2015-06-02T14:43Z
acl2-books-certs_7.1-1_all.deb12.6 MiB2015-06-27T13:48Z
acl2-doc_7.1-1_all.deb353.3 KiB2015-06-27T13:48Z
acl2-emacs_7.1-1_all.deb55.2 KiB2015-06-27T13:48Z
acl2-books-source_7.1-1_all.deb9.9 MiB2015-06-27T13:48Z
acl2-infix-source_7.1-1_all.deb70.3 KiB2015-06-27T13:48Z
acl2-source_7.1-1_all.deb2.7 MiB2015-06-27T13:48Z
acl2_8.0dfsg-1.dsc2.2 KiB2018-01-13T23:08Z
acl2_8.0dfsg-1.debian.tar.xz200.0 KiB2018-01-13T23:08Z
acl2_8.0dfsg.orig.tar.gz74.0 MiB2018-01-13T23:08Z
acl2-infix-source_8.0dfsg-1_all.deb70.2 KiB2018-01-14T03:08Z
acl2-doc_8.0dfsg-1_all.deb385.1 KiB2018-01-14T03:08Z
acl2-source_8.0dfsg-1_all.deb2.9 MiB2018-01-14T03:08Z
acl2-books-source_8.0dfsg-1_all.deb11.9 MiB2018-01-14T03:08Z
acl2-emacs_8.0dfsg-1_all.deb58.9 KiB2018-01-14T03:08Z
acl2-books-certs_8.0dfsg-1_all.deb70.0 MiB2018-01-14T03:08Z
acl2-infix_8.0dfsg-1_armhf.deb400.2 KiB2018-01-21T23:13Z
acl2-books_8.0dfsg-1_armhf.deb115.7 MiB2018-01-21T23:13Z
acl2_8.0dfsg-1_armhf.deb15.4 MiB2018-01-21T23:13Z
acl2-books_8.0dfsg-1_arm64.deb134.7 MiB2018-01-22T03:23Z
acl2_8.0dfsg-1_arm64.deb16.9 MiB2018-01-22T03:23Z
acl2-infix_8.0dfsg-1_arm64.deb420.5 KiB2018-01-22T03:23Z
acl2_8.0dfsg-1_s390x.deb17.8 MiB2018-01-23T21:18Z
acl2-infix_8.0dfsg-1_s390x.deb378.0 KiB2018-01-23T21:18Z
acl2-books_8.0dfsg-1_s390x.deb121.5 MiB2018-01-23T21:18Z
acl2-infix_8.0dfsg-1_ppc64el.deb464.2 KiB2018-01-31T14:57Z
acl2-books_8.0dfsg-1_ppc64el.deb135.3 MiB2018-01-31T14:58Z
acl2_8.0dfsg-1_ppc64el.deb18.6 MiB2018-01-31T14:58Z
acl2_8.2dfsg.orig.tar.gz76.9 MiB2019-12-19T23:13Z
acl2_8.2dfsg-3build1.debian.tar.xz201.2 KiB2020-03-23T07:00Z
acl2_8.2dfsg-3build1.dsc2.2 KiB2020-03-23T07:00Z
acl2-infix_8.2dfsg-3build1_s390x.deb434.6 KiB2020-03-23T12:14Z
acl2_8.2dfsg-3build1_s390x.deb20.1 MiB2020-03-23T12:14Z
acl2-books_8.2dfsg-3build1_s390x.deb148.4 MiB2020-03-23T12:14Z
acl2-infix-source_8.2dfsg-3build1_all.deb70.2 KiB2020-03-23T13:24Z
acl2-books-certs_8.2dfsg-3build1_all.deb65.8 MiB2020-03-23T13:24Z
acl2-emacs_8.2dfsg-3build1_all.deb59.1 KiB2020-03-23T13:24Z
acl2-books-source_8.2dfsg-3build1_all.deb13.6 MiB2020-03-23T13:24Z
acl2-doc_8.2dfsg-3build1_all.deb418.1 KiB2020-03-23T13:24Z
acl2-source_8.2dfsg-3build1_all.deb3.1 MiB2020-03-23T13:24Z
acl2-books_8.2dfsg-3build1_ppc64el.deb169.6 MiB2020-03-23T15:18Z
acl2_8.2dfsg-3build1_ppc64el.deb20.9 MiB2020-03-23T15:18Z
acl2-infix_8.2dfsg-3build1_ppc64el.deb485.6 KiB2020-03-23T15:18Z
acl2_8.2dfsg-3build1_armhf.deb17.8 MiB2020-03-24T08:18Z
acl2-books_8.2dfsg-3build1_armhf.deb151.2 MiB2020-03-24T08:18Z
acl2-infix_8.2dfsg-3build1_armhf.deb447.1 KiB2020-03-24T08:18Z
acl2-books_8.2dfsg-3build1_arm64.deb161.5 MiB2020-03-24T08:48Z
acl2_8.2dfsg-3build1_arm64.deb19.4 MiB2020-03-24T08:48Z
acl2-infix_8.2dfsg-3build1_arm64.deb460.9 KiB2020-03-24T08:48Z
acl2_8.4dfsg.orig.tar.gz193.6 MiB2021-10-28T23:18Z
acl2_8.4dfsg-2.dsc2.2 KiB2021-11-01T23:24Z
acl2_8.4dfsg-2.debian.tar.xz304.3 KiB2021-11-01T23:24Z
acl2-books_8.4dfsg-2_s390x.deb325.5 MiB2021-12-18T17:36Z
acl2_8.4dfsg-2_s390x.deb24.8 MiB2021-12-18T17:36Z
acl2-infix_8.4dfsg-2_s390x.deb553.9 KiB2021-12-18T17:36Z
elpa-acl2_8.4dfsg-2_all.deb69.1 KiB2021-12-19T01:09Z
acl2-doc_8.4dfsg-2_all.deb441.1 KiB2021-12-19T01:09Z
acl2-source_8.4dfsg-2_all.deb3.4 MiB2021-12-19T01:10Z
acl2-books-certs_8.4dfsg-2_all.deb221.1 MiB2021-12-19T01:10Z
acl2-books-source_8.4dfsg-2_all.deb21.1 MiB2021-12-19T01:10Z
acl2-infix-source_8.4dfsg-2_all.deb72.0 KiB2021-12-19T01:10Z
acl2-infix_8.4dfsg-2_ppc64el.deb604.1 KiB2021-12-25T19:23Z
acl2-books_8.4dfsg-2_ppc64el.deb352.3 MiB2021-12-25T19:23Z
acl2_8.4dfsg-2_ppc64el.deb25.2 MiB2021-12-25T19:23Z
acl2_8.4dfsg-2_armhf.deb21.3 MiB2021-12-26T05:49Z
acl2-infix_8.4dfsg-2_armhf.deb551.4 KiB2021-12-26T05:49Z
acl2-books_8.4dfsg-2_armhf.deb320.6 MiB2021-12-26T05:49Z
acl2-books_8.4dfsg-2_arm64.deb334.8 MiB2021-12-26T07:08Z
acl2-infix_8.4dfsg-2_arm64.deb559.2 KiB2021-12-26T07:08Z
acl2_8.4dfsg-2_arm64.deb23.9 MiB2021-12-26T07:08Z
acl2_8.5dfsg.orig.tar.gz213.2 MiB2022-07-27T23:33Z
acl2_8.5dfsg-5build3.dsc2.3 KiB2024-04-01T05:43Z
acl2_8.5dfsg-5build3.debian.tar.xz305.7 KiB2024-04-01T05:43Z
acl2-infix_8.5dfsg-5build3_s390x.deb540.9 KiB2024-04-02T05:59Z
acl2-books_8.5dfsg-5build3_s390x.deb330.7 MiB2024-04-02T05:59Z
acl2_8.5dfsg-5build3_s390x.deb27.2 MiB2024-04-02T05:59Z
acl2-infix-source_8.5dfsg-5build3_all.deb72.4 KiB2024-04-02T08:02Z
acl2-doc_8.5dfsg-5build3_all.deb473.9 KiB2024-04-02T08:02Z
elpa-acl2_8.5dfsg-5build3_all.deb70.7 KiB2024-04-02T08:02Z
acl2-source_8.5dfsg-5build3_all.deb3.5 MiB2024-04-02T08:02Z
acl2-books-source_8.5dfsg-5build3_all.deb22.7 MiB2024-04-02T08:02Z
acl2-books-certs_8.5dfsg-5build3_all.deb215.8 MiB2024-04-02T08:03Z
acl2-infix_8.5dfsg-5build3_ppc64el.deb594.4 KiB2024-04-02T13:19Z
acl2_8.5dfsg-5build3_ppc64el.deb26.0 MiB2024-04-02T13:19Z
acl2-books_8.5dfsg-5build3_ppc64el.deb350.3 MiB2024-04-02T13:19Z
acl2-infix_8.5dfsg-5build3_armhf.deb541.6 KiB2024-04-03T15:40Z
acl2_8.5dfsg-5build3_armhf.deb21.4 MiB2024-04-03T15:40Z
acl2-books_8.5dfsg-5build3_armhf.deb317.6 MiB2024-04-03T15:40Z
acl2-infix_8.5dfsg-5build3_riscv64.deb1.5 MiB2024-04-07T23:42Z
acl2-books_8.5dfsg-5build3_riscv64.deb1.0 GiB2024-04-07T23:42Z
acl2_8.5dfsg-5build3_riscv64.deb25.1 MiB2024-04-07T23:42Z
acl2-infix_8.5dfsg-5build3_arm64.deb541.5 KiB2024-04-11T15:38Z
acl2-books_8.5dfsg-5build3_arm64.deb337.1 MiB2024-04-11T15:38Z
acl2_8.5dfsg-5build3_arm64.deb24.2 MiB2024-04-11T15:38Z
acl2_8.5dfsg-6.dsc2.2 KiB2024-07-28T23:59Z
acl2_8.5dfsg-6.debian.tar.xz305.5 KiB2024-07-28T23:59Z
elpa-acl2_8.5dfsg-6_all.deb70.8 KiB2024-07-29T04:20Z
acl2-source_8.5dfsg-6_all.deb3.5 MiB2024-07-29T04:20Z
acl2-doc_8.5dfsg-6_all.deb473.8 KiB2024-07-29T04:20Z
acl2-infix-source_8.5dfsg-6_all.deb72.3 KiB2024-07-29T04:20Z
acl2-books-source_8.5dfsg-6_all.deb22.7 MiB2024-07-29T04:20Z
acl2-books-certs_8.5dfsg-6_all.deb78.6 MiB2024-07-29T04:20Z
acl2-infix_8.5dfsg-6_s390x.deb531.7 KiB2024-07-29T04:20Z
acl2-books_8.5dfsg-6_s390x.deb168.9 MiB2024-07-29T04:20Z
acl2_8.5dfsg-6_s390x.deb26.8 MiB2024-07-29T04:20Z
acl2-infix_8.5dfsg-6_ppc64el.deb590.6 KiB2024-07-29T06:11Z
acl2-books_8.5dfsg-6_ppc64el.deb183.1 MiB2024-07-29T06:11Z
acl2_8.5dfsg-6_ppc64el.deb25.7 MiB2024-07-29T06:11Z
acl2-infix_8.5dfsg-6_arm64.deb533.4 KiB2024-07-29T07:11Z
acl2-books_8.5dfsg-6_arm64.deb169.4 MiB2024-07-29T07:11Z
acl2_8.5dfsg-6_arm64.deb24.3 MiB2024-07-29T07:11Z
acl2-infix_8.5dfsg-6_armhf.deb541.6 KiB2024-07-29T08:18Z
acl2-books_8.5dfsg-6_armhf.deb161.8 MiB2024-07-29T08:18Z
acl2_8.5dfsg-6_armhf.deb21.1 MiB2024-07-29T08:18Z
acl2-infix_8.5dfsg-6_riscv64.deb1.4 MiB2024-07-31T19:50Z
acl2-books_8.5dfsg-6_riscv64.deb507.4 MiB2024-07-31T19:50Z
acl2_8.5dfsg-6_riscv64.deb24.3 MiB2024-07-31T19:50Z

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