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

/debian/pool/main/m/menhir/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
menhir_20240715+ds.orig.tar.xz 5403322024-Aug-20 06:40
menhir_20240715+ds-1_s390x.deb 13843442024-Aug-20 07:00
menhir_20240715+ds-1_riscv64.deb 14146682024-Aug-20 07:20
menhir_20240715+ds-1_ppc64el.deb 14004922024-Aug-20 07:05
menhir_20240715+ds-1_mips64el.deb 3822162024-Aug-20 07:05
menhir_20240715+ds-1_i386.deb 4052402024-Aug-20 07:05
menhir_20240715+ds-1_armhf.deb 3672802024-Aug-20 07:05
menhir_20240715+ds-1_armel.deb 3681202024-Aug-20 07:05
menhir_20240715+ds-1_arm64.deb 15691882024-Aug-20 07:05
menhir_20240715+ds-1_amd64.deb 13757322024-Aug-20 07:00
menhir_20240715+ds-1.dsc 20842024-Aug-20 06:40
menhir_20240715+ds-1.debian.tar.xz 138522024-Aug-20 06:40
menhir_20220210+ds.orig.tar.xz 5343522022-Mar-18 10:03
menhir_20220210+ds-2_s390x.deb 11484762022-May-13 17:45
menhir_20220210+ds-2_ppc64el.deb 11797642022-May-13 15:59
menhir_20220210+ds-2_mipsel.deb 3110562022-May-13 15:59
menhir_20220210+ds-2_mips64el.deb 3109162022-May-13 15:44
menhir_20220210+ds-2_i386.deb 10616722022-May-13 15:44
menhir_20220210+ds-2_armhf.deb 10885442022-May-13 15:44
menhir_20220210+ds-2_armel.deb 3019882022-May-13 16:14
menhir_20220210+ds-2_arm64.deb 13281122022-May-13 15:44
menhir_20220210+ds-2_amd64.deb 11419202022-May-13 15:44
menhir_20220210+ds-2.dsc 23212022-May-13 14:47
menhir_20220210+ds-2.debian.tar.xz 133482022-May-13 14:47
menhir_20201216.orig.tar.gz 11092512021-Jan-17 20:46
menhir_20201216-1_s390x.deb 8471922021-Jan-17 21:27
menhir_20201216-1_ppc64el.deb 8873002021-Jan-17 21:27
menhir_20201216-1_mipsel.deb 2613442021-Jan-17 21:42
menhir_20201216-1_mips64el.deb 2612882021-Jan-18 02:27
menhir_20201216-1_i386.deb 8113162021-Jan-17 22:43
menhir_20201216-1_armhf.deb 8225282021-Jan-17 23:13
menhir_20201216-1_armel.deb 2492602021-Jan-17 22:12
menhir_20201216-1_arm64.deb 9895442021-Jan-17 21:27
menhir_20201216-1_amd64.deb 8532202021-Jan-17 22:58
menhir_20201216-1.dsc 22362021-Jan-17 20:46
menhir_20201216-1.debian.tar.xz 134002021-Jan-17 20:46
menhir_20181113.orig.tar.gz 10284322018-Nov-14 21:30
menhir_20181113-1_i386.deb 5767322018-Nov-15 09:42
menhir_20181113-1_armhf.deb 5977762018-Nov-14 22:43
menhir_20181113-1_arm64.deb 6955602018-Nov-14 22:58
menhir_20181113-1_amd64.deb 6416842018-Nov-14 23:43
menhir_20181113-1.dsc 22492018-Nov-14 21:30
menhir_20181113-1.debian.tar.xz 74322018-Nov-14 21:30
menhir-doc_20240715+ds-1_all.deb 4776682024-Aug-20 07:05
menhir-doc_20220210+ds-2_all.deb 4513002022-May-13 15:44
menhir-doc_20201216-1_all.deb 5523082021-Jan-17 23:44
menhir-doc_20181113-1_all.deb 5720642018-Nov-14 21:52
libmenhir-ocaml-dev_20240715+ds-1_s390x.deb 9032882024-Aug-20 07:00
libmenhir-ocaml-dev_20240715+ds-1_riscv64.deb 9442682024-Aug-20 07:20
libmenhir-ocaml-dev_20240715+ds-1_ppc64el.deb 9144962024-Aug-20 07:05
libmenhir-ocaml-dev_20240715+ds-1_mips64el.deb 8091042024-Aug-20 07:05
libmenhir-ocaml-dev_20240715+ds-1_i386.deb 8090202024-Aug-20 07:05
libmenhir-ocaml-dev_20240715+ds-1_armhf.deb 8092922024-Aug-20 07:05
libmenhir-ocaml-dev_20240715+ds-1_armel.deb 8090362024-Aug-20 07:05
libmenhir-ocaml-dev_20240715+ds-1_arm64.deb 9083682024-Aug-20 07:05
libmenhir-ocaml-dev_20240715+ds-1_amd64.deb 9060002024-Aug-20 07:00
libmenhir-ocaml-dev_20220210+ds-2_s390x.deb 5296562022-May-13 17:45
libmenhir-ocaml-dev_20220210+ds-2_ppc64el.deb 5414322022-May-13 15:59
libmenhir-ocaml-dev_20220210+ds-2_mipsel.deb 4698682022-May-13 15:59
libmenhir-ocaml-dev_20220210+ds-2_mips64el.deb 4698722022-May-13 15:44
libmenhir-ocaml-dev_20220210+ds-2_i386.deb 5269762022-May-13 15:44
libmenhir-ocaml-dev_20220210+ds-2_armhf.deb 5313682022-May-13 15:44
libmenhir-ocaml-dev_20220210+ds-2_armel.deb 4698682022-May-13 16:14
libmenhir-ocaml-dev_20220210+ds-2_arm64.deb 5361762022-May-13 15:44
libmenhir-ocaml-dev_20220210+ds-2_amd64.deb 5332442022-May-13 15:44
libmenhir-ocaml-dev_20201216-1_s390x.deb 5302522021-Jan-17 21:27
libmenhir-ocaml-dev_20201216-1_ppc64el.deb 5421562021-Jan-17 21:27
libmenhir-ocaml-dev_20201216-1_mipsel.deb 4727642021-Jan-17 21:42
libmenhir-ocaml-dev_20201216-1_mips64el.deb 4727642021-Jan-18 02:27
libmenhir-ocaml-dev_20201216-1_i386.deb 5303802021-Jan-17 22:43
libmenhir-ocaml-dev_20201216-1_armhf.deb 5345162021-Jan-17 23:13
libmenhir-ocaml-dev_20201216-1_armel.deb 4727602021-Jan-17 22:12
libmenhir-ocaml-dev_20201216-1_arm64.deb 5366722021-Jan-17 21:27
libmenhir-ocaml-dev_20201216-1_amd64.deb 5340402021-Jan-17 22:58
libmenhir-ocaml-dev_20181113-1_i386.deb 2108322018-Nov-15 09:42
libmenhir-ocaml-dev_20181113-1_armhf.deb 2155322018-Nov-14 22:43
libmenhir-ocaml-dev_20181113-1_arm64.deb 2205922018-Nov-14 22:58
libmenhir-ocaml-dev_20181113-1_amd64.deb 2176442018-Nov-14 23:43

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