<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>menhirlib: 44 s 🏆</title>
    <link rel="shortcut icon" type="image/png" href="../../../../../favicon.png" />
    <link href="../../../../../bootstrap.min.css" rel="stylesheet">
    <link href="../../../../../bootstrap-custom.css" rel="stylesheet">
    <link href="//maxcdn.bootstrapcdn.com/font-awesome/4.2.0/css/font-awesome.min.css" rel="stylesheet">
    <script src="../../../../../moment.min.js"></script>
    <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
    <!--[if lt IE 9]>
      <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
      <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container">
      <div class="navbar navbar-default" role="navigation">
        <div class="container-fluid">
          <div class="navbar-header">
            <a class="navbar-brand" href="../../../../.."><i class="fa fa-lg fa-flag-checkered"></i> Coq bench</a>
          </div>
          <div id="navbar" class="collapse navbar-collapse">
            <ul class="nav navbar-nav">
              <li><a href="../..">clean / released</a></li>
              <li class="active"><a href="">8.9.1 / menhirlib - 20190924</a></li>
            </ul>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <a href="../..">« Up</a>
            <h1>
              menhirlib
              <small>
                20190924
                <span class="label label-success">44 s 🏆</span>
              </small>
            </h1>
            <p>📅 <em><script>document.write(moment("2022-02-16 00:21:27 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2022-02-16 00:21:27 UTC)</em><p>
            <h2>Context</h2>
            <pre># Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-threads        base
base-unix           base
camlp5              7.14        Preprocessor-pretty-printer of OCaml
conf-findutils      1           Virtual package relying on findutils
conf-perl           2           Virtual package relying on perl
coq                 8.9.1       Formal proof management system
num                 1.4         The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.07.1      The OCaml compiler (virtual package)
ocaml-base-compiler 4.07.1      Official release 4.07.1
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.9.3       A library manager for OCaml
# opam file:
opam-version: &quot;2.0&quot;
synopsis: &quot;A support library for verified Coq parsers produced by Menhir&quot;
maintainer: &quot;francois.pottier@inria.fr&quot;
authors: [
  &quot;Jacques-Henri Jourdan &lt;jacques-henri.jourdan@lri.fr&gt;&quot;
]
homepage: &quot;https://gitlab.inria.fr/fpottier/menhir&quot;
dev-repo: &quot;git+https://gitlab.inria.fr/fpottier/menhir.git&quot;
bug-reports: &quot;jacques-henri.jourdan@lri.fr&quot;
build: [
  [make &quot;-C&quot; &quot;coq-menhirlib&quot; &quot;-j%{jobs}%&quot;]
]
patches: [
  &quot;0001-Adjust-make-to-cygwin-mingw-cross-builds.patch&quot;
]
extra-files: [
  [&quot;0001-Adjust-make-to-cygwin-mingw-cross-builds.patch&quot; &quot;sha512=785e48a7d78cdc5a822adad057d69caa232cf9a62dd2402d3b3f0cd768c6d1417c74460e5866f80d8cd2c1edcc8b24b8f8432f916a291daef251bbb75b21ecdd&quot;]
]
install: [
  [make &quot;-C&quot; &quot;coq-menhirlib&quot; &quot;install&quot;]
]
depends: [
  &quot;coq&quot; { &gt;= &quot;8.7&quot; &amp; &lt; &quot;8.12&quot; }
]
conflicts: [
  &quot;menhir&quot; { != &quot;20190924&quot; }
  &quot;coq-native&quot;
]
tags: [
  &quot;date:2019-09-24&quot;
  &quot;logpath:MenhirLib&quot;
]
url {
  src:
    &quot;https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/archive.tar.gz&quot;
  checksum: [
    &quot;md5=677f1997fb73177d5a00fa1b8d61c3ef&quot;
    &quot;sha512=ea8a9a6d773529cf6ac05e4c6c4532770fbb8e574c9b646efcefe90d9f24544741e3e8cfd94c8afea0447e34059a8c79c2829b46764ce3a3d6dcb3e7f75980fc&quot;
  ]
}
</pre>
            <h2>Lint</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <h2>Dry install 🏜️</h2>
            <p>Dry install with the current Coq version:</p>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam install -y --show-action coq-menhirlib.20190924 coq.8.9.1</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <p>Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:</p>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <h2>Install dependencies</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-menhirlib.20190924 coq.8.9.1</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>13 s</dd>
            </dl>
            <h2>Install 🚀</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-menhirlib.20190924 coq.8.9.1</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>44 s</dd>
            </dl>
            <h2>Installation size</h2>
            <p>Total: 5 M</p>
            <ul>
              <li>1 M <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter_complete.vo</code></li>
              <li>1 M <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Main.vo</code></li>
              <li>1 M <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_complete.vo</code></li>
              <li>299 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter.vo</code></li>
              <li>239 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter_correct.vo</code></li>
              <li>141 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_safe.vo</code></li>
              <li>112 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Automaton.vo</code></li>
              <li>106 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter_complete.glob</code></li>
              <li>82 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Alphabet.vo</code></li>
              <li>73 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Grammar.vo</code></li>
              <li>43 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter.glob</code></li>
              <li>39 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_classes.vo</code></li>
              <li>38 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_complete.glob</code></li>
              <li>33 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Alphabet.glob</code></li>
              <li>33 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter_complete.v</code></li>
              <li>20 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter_correct.glob</code></li>
              <li>18 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_safe.glob</code></li>
              <li>18 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter.v</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_complete.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Grammar.glob</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Automaton.glob</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Alphabet.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_safe.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Main.glob</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Interpreter_correct.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Automaton.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_classes.glob</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Grammar.v</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Main.v</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Validator_classes.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Version.vo</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Version.v</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/MenhirLib/Version.glob</code></li>
            </ul>
            <h2>Uninstall 🧹</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam remove -y coq-menhirlib.20190924</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Missing removes</dt>
              <dd>
                none
              </dd>
              <dt>Wrong removes</dt>
              <dd>
                none
              </dd>
            </dl>
          </div>
        </div>
      </div>
      <hr/>
      <div class="footer">
        <p class="text-center">
          Sources are on <a href="https://github.com/coq-bench">GitHub</a> © Guillaume Claret 🐣
        </p>
      </div>
    </div>
    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script>
    <script src="../../../../../bootstrap.min.js"></script>
  </body>
</html>
