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/pool/universe/m/menhir/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libmenhir-ocaml-dev_20130116.dfsg-2_amd64.deb 444982013-Dec-23 01:08
libmenhir-ocaml-dev_20130116.dfsg-2_i386.deb 442462013-Dec-23 01:08
libmenhir-ocaml-dev_20151112.dfsg-1_amd64.deb 988402016-Jan-18 05:25
libmenhir-ocaml-dev_20151112.dfsg-1_i386.deb 986762016-Jan-18 05:26
libmenhir-ocaml-dev_20171222-1_amd64.deb 1764442018-Jan-02 23:29
libmenhir-ocaml-dev_20171222-1_i386.deb 1755562018-Jan-02 23:29
libmenhir-ocaml-dev_20200123-2_amd64.deb 4640362020-Mar-12 14:08
libmenhir-ocaml-dev_20210929-1build1_amd64.deb 6281362022-Jan-24 16:44
libmenhir-ocaml-dev_20220210+ds-2_amd64.deb 6153222022-May-13 23:29
libmenhir-ocaml-dev_20230608+ds-1_amd64.deb 6344742023-Aug-28 08:11
libmenhir-ocaml-dev_20231231+ds-1_amd64.deb 7513622024-Feb-15 18:29
libmenhir-ocaml-dev_20240715+ds-1_amd64.deb 9180802024-Aug-21 06:58
menhir-doc_20171222-1_all.deb 4515362018-Jan-02 23:29
menhir-doc_20200123-2_all.deb 5354002020-Mar-12 14:08
menhir-doc_20210929-1build1_all.deb 5549842022-Jan-24 16:44
menhir-doc_20220210+ds-2_all.deb 4491182022-May-13 23:29
menhir-doc_20230608+ds-1_all.deb 4501602023-Aug-28 08:11
menhir-doc_20231231+ds-1_all.deb 4774302024-Feb-15 18:29
menhir-doc_20240715+ds-1_all.deb 4774802024-Aug-21 06:58
menhir_20130116.dfsg-2.debian.tar.gz 64772013-Dec-03 05:28
menhir_20130116.dfsg-2.dsc 21172013-Dec-03 05:28
menhir_20130116.dfsg-2_amd64.deb 4276082013-Dec-23 01:08
menhir_20130116.dfsg-2_i386.deb 3871322013-Dec-23 01:08
menhir_20130116.dfsg.orig.tar.gz 2684372013-Dec-03 05:28
menhir_20151112.dfsg-1.debian.tar.xz 66962016-Jan-18 05:25
menhir_20151112.dfsg-1.dsc 21332016-Jan-18 05:25
menhir_20151112.dfsg-1_amd64.deb 5942522016-Jan-18 05:25
menhir_20151112.dfsg-1_i386.deb 5530842016-Jan-18 05:26
menhir_20151112.dfsg.orig.tar.gz 3316772016-Jan-18 05:25
menhir_20171222-1.debian.tar.xz 70202018-Jan-02 23:29
menhir_20171222-1.dsc 22902018-Jan-02 23:29
menhir_20171222-1_amd64.deb 6099922018-Jan-02 23:29
menhir_20171222-1_i386.deb 5478802018-Jan-02 23:29
menhir_20171222.orig.tar.gz 8792842018-Jan-02 23:29
menhir_20200123-2.debian.tar.xz 129082020-Mar-12 14:08
menhir_20200123-2.dsc 22092020-Mar-12 14:08
menhir_20200123-2_amd64.deb 7943242020-Mar-12 14:08
menhir_20200123.orig.tar.gz 24569842020-Feb-08 23:23
menhir_20210929-1build1.debian.tar.xz 132722022-Jan-24 16:44
menhir_20210929-1build1.dsc 22602022-Jan-24 16:44
menhir_20210929-1build1_amd64.deb 10665382022-Jan-24 16:44
menhir_20210929.orig.tar.gz 11536432021-Oct-18 20:41
menhir_20220210+ds-2.debian.tar.xz 133482022-May-13 23:13
menhir_20220210+ds-2.dsc 23212022-May-13 23:13
menhir_20220210+ds-2_amd64.deb 12849122022-May-13 23:29
menhir_20220210+ds.orig.tar.xz 5343522022-May-13 23:13
menhir_20230608+ds-1.debian.tar.xz 136802023-Aug-28 07:09
menhir_20230608+ds-1.dsc 20842023-Aug-28 07:09
menhir_20230608+ds-1_amd64.deb 13489842023-Aug-28 08:11
menhir_20230608+ds.orig.tar.xz 5234282023-Aug-28 07:09
menhir_20231231+ds-1.debian.tar.xz 137562024-Feb-15 17:24
menhir_20231231+ds-1.dsc 20842024-Feb-15 17:24
menhir_20231231+ds-1_amd64.deb 14014342024-Feb-15 18:29
menhir_20231231+ds.orig.tar.xz 5400842024-Feb-15 17:24
menhir_20240715+ds-1.debian.tar.xz 138522024-Aug-21 06:58
menhir_20240715+ds-1.dsc 20842024-Aug-21 06:58
menhir_20240715+ds-1_amd64.deb 15310882024-Aug-21 06:58
menhir_20240715+ds.orig.tar.xz 5403322024-Aug-21 06:58

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