Index of /ubuntu-ports/pool/universe/a/aac-tactics/

/ubuntu-ports/pool/universe/a/aac-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
aac-tactics_0.4-2.debian.tar.xz2.8 KiB20 Jan 2014 11:09:02 +0000
aac-tactics_0.4-2.dsc2.1 KiB20 Jan 2014 11:09:02 +0000
aac-tactics_0.4-5build2.debian.tar.xz3.0 KiB05 Nov 2015 00:30:28 +0000
aac-tactics_0.4-5build2.dsc1.9 KiB05 Nov 2015 00:30:28 +0000
aac-tactics_0.4.orig.tar.gz75.5 KiB06 Dec 2013 17:23:26 +0000
aac-tactics_8.11.0-1.debian.tar.xz3.4 KiB18 Mar 2020 18:28:16 +0000
aac-tactics_8.11.0-1.dsc2.1 KiB18 Mar 2020 18:28:16 +0000
aac-tactics_8.11.0.orig.tar.gz63.8 KiB18 Mar 2020 18:28:16 +0000
aac-tactics_8.15.0-1.debian.tar.xz3.5 KiB06 Feb 2022 17:19:13 +0000
aac-tactics_8.15.0-1.dsc2.2 KiB06 Feb 2022 17:19:13 +0000
aac-tactics_8.15.0.orig.tar.gz66.5 KiB06 Feb 2022 17:19:13 +0000
aac-tactics_8.18.0-1build3.debian.tar.xz3.8 KiB08 Apr 2024 07:57:42 +0000
aac-tactics_8.18.0-1build3.dsc2.1 KiB08 Apr 2024 07:57:42 +0000
aac-tactics_8.18.0.orig.tar.gz73.8 KiB21 Dec 2023 23:52:05 +0000
aac-tactics_8.20.0-1build3.debian.tar.xz3.9 KiB18 Feb 2025 21:25:10 +0000
aac-tactics_8.20.0-1build3.dsc2.1 KiB18 Feb 2025 21:25:10 +0000
aac-tactics_8.20.0-1build4.debian.tar.xz3.9 KiB19 Jun 2025 17:20:21 +0000
aac-tactics_8.20.0-1build4.dsc2.1 KiB19 Jun 2025 17:20:21 +0000
aac-tactics_8.20.0-1build8.debian.tar.xz4.0 KiB04 Mar 2026 08:35:01 +0000
aac-tactics_8.20.0-1build8.dsc2.1 KiB04 Mar 2026 08:35:01 +0000
aac-tactics_8.20.0-1build9.debian.tar.xz4.0 KiB08 Jul 2026 15:26:30 +0000
aac-tactics_8.20.0-1build9.dsc2.1 KiB08 Jul 2026 15:26:31 +0000
aac-tactics_8.20.0.orig.tar.gz75.8 KiB20 Nov 2024 18:47:30 +0000
aac-tactics_8.6.1-2.debian.tar.xz3.2 KiB01 Nov 2017 13:05:16 +0000
aac-tactics_8.6.1-2.dsc2.2 KiB01 Nov 2017 13:05:16 +0000
aac-tactics_8.6.1.orig.tar.gz73.3 KiB30 Dec 2016 17:13:27 +0000
libaac-tactics-coq_0.4-2_all.deb207.5 KiB20 Jan 2014 11:33:29 +0000
libaac-tactics-coq_0.4-5build2_all.deb207.7 KiB05 Nov 2015 00:33:49 +0000
libaac-tactics-coq_8.11.0-1_all.deb237.8 KiB18 Mar 2020 19:48:46 +0000
libaac-tactics-coq_8.15.0-1_all.deb282.3 KiB06 Feb 2022 19:04:57 +0000
libaac-tactics-coq_8.6.1-2_all.deb215.6 KiB01 Nov 2017 13:05:26 +0000
libaac-tactics-ocaml-dev_0.4-2_arm64.deb43.1 KiB20 Jan 2014 11:33:45 +0000
libaac-tactics-ocaml-dev_0.4-2_armhf.deb43.2 KiB20 Jan 2014 11:33:47 +0000
libaac-tactics-ocaml-dev_0.4-2_powerpc.deb42.5 KiB20 Jan 2014 11:33:59 +0000
libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb43.2 KiB17 Feb 2014 22:44:03 +0000
libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb42.8 KiB05 Nov 2015 00:34:06 +0000
libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb42.7 KiB05 Nov 2015 00:34:09 +0000
libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb43.1 KiB05 Nov 2015 00:34:28 +0000
libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb42.9 KiB05 Nov 2015 03:49:03 +0000
libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb42.8 KiB05 Jan 2016 17:05:04 +0000
libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb37.7 KiB18 Mar 2020 19:48:47 +0000
libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb37.7 KiB18 Mar 2020 19:48:47 +0000
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb39.8 KiB06 Feb 2022 19:05:10 +0000
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb39.8 KiB06 Feb 2022 19:05:10 +0000
libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb39.8 KiB06 Feb 2022 19:05:12 +0000
libaac-tactics-ocaml-dev_8.15.0-1_riscv64.deb39.8 KiB06 Feb 2022 19:05:15 +0000
libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb39.8 KiB06 Feb 2022 19:05:26 +0000
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb36.8 KiB01 Nov 2017 13:05:28 +0000
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb36.8 KiB01 Nov 2017 14:20:50 +0000
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb36.8 KiB01 Nov 2017 13:05:36 +0000
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb36.8 KiB01 Nov 2017 13:05:49 +0000
libaac-tactics-ocaml_0.4-2_arm64.deb26.6 KiB20 Jan 2014 11:33:45 +0000
libaac-tactics-ocaml_0.4-2_armhf.deb121.4 KiB20 Jan 2014 11:33:47 +0000
libaac-tactics-ocaml_0.4-2_powerpc.deb111.4 KiB20 Jan 2014 11:33:59 +0000
libaac-tactics-ocaml_0.4-2_ppc64el.deb26.7 KiB17 Feb 2014 22:44:03 +0000
libaac-tactics-ocaml_0.4-5build2_arm64.deb110.8 KiB05 Nov 2015 00:34:06 +0000
libaac-tactics-ocaml_0.4-5build2_armhf.deb115.5 KiB05 Nov 2015 00:34:08 +0000
libaac-tactics-ocaml_0.4-5build2_powerpc.deb105.9 KiB05 Nov 2015 00:34:28 +0000
libaac-tactics-ocaml_0.4-5build2_ppc64el.deb27.7 KiB05 Nov 2015 03:49:04 +0000
libaac-tactics-ocaml_0.4-5build2_s390x.deb27.6 KiB05 Jan 2016 17:05:05 +0000
libaac-tactics-ocaml_8.11.0-1_arm64.deb117.9 KiB18 Mar 2020 19:48:46 +0000
libaac-tactics-ocaml_8.11.0-1_ppc64el.deb110.7 KiB18 Mar 2020 19:48:47 +0000
libaac-tactics-ocaml_8.15.0-1_arm64.deb146.6 KiB06 Feb 2022 19:05:10 +0000
libaac-tactics-ocaml_8.15.0-1_armhf.deb128.2 KiB06 Feb 2022 19:05:11 +0000
libaac-tactics-ocaml_8.15.0-1_ppc64el.deb134.3 KiB06 Feb 2022 19:05:11 +0000
libaac-tactics-ocaml_8.15.0-1_riscv64.deb129.4 KiB06 Feb 2022 19:05:15 +0000
libaac-tactics-ocaml_8.15.0-1_s390x.deb132.3 KiB06 Feb 2022 19:05:27 +0000
libaac-tactics-ocaml_8.6.1-2_arm64.deb133.4 KiB01 Nov 2017 13:05:28 +0000
libaac-tactics-ocaml_8.6.1-2_armhf.deb114.4 KiB01 Nov 2017 14:20:50 +0000
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb124.5 KiB01 Nov 2017 13:05:36 +0000
libaac-tactics-ocaml_8.6.1-2_s390x.deb120.2 KiB01 Nov 2017 13:05:49 +0000
libcoq-aac-tactics_8.18.0-1build3_arm64.deb428.8 KiB08 Apr 2024 07:57:49 +0000
libcoq-aac-tactics_8.18.0-1build3_armhf.deb411.4 KiB08 Apr 2024 07:57:50 +0000
libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb418.0 KiB08 Apr 2024 07:57:54 +0000
libcoq-aac-tactics_8.18.0-1build3_riscv64.deb417.7 KiB08 Apr 2024 07:57:55 +0000
libcoq-aac-tactics_8.18.0-1build3_s390x.deb417.1 KiB08 Apr 2024 07:57:58 +0000
libcoq-aac-tactics_8.20.0-1build3_arm64.deb435.8 KiB18 Feb 2025 21:25:49 +0000
libcoq-aac-tactics_8.20.0-1build3_ppc64el.deb424.6 KiB18 Feb 2025 21:26:21 +0000
libcoq-aac-tactics_8.20.0-1build3_riscv64.deb428.4 KiB19 Feb 2025 00:23:54 +0000
libcoq-aac-tactics_8.20.0-1build3_s390x.deb426.6 KiB19 Feb 2025 00:24:10 +0000
libcoq-aac-tactics_8.20.0-1build4_arm64.deb434.4 KiB20 Jun 2025 04:01:54 +0000
libcoq-aac-tactics_8.20.0-1build4_ppc64el.deb423.7 KiB20 Jun 2025 04:02:00 +0000
libcoq-aac-tactics_8.20.0-1build4_riscv64.deb427.9 KiB20 Jun 2025 08:01:24 +0000
libcoq-aac-tactics_8.20.0-1build4_s390x.deb426.5 KiB20 Jun 2025 04:02:06 +0000
libcoq-aac-tactics_8.20.0-1build8_arm64.deb433.9 KiB04 Mar 2026 08:35:51 +0000
libcoq-aac-tactics_8.20.0-1build8_ppc64el.deb423.5 KiB04 Mar 2026 08:35:53 +0000
libcoq-aac-tactics_8.20.0-1build8_riscv64.deb429.9 KiB04 Mar 2026 08:35:55 +0000
libcoq-aac-tactics_8.20.0-1build8_s390x.deb427.8 KiB06 Mar 2026 12:33:49 +0000
libcoq-aac-tactics_8.20.0-1build9_arm64.deb433.3 KiB08 Jul 2026 21:28:30 +0000
libcoq-aac-tactics_8.20.0-1build9_ppc64el.deb423.1 KiB08 Jul 2026 21:33:57 +0000
libcoq-aac-tactics_8.20.0-1build9_riscv64.deb429.0 KiB08 Jul 2026 21:34:06 +0000
libcoq-aac-tactics_8.20.0-1build9_s390x.deb427.3 KiB09 Jul 2026 01:44:46 +0000

本站由清华大学信息化技术中心支持创办，由清华大学 TUNA 协会运行维护。

清华大学 TUNA 协会，全名清华大学学生网络与开源软件协会，是由清华大学热爱网络技术和开源软件的极客组成的学生技术社团。

本站相关源码可在 这里(镜像管理器) 和 这里(镜像站网页) 获取。

根据相关法律法规，本站不对欧盟用户提供服务。

Contact Us

Sponsor

华为 旷视

本存储服务器由华为技术有限公司（Huawei Technologies Co., Ltd.）赞助，并由海思® Kunpeng® 920 处理器强力驱动。TUNA 感谢华为和旷视对开源软件和社区的贡献。

cube bars envelope hashtag github weibo