Welcome To SC Mirrors Site

We are delighted to offer you accelerated services for open-source software.

Region Option

Asian / Tokyo
mirrors.tyo.silicloud.com
American / Los Angeles
mirrors.lax.silicloud.com

Mirrors Help

If you're unsure how to configure Linux distributions/software installation sources, we offer assistance for mainstream distributions here:

Config Guide

Common Links

Silicon Cloud

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
menhir_20240715+ds.orig.tar.xz 5403322024-Aug-21 06:58
menhir_20240715+ds-1build1_s390x.deb 16256202025-Jan-29 14:41
menhir_20240715+ds-1build1_riscv64.deb 16353142025-Jan-29 14:41
menhir_20240715+ds-1build1_ppc64el.deb 16447062025-Jan-29 13:17
menhir_20240715+ds-1build1_armhf.deb 4180042025-Jan-29 13:17
menhir_20240715+ds-1build1_arm64.deb 18216482025-Jan-29 16:13
menhir_20240715+ds-1build1.dsc 23112025-Jan-29 13:15
menhir_20240715+ds-1build1.debian.tar.xz 138682025-Jan-29 13:15
menhir_20240715+ds-1_s390x.deb 16064782024-Aug-21 06:59
menhir_20240715+ds-1_riscv64.deb 16225782024-Aug-21 08:07
menhir_20240715+ds-1_ppc64el.deb 16263782024-Aug-21 06:59
menhir_20240715+ds-1_armhf.deb 4076182024-Aug-21 06:58
menhir_20240715+ds-1_arm64.deb 18079962024-Aug-21 06:58
menhir_20240715+ds-1.dsc 20842024-Aug-21 06:58
menhir_20240715+ds-1.debian.tar.xz 138522024-Aug-21 06:58
menhir_20231231+ds.orig.tar.xz 5400842024-Feb-15 17:24
menhir_20231231+ds-1_s390x.deb 14531222024-Feb-15 18:30
menhir_20231231+ds-1_riscv64.deb 14634282024-Feb-16 01:53
menhir_20231231+ds-1_ppc64el.deb 15103042024-Feb-15 18:29
menhir_20231231+ds-1_armhf.deb 13649442024-Feb-15 18:29
menhir_20231231+ds-1_arm64.deb 17013802024-Feb-15 18:29
menhir_20231231+ds-1.dsc 20842024-Feb-15 17:24
menhir_20231231+ds-1.debian.tar.xz 137562024-Feb-15 17:24
menhir_20210929.orig.tar.gz 11536432021-Oct-18 20:41
menhir_20210929-1build1_s390x.deb 10993982022-Jan-24 16:44
menhir_20210929-1build1_riscv64.deb 10446322022-Jan-24 17:57
menhir_20210929-1build1_ppc64el.deb 11629102022-Jan-24 16:44
menhir_20210929-1build1_armhf.deb 10269862022-Jan-24 16:44
menhir_20210929-1build1_arm64.deb 12915782022-Jan-24 16:44
menhir_20210929-1build1.dsc 22602022-Jan-24 16:44
menhir_20210929-1build1.debian.tar.xz 132722022-Jan-24 16:44
menhir_20200123.orig.tar.gz 24569842020-Feb-08 23:23
menhir_20200123-2_s390x.deb 8104082020-Mar-12 14:08
menhir_20200123-2_riscv64.deb 2465962020-Apr-04 16:03
menhir_20200123-2_ppc64el.deb 8580402020-Mar-12 14:08
menhir_20200123-2_armhf.deb 7543162020-Mar-12 14:08
menhir_20200123-2_arm64.deb 9747122020-Mar-12 14:08
menhir_20200123-2.dsc 22092020-Mar-12 14:08
menhir_20200123-2.debian.tar.xz 129082020-Mar-12 14:08
menhir_20171222.orig.tar.gz 8792842018-Jan-02 23:29
menhir_20171222-1_s390x.deb 6834082018-Jan-02 23:29
menhir_20171222-1_ppc64el.deb 6773762018-Jan-02 23:29
menhir_20171222-1_armhf.deb 5737962018-Jan-02 23:29
menhir_20171222-1_arm64.deb 6630682018-Jan-02 23:29
menhir_20171222-1.dsc 22902018-Jan-02 23:29
menhir_20171222-1.debian.tar.xz 70202018-Jan-02 23:29
menhir_20151112.dfsg.orig.tar.gz 3316772016-Jan-18 05:25
menhir_20151112.dfsg-1_s390x.deb 12046742016-Jan-18 05:26
menhir_20151112.dfsg-1_ppc64el.deb 12051402016-Jan-18 05:26
menhir_20151112.dfsg-1_powerpc.deb 5679962016-Jan-18 05:26
menhir_20151112.dfsg-1_armhf.deb 6322082016-Jan-18 05:26
menhir_20151112.dfsg-1_arm64.deb 6198302016-Jan-18 05:25
menhir_20151112.dfsg-1.dsc 21332016-Jan-18 05:25
menhir_20151112.dfsg-1.debian.tar.xz 66962016-Jan-18 05:25
menhir_20130116.dfsg.orig.tar.gz 2684372013-Dec-03 05:28
menhir_20130116.dfsg-2_ppc64el.deb 9474342014-Feb-19 10:08
menhir_20130116.dfsg-2_powerpc.deb 3828922013-Dec-23 01:09
menhir_20130116.dfsg-2_armhf.deb 4428522013-Dec-23 01:08
menhir_20130116.dfsg-2_arm64.deb 9472402013-Dec-23 01:28
menhir_20130116.dfsg-2.dsc 21172013-Dec-03 05:28
menhir_20130116.dfsg-2.debian.tar.gz 64772013-Dec-03 05:28
menhir-doc_20240715+ds-1build1_all.deb 4775762025-Jan-29 13:17
menhir-doc_20240715+ds-1_all.deb 4774802024-Aug-21 06:58
menhir-doc_20231231+ds-1_all.deb 4774302024-Feb-15 18:29
menhir-doc_20210929-1build1_all.deb 5549842022-Jan-24 16:44
menhir-doc_20200123-2_all.deb 5354002020-Mar-12 14:08
menhir-doc_20171222-1_all.deb 4515362018-Jan-02 23:29
libmenhir-ocaml-dev_20240715+ds-1build1_s390x.deb 8979682025-Jan-29 14:41
libmenhir-ocaml-dev_20240715+ds-1build1_riscv64..> 9550822025-Jan-29 14:41
libmenhir-ocaml-dev_20240715+ds-1build1_ppc64el..> 9120802025-Jan-29 13:17
libmenhir-ocaml-dev_20240715+ds-1build1_armhf.deb 7908122025-Jan-29 13:17
libmenhir-ocaml-dev_20240715+ds-1build1_arm64.deb 9072262025-Jan-29 16:13
libmenhir-ocaml-dev_20240715+ds-1_s390x.deb 9178862024-Aug-21 06:59
libmenhir-ocaml-dev_20240715+ds-1_riscv64.deb 9740522024-Aug-21 08:07
libmenhir-ocaml-dev_20240715+ds-1_ppc64el.deb 9316602024-Aug-21 06:59
libmenhir-ocaml-dev_20240715+ds-1_armhf.deb 8098902024-Aug-21 06:58
libmenhir-ocaml-dev_20240715+ds-1_arm64.deb 9254662024-Aug-21 06:58
libmenhir-ocaml-dev_20231231+ds-1_s390x.deb 7457942024-Feb-15 18:30
libmenhir-ocaml-dev_20231231+ds-1_riscv64.deb 8017762024-Feb-16 01:53
libmenhir-ocaml-dev_20231231+ds-1_ppc64el.deb 7641782024-Feb-15 18:29
libmenhir-ocaml-dev_20231231+ds-1_armhf.deb 7503822024-Feb-15 18:29
libmenhir-ocaml-dev_20231231+ds-1_arm64.deb 7606842024-Feb-15 18:29
libmenhir-ocaml-dev_20210929-1build1_s390x.deb 6267162022-Jan-24 16:44
libmenhir-ocaml-dev_20210929-1build1_riscv64.deb 6649662022-Jan-24 17:57
libmenhir-ocaml-dev_20210929-1build1_ppc64el.deb 6383402022-Jan-24 16:44
libmenhir-ocaml-dev_20210929-1build1_armhf.deb 6266442022-Jan-24 16:44
libmenhir-ocaml-dev_20210929-1build1_arm64.deb 6314282022-Jan-24 16:44
libmenhir-ocaml-dev_20200123-2_s390x.deb 4618042020-Mar-12 14:08
libmenhir-ocaml-dev_20200123-2_riscv64.deb 4079122020-Apr-04 16:03
libmenhir-ocaml-dev_20200123-2_ppc64el.deb 4698122020-Mar-12 14:08
libmenhir-ocaml-dev_20200123-2_armhf.deb 4633402020-Mar-12 14:08
libmenhir-ocaml-dev_20200123-2_arm64.deb 4701442020-Mar-12 14:08
libmenhir-ocaml-dev_20171222-1_s390x.deb 1755482018-Jan-02 23:29
libmenhir-ocaml-dev_20171222-1_ppc64el.deb 1815242018-Jan-02 23:29
libmenhir-ocaml-dev_20171222-1_armhf.deb 1796522018-Jan-02 23:29
libmenhir-ocaml-dev_20171222-1_arm64.deb 1783282018-Jan-02 23:29
libmenhir-ocaml-dev_20151112.dfsg-1_s390x.deb 586182016-Jan-18 05:26
libmenhir-ocaml-dev_20151112.dfsg-1_ppc64el.deb 585662016-Jan-18 05:26
libmenhir-ocaml-dev_20151112.dfsg-1_powerpc.deb 981382016-Jan-18 05:26
libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb 1034342016-Jan-18 05:26
libmenhir-ocaml-dev_20151112.dfsg-1_arm64.deb 1016722016-Jan-18 05:25
libmenhir-ocaml-dev_20130116.dfsg-2_ppc64el.deb 311582014-Feb-19 10:08
libmenhir-ocaml-dev_20130116.dfsg-2_powerpc.deb 448402013-Dec-23 01:09
libmenhir-ocaml-dev_20130116.dfsg-2_armhf.deb 456362013-Dec-23 01:08
libmenhir-ocaml-dev_20130116.dfsg-2_arm64.deb 311222013-Dec-23 01:28

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

cube envelope hashtag github