Index of /ubuntu-ports/pool/universe/m/menhir/

/ubuntu-ports/pool/universe/m/menhir/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libmenhir-ocaml-dev_20130116.dfsg-2_arm64.deb30.4 KiB23 Dec 2013 01:28:33 +0000
libmenhir-ocaml-dev_20130116.dfsg-2_armhf.deb44.6 KiB23 Dec 2013 01:08:51 +0000
libmenhir-ocaml-dev_20130116.dfsg-2_powerpc.deb43.8 KiB23 Dec 2013 01:09:00 +0000
libmenhir-ocaml-dev_20130116.dfsg-2_ppc64el.deb30.4 KiB19 Feb 2014 10:08:51 +0000
libmenhir-ocaml-dev_20151112.dfsg-1_arm64.deb99.3 KiB18 Jan 2016 05:25:43 +0000
libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb101.0 KiB18 Jan 2016 05:26:05 +0000
libmenhir-ocaml-dev_20151112.dfsg-1_powerpc.deb95.8 KiB18 Jan 2016 05:26:27 +0000
libmenhir-ocaml-dev_20151112.dfsg-1_ppc64el.deb57.2 KiB18 Jan 2016 05:26:36 +0000
libmenhir-ocaml-dev_20151112.dfsg-1_s390x.deb57.2 KiB18 Jan 2016 05:26:51 +0000
libmenhir-ocaml-dev_20171222-1_arm64.deb174.1 KiB02 Jan 2018 23:29:31 +0000
libmenhir-ocaml-dev_20171222-1_armhf.deb175.4 KiB02 Jan 2018 23:29:37 +0000
libmenhir-ocaml-dev_20171222-1_ppc64el.deb177.3 KiB02 Jan 2018 23:29:49 +0000
libmenhir-ocaml-dev_20171222-1_s390x.deb171.4 KiB02 Jan 2018 23:29:54 +0000
libmenhir-ocaml-dev_20200123-2_arm64.deb459.1 KiB12 Mar 2020 14:08:43 +0000
libmenhir-ocaml-dev_20200123-2_armhf.deb452.5 KiB12 Mar 2020 14:08:46 +0000
libmenhir-ocaml-dev_20200123-2_ppc64el.deb458.8 KiB12 Mar 2020 14:08:51 +0000
libmenhir-ocaml-dev_20200123-2_riscv64.deb398.4 KiB04 Apr 2020 16:03:24 +0000
libmenhir-ocaml-dev_20200123-2_s390x.deb451.0 KiB12 Mar 2020 14:08:54 +0000
libmenhir-ocaml-dev_20210929-1build1_arm64.deb616.6 KiB24 Jan 2022 16:44:14 +0000
libmenhir-ocaml-dev_20210929-1build1_armhf.deb612.0 KiB24 Jan 2022 16:44:17 +0000
libmenhir-ocaml-dev_20210929-1build1_ppc64el.deb623.4 KiB24 Jan 2022 16:44:18 +0000
libmenhir-ocaml-dev_20210929-1build1_riscv64.deb649.4 KiB24 Jan 2022 17:57:29 +0000
libmenhir-ocaml-dev_20210929-1build1_s390x.deb612.0 KiB24 Jan 2022 16:44:19 +0000
libmenhir-ocaml-dev_20231231+ds-1_arm64.deb742.9 KiB15 Feb 2024 18:29:37 +0000
libmenhir-ocaml-dev_20231231+ds-1_armhf.deb732.8 KiB15 Feb 2024 18:29:40 +0000
libmenhir-ocaml-dev_20231231+ds-1_ppc64el.deb746.3 KiB15 Feb 2024 18:29:45 +0000
libmenhir-ocaml-dev_20231231+ds-1_riscv64.deb783.0 KiB16 Feb 2024 01:53:23 +0000
libmenhir-ocaml-dev_20231231+ds-1_s390x.deb728.3 KiB15 Feb 2024 18:30:01 +0000
libmenhir-ocaml-dev_20240715+ds-1build1_arm64.deb886.0 KiB29 Jan 2025 16:13:23 +0000
libmenhir-ocaml-dev_20240715+ds-1build1_armhf.deb772.3 KiB29 Jan 2025 13:17:14 +0000
libmenhir-ocaml-dev_20240715+ds-1build1_ppc64el.deb890.7 KiB29 Jan 2025 13:17:19 +0000
libmenhir-ocaml-dev_20240715+ds-1build1_riscv64.deb932.7 KiB29 Jan 2025 14:41:19 +0000
libmenhir-ocaml-dev_20240715+ds-1build1_s390x.deb876.9 KiB29 Jan 2025 14:41:29 +0000
libmenhir-ocaml-dev_20240715+ds-1build2_arm64.deb883.4 KiB16 Jun 2025 20:18:16 +0000
libmenhir-ocaml-dev_20240715+ds-1build2_armhf.deb770.9 KiB16 Jun 2025 20:18:24 +0000
libmenhir-ocaml-dev_20240715+ds-1build2_ppc64el.deb888.0 KiB16 Jun 2025 20:18:31 +0000
libmenhir-ocaml-dev_20240715+ds-1build2_riscv64.deb929.9 KiB16 Jun 2025 21:48:38 +0000
libmenhir-ocaml-dev_20240715+ds-1build2_s390x.deb875.1 KiB16 Jun 2025 20:18:47 +0000
libmenhir-ocaml-dev_20250912+ds-1build2_arm64.deb763.0 KiB27 Feb 2026 07:47:22 +0000
libmenhir-ocaml-dev_20250912+ds-1build2_armhf.deb656.3 KiB27 Feb 2026 07:47:28 +0000
libmenhir-ocaml-dev_20250912+ds-1build2_ppc64el.deb764.8 KiB27 Feb 2026 07:47:32 +0000
libmenhir-ocaml-dev_20250912+ds-1build2_riscv64.deb808.1 KiB27 Feb 2026 11:12:25 +0000
libmenhir-ocaml-dev_20250912+ds-1build2_s390x.deb756.4 KiB27 Feb 2026 07:47:50 +0000
libmenhir-ocaml-dev_20260209+ds-2_arm64.deb1.1 MiB17 Jul 2026 19:46:01 +0000
libmenhir-ocaml-dev_20260209+ds-2_armhf.deb961.2 KiB17 Jul 2026 19:46:30 +0000
libmenhir-ocaml-dev_20260209+ds-2_ppc64el.deb1.1 MiB17 Jul 2026 19:46:52 +0000
libmenhir-ocaml-dev_20260209+ds-2_riscv64.deb1.2 MiB18 Jul 2026 16:34:20 +0000
libmenhir-ocaml-dev_20260209+ds-2_s390x.deb1.1 MiB17 Jul 2026 19:47:37 +0000
menhir-doc_20171222-1_all.deb441.0 KiB02 Jan 2018 23:29:16 +0000
menhir-doc_20200123-2_all.deb522.9 KiB12 Mar 2020 14:08:38 +0000
menhir-doc_20210929-1build1_all.deb542.0 KiB24 Jan 2022 16:44:08 +0000
menhir-doc_20231231+ds-1_all.deb466.2 KiB15 Feb 2024 18:29:33 +0000
menhir-doc_20240715+ds-1build1_all.deb466.4 KiB29 Jan 2025 13:17:01 +0000
menhir-doc_20240715+ds-1build2_all.deb466.3 KiB16 Jun 2025 20:18:02 +0000
menhir-doc_20250912+ds-1build2_all.deb446.7 KiB27 Feb 2026 07:47:05 +0000
menhir-doc_20260209+ds-2_all.deb527.3 KiB17 Jul 2026 19:44:31 +0000
menhir_20130116.dfsg-2.debian.tar.gz6.3 KiB03 Dec 2013 05:28:39 +0000
menhir_20130116.dfsg-2.dsc2.1 KiB03 Dec 2013 05:28:39 +0000
menhir_20130116.dfsg-2_arm64.deb925.0 KiB23 Dec 2013 01:28:33 +0000
menhir_20130116.dfsg-2_armhf.deb432.5 KiB23 Dec 2013 01:08:51 +0000
menhir_20130116.dfsg-2_powerpc.deb373.9 KiB23 Dec 2013 01:09:00 +0000
menhir_20130116.dfsg-2_ppc64el.deb925.2 KiB19 Feb 2014 10:08:51 +0000
menhir_20130116.dfsg.orig.tar.gz262.1 KiB03 Dec 2013 05:28:39 +0000
menhir_20151112.dfsg-1.debian.tar.xz6.5 KiB18 Jan 2016 05:25:01 +0000
menhir_20151112.dfsg-1.dsc2.1 KiB18 Jan 2016 05:25:01 +0000
menhir_20151112.dfsg-1_arm64.deb605.3 KiB18 Jan 2016 05:25:42 +0000
menhir_20151112.dfsg-1_armhf.deb617.4 KiB18 Jan 2016 05:26:04 +0000
menhir_20151112.dfsg-1_powerpc.deb554.7 KiB18 Jan 2016 05:26:27 +0000
menhir_20151112.dfsg-1_ppc64el.deb1.1 MiB18 Jan 2016 05:26:36 +0000
menhir_20151112.dfsg-1_s390x.deb1.1 MiB18 Jan 2016 05:26:49 +0000
menhir_20151112.dfsg.orig.tar.gz323.9 KiB18 Jan 2016 05:25:01 +0000
menhir_20171222-1.debian.tar.xz6.9 KiB02 Jan 2018 23:29:03 +0000
menhir_20171222-1.dsc2.2 KiB02 Jan 2018 23:29:03 +0000
menhir_20171222-1_arm64.deb647.5 KiB02 Jan 2018 23:29:31 +0000
menhir_20171222-1_armhf.deb560.3 KiB02 Jan 2018 23:29:37 +0000
menhir_20171222-1_ppc64el.deb661.5 KiB02 Jan 2018 23:29:48 +0000
menhir_20171222-1_s390x.deb667.4 KiB02 Jan 2018 23:29:54 +0000
menhir_20171222.orig.tar.gz858.7 KiB02 Jan 2018 23:29:03 +0000
menhir_20200123-2.debian.tar.xz12.6 KiB12 Mar 2020 14:08:23 +0000
menhir_20200123-2.dsc2.2 KiB12 Mar 2020 14:08:23 +0000
menhir_20200123-2_arm64.deb951.9 KiB12 Mar 2020 14:08:43 +0000
menhir_20200123-2_armhf.deb736.6 KiB12 Mar 2020 14:08:47 +0000
menhir_20200123-2_ppc64el.deb837.9 KiB12 Mar 2020 14:08:51 +0000
menhir_20200123-2_riscv64.deb240.8 KiB04 Apr 2020 16:03:24 +0000
menhir_20200123-2_s390x.deb791.4 KiB12 Mar 2020 14:08:54 +0000
menhir_20200123.orig.tar.gz2.3 MiB08 Feb 2020 23:23:24 +0000
menhir_20210929-1build1.debian.tar.xz13.0 KiB24 Jan 2022 16:44:06 +0000
menhir_20210929-1build1.dsc2.2 KiB24 Jan 2022 16:44:06 +0000
menhir_20210929-1build1_arm64.deb1.2 MiB24 Jan 2022 16:44:13 +0000
menhir_20210929-1build1_armhf.deb1002.9 KiB24 Jan 2022 16:44:17 +0000
menhir_20210929-1build1_ppc64el.deb1.1 MiB24 Jan 2022 16:44:18 +0000
menhir_20210929-1build1_riscv64.deb1020.1 KiB24 Jan 2022 17:57:29 +0000
menhir_20210929-1build1_s390x.deb1.0 MiB24 Jan 2022 16:44:18 +0000
menhir_20210929.orig.tar.gz1.1 MiB18 Oct 2021 20:41:14 +0000
menhir_20231231+ds-1.debian.tar.xz13.4 KiB15 Feb 2024 17:24:08 +0000
menhir_20231231+ds-1.dsc2.0 KiB15 Feb 2024 17:24:07 +0000
menhir_20231231+ds-1_arm64.deb1.6 MiB15 Feb 2024 18:29:37 +0000
menhir_20231231+ds-1_armhf.deb1.3 MiB15 Feb 2024 18:29:40 +0000
menhir_20231231+ds-1_ppc64el.deb1.4 MiB15 Feb 2024 18:29:45 +0000
menhir_20231231+ds-1_riscv64.deb1.4 MiB16 Feb 2024 01:53:23 +0000
menhir_20231231+ds-1_s390x.deb1.4 MiB15 Feb 2024 18:30:00 +0000
menhir_20231231+ds.orig.tar.xz527.4 KiB15 Feb 2024 17:24:07 +0000
menhir_20240715+ds-1build1.debian.tar.xz13.5 KiB29 Jan 2025 13:15:00 +0000
menhir_20240715+ds-1build1.dsc2.3 KiB29 Jan 2025 13:15:00 +0000
menhir_20240715+ds-1build1_arm64.deb1.7 MiB29 Jan 2025 16:13:22 +0000
menhir_20240715+ds-1build1_armhf.deb408.2 KiB29 Jan 2025 13:17:14 +0000
menhir_20240715+ds-1build1_ppc64el.deb1.6 MiB29 Jan 2025 13:17:19 +0000
menhir_20240715+ds-1build1_riscv64.deb1.6 MiB29 Jan 2025 14:41:19 +0000
menhir_20240715+ds-1build1_s390x.deb1.6 MiB29 Jan 2025 14:41:29 +0000
menhir_20240715+ds-1build2.debian.tar.xz13.6 KiB16 Jun 2025 20:17:48 +0000
menhir_20240715+ds-1build2.dsc2.3 KiB16 Jun 2025 20:17:48 +0000
menhir_20240715+ds-1build2_arm64.deb1.7 MiB16 Jun 2025 20:18:16 +0000
menhir_20240715+ds-1build2_armhf.deb408.2 KiB16 Jun 2025 20:18:24 +0000
menhir_20240715+ds-1build2_ppc64el.deb1.6 MiB16 Jun 2025 20:18:31 +0000
menhir_20240715+ds-1build2_riscv64.deb1.6 MiB16 Jun 2025 21:48:38 +0000
menhir_20240715+ds-1build2_s390x.deb1.5 MiB16 Jun 2025 20:18:47 +0000
menhir_20240715+ds.orig.tar.xz527.7 KiB21 Aug 2024 06:58:23 +0000
menhir_20250912+ds-1build2.debian.tar.xz13.6 KiB27 Feb 2026 06:37:17 +0000
menhir_20250912+ds-1build2.dsc2.3 KiB27 Feb 2026 06:37:17 +0000
menhir_20250912+ds-1build2_arm64.deb1.8 MiB27 Feb 2026 07:47:22 +0000
menhir_20250912+ds-1build2_armhf.deb415.8 KiB27 Feb 2026 07:47:28 +0000
menhir_20250912+ds-1build2_ppc64el.deb1.6 MiB27 Feb 2026 07:47:32 +0000
menhir_20250912+ds-1build2_riscv64.deb1.6 MiB27 Feb 2026 11:12:25 +0000
menhir_20250912+ds-1build2_s390x.deb1.6 MiB27 Feb 2026 07:47:49 +0000
menhir_20250912+ds.orig.tar.xz570.9 KiB18 Oct 2025 08:50:18 +0000
menhir_20260209+ds-2.debian.tar.xz13.7 KiB17 Jul 2026 18:01:57 +0000
menhir_20260209+ds-2.dsc2.5 KiB17 Jul 2026 18:01:57 +0000
menhir_20260209+ds-2_arm64.deb1.9 MiB17 Jul 2026 19:46:01 +0000
menhir_20260209+ds-2_armhf.deb422.2 KiB17 Jul 2026 19:46:30 +0000
menhir_20260209+ds-2_ppc64el.deb1.7 MiB17 Jul 2026 19:46:52 +0000
menhir_20260209+ds-2_riscv64.deb1.7 MiB18 Jul 2026 16:34:19 +0000
menhir_20260209+ds-2_s390x.deb1.7 MiB17 Jul 2026 19:47:37 +0000
menhir_20260209+ds.orig.tar.xz617.3 KiB13 Jul 2026 19:54:51 +0000

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

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

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

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

Contact Us

Sponsor

华为 旷视

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

cube bars envelope hashtag github weibo