<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>paco: 3 m 36 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.0 / paco - 2.0.3</a></li>
            </ul>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <a href="../..">« Up</a>
            <h1>
              paco
              <small>
                2.0.3
                <span class="label label-success">3 m 36 s 🏆</span>
              </small>
            </h1>
            <p>📅 <em><script>document.write(moment("2022-01-10 01:57:47 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2022-01-10 01:57:47 UTC)</em><p>
            <h2>Context</h2>
            <pre># Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-num            base        Num library distributed with the OCaml compiler
base-threads        base
base-unix           base
camlp5              7.14        Preprocessor-pretty-printer of OCaml
conf-findutils      1           Virtual package relying on findutils
conf-perl           1           Virtual package relying on perl
coq                 8.9.0       Formal proof management system
num                 0           The Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.04.2      The OCaml compiler (virtual package)
ocaml-base-compiler 4.04.2      Official 4.04.2 release
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.9.1       A library manager for OCaml
# opam file:
opam-version: &quot;2.0&quot;
maintainer: &quot;paco@sf.snu.ac.kr&quot;
version: &quot;2.0.3&quot;
homepage: &quot;https://github.com/snu-sf/paco/&quot;
dev-repo: &quot;git+https://github.com/snu-sf/paco.git&quot;
bug-reports: &quot;https://github.com/snu-sf/paco/issues/&quot;
authors: [
  &quot;Chung-Kil Hur &lt;gil.hur@sf.snu.ac.kr&gt;&quot;
  &quot;Georg Neis &lt;neis@mpi-sws.org&gt;&quot;
  &quot;Derek Dreyer &lt;dreyer@mpi-sws.org&gt;&quot;
  &quot;Viktor Vafeiadis &lt;viktor@mpi-sws.org&gt;&quot;
]
license: &quot;BSD-3&quot;
build: [
  [make &quot;-C&quot; &quot;src&quot; &quot;all&quot; &quot;-j%{jobs}%&quot;]
]
install: [
  [make &quot;-C&quot; &quot;src&quot; &quot;-f&quot; &quot;Makefile.coq&quot; &quot;install&quot;]
]
remove: [&quot;rm&quot; &quot;-r&quot; &quot;-f&quot; &quot;%{lib}%/coq/user-contrib/Paco&quot;]
depends: [
  &quot;ocaml&quot;
  &quot;coq&quot; {&gt;= &quot;8.6&quot; &amp; &lt; &quot;8.10&quot;}
]
synopsis: &quot;Coq library implementing parameterized coinduction&quot;
tags: [
  &quot;date:2018-02-11&quot;
  &quot;category:Computer Science/Programming Languages/Formal Definitions and Theory&quot;
  &quot;category:Mathematics/Logic&quot;
  &quot;keyword:co-induction&quot;
  &quot;keyword:simulation&quot;
  &quot;keyword:parameterized greatest fixed point&quot;
]
flags: light-uninstall
url {
  src: &quot;https://github.com/snu-sf/paco/archive/v2.0.3.tar.gz&quot;
  checksum: &quot;md5=30705f61294a229215149a024060f06d&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-paco.2.0.3 coq.8.9.0</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-paco.2.0.3 coq.8.9.0</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>11 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-paco.2.0.3 coq.8.9.0</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>3 m 36 s</dd>
            </dl>
            <h2>Installation size</h2>
            <p>Total: 13 M</p>
            <ul>
              <li>1 M <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco18_upto.vo</code></li>
              <li>1 M <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco17_upto.vo</code></li>
              <li>964 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco16_upto.vo</code></li>
              <li>817 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco15_upto.vo</code></li>
              <li>710 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco14_upto.vo</code></li>
              <li>611 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco13_upto.vo</code></li>
              <li>527 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco12_upto.vo</code></li>
              <li>457 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco11_upto.vo</code></li>
              <li>392 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco10_upto.vo</code></li>
              <li>334 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco9_upto.vo</code></li>
              <li>318 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacotac.vo</code></li>
              <li>281 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco8_upto.vo</code></li>
              <li>233 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco7_upto.vo</code></li>
              <li>228 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco18.vo</code></li>
              <li>213 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paconotation_internal.vo</code></li>
              <li>209 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco17.vo</code></li>
              <li>191 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco16.vo</code></li>
              <li>191 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco6_upto.vo</code></li>
              <li>174 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco15.vo</code></li>
              <li>158 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco14.vo</code></li>
              <li>154 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco5_upto.vo</code></li>
              <li>142 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco13.vo</code></li>
              <li>128 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco12.vo</code></li>
              <li>123 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco4_upto.vo</code></li>
              <li>115 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco11.vo</code></li>
              <li>114 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paconotation.vo</code></li>
              <li>113 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/examples.vo</code></li>
              <li>105 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paconotation.glob</code></li>
              <li>102 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco10.vo</code></li>
              <li>96 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco3_upto.vo</code></li>
              <li>92 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco18.glob</code></li>
              <li>90 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco9.vo</code></li>
              <li>84 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco17.glob</code></li>
              <li>80 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco18_upto.glob</code></li>
              <li>79 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco8.vo</code></li>
              <li>77 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco16.glob</code></li>
              <li>72 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco17_upto.glob</code></li>
              <li>72 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco2_upto.vo</code></li>
              <li>71 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/tutorial.vo</code></li>
              <li>70 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco15.glob</code></li>
              <li>69 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco7.vo</code></li>
              <li>66 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco16_upto.glob</code></li>
              <li>64 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco14.glob</code></li>
              <li>61 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paconotation_internal.glob</code></li>
              <li>60 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco15_upto.glob</code></li>
              <li>60 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco6.vo</code></li>
              <li>59 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco13.glob</code></li>
              <li>57 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacotac.v</code></li>
              <li>55 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco14_upto.glob</code></li>
              <li>54 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco12.glob</code></li>
              <li>54 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco1_upto.vo</code></li>
              <li>51 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco5.vo</code></li>
              <li>50 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco13_upto.glob</code></li>
              <li>50 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco11.glob</code></li>
              <li>46 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco12_upto.glob</code></li>
              <li>46 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco10.glob</code></li>
              <li>43 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco4.vo</code></li>
              <li>42 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco11_upto.glob</code></li>
              <li>41 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacotac.glob</code></li>
              <li>40 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco9.glob</code></li>
              <li>39 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco10_upto.glob</code></li>
              <li>38 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco0_upto.vo</code></li>
              <li>37 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco8.glob</code></li>
              <li>36 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco3.vo</code></li>
              <li>35 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco9_upto.glob</code></li>
              <li>35 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco7.glob</code></li>
              <li>32 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco8_upto.glob</code></li>
              <li>32 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco6.glob</code></li>
              <li>30 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco7_upto.glob</code></li>
              <li>30 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco2.vo</code></li>
              <li>30 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco5.glob</code></li>
              <li>28 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco6_upto.glob</code></li>
              <li>28 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco4.glob</code></li>
              <li>27 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco5_upto.glob</code></li>
              <li>26 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco3.glob</code></li>
              <li>26 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/tutorial.glob</code></li>
              <li>25 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco4_upto.glob</code></li>
              <li>24 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco1.vo</code></li>
              <li>24 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/tutorial.v</code></li>
              <li>24 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco3_upto.glob</code></li>
              <li>24 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco2.glob</code></li>
              <li>23 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco2_upto.glob</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco1.glob</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco1_upto.glob</code></li>
              <li>21 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco0_upto.glob</code></li>
              <li>21 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco0.glob</code></li>
              <li>19 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/examples.glob</code></li>
              <li>19 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paconotation.v</code></li>
              <li>19 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco0.vo</code></li>
              <li>18 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacon.vo</code></li>
              <li>17 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco18_upto.v</code></li>
              <li>16 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco18.v</code></li>
              <li>16 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco17_upto.v</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco16_upto.v</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco17.v</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco15_upto.v</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco16.v</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacotacuser.vo</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco14_upto.v</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco13_upto.v</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/hpattern.vo</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco15.v</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paconotation_internal.v</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco12_upto.v</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco14.v</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco11_upto.v</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco10_upto.v</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco13.v</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco9_upto.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco8_upto.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco12.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco7_upto.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco6_upto.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacon.glob</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco11.v</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco5_upto.v</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco4_upto.v</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco3_upto.v</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco10.v</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco2_upto.v</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco1_upto.v</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco0_upto.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco9.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco8.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/examples.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco7.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco6.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco5.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco4.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco3.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco2.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco1.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco0.v</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco.vo</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/hpattern.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacon.v</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacotacuser.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/pacotacuser.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/paco.v</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.04.2/lib/coq/user-contrib/Paco/hpattern.glob</code></li>
            </ul>
            <h2>Uninstall 🧹</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam remove -y coq-paco.2.0.3</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>
