<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>relation-algebra: 4 m 10 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.11.2 / relation-algebra - 1.7.3</a></li>
            </ul>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <a href="../..">« Up</a>
            <h1>
              relation-algebra
              <small>
                1.7.3
                <span class="label label-success">4 m 10 s</span>
              </small>
            </h1>
            <p><em><script>document.write(moment("2020-09-11 16:27:45 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2020-09-11 16:27:45 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
conf-findutils      1           Virtual package relying on findutils
conf-m4             1           Virtual package relying on m4
coq                 8.11.2      Formal proof management system
num                 0           The Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.05.0      The OCaml compiler (virtual package)
ocaml-base-compiler 4.05.0      Official 4.05.0 release
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.8.1       A library manager for OCaml
# opam file:
opam-version: &quot;2.0&quot;
synopsis: &quot;Relation Algebra and KAT in Coq&quot;
maintainer: &quot;Damien Pous &lt;Damien.Pous@ens-lyon.fr&gt;&quot;
homepage: &quot;http://perso.ens-lyon.fr/damien.pous/ra/&quot;
dev-repo: &quot;git+https://github.com/damien-pous/relation-algebra.git&quot;
bug-reports: &quot;https://github.com/damien-pous/relation-algebra/issues&quot;
license: &quot;LGPL-3.0-or-later&quot;
depends: [
  &quot;ocaml&quot;
  &quot;coq&quot; {&gt;= &quot;8.11&quot; &amp; &lt; &quot;8.12~&quot;}
]
depopts: [ &quot;coq-mathcomp-ssreflect&quot; ]
build: [
  [&quot;sh&quot; &quot;-exc&quot; &quot;./configure --%{coq-mathcomp-ssreflect:enable}%-ssr&quot;]
  [make &quot;-j%{jobs}%&quot;]
]
install: [make &quot;install&quot;]
tags: [
  &quot;keyword:relation algebra&quot;
  &quot;keyword:kleene algebra with tests&quot;
  &quot;keyword:kat&quot;
  &quot;keyword:allegories&quot;
  &quot;keyword:residuated structures&quot;
  &quot;keyword:automata&quot;
  &quot;keyword:regular expressions&quot;
  &quot;keyword:matrices&quot;
  &quot;category:Mathematics/Algebra&quot;
  &quot;logpath:RelationAlgebra&quot; ]
authors: [
  &quot;Damien Pous &lt;Damien.Pous@ens-lyon.fr&gt;&quot;
  &quot;Christian Doczkal &lt;christian.doczkal@ens-lyon.fr&gt;&quot;
]
url {
  src:
    &quot;https://github.com/damien-pous/relation-algebra/archive/v1.7.3.tar.gz&quot;
  checksum: &quot;md5=69c916214840e742d3a78d6d3cb55a1c&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-relation-algebra.1.7.3 coq.8.11.2</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 2h opam install -y --deps-only coq-relation-algebra.1.7.3 coq.8.11.2</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>4 s</dd>
            </dl>
            <h2>Install</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam list; echo; ulimit -Sv 16000000; timeout 2h opam install -y -v coq-relation-algebra.1.7.3 coq.8.11.2</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>4 m 10 s</dd>
            </dl>
            <h2>Installation size</h2>
            <p>Total: 8 M</p>
            <ul>
              <li>395 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/normalisation.vo</code></li>
              <li>374 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/untyping.vo</code></li>
              <li>348 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_completeness.vo</code></li>
              <li>339 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_completeness.glob</code></li>
              <li>268 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/paterson.vo</code></li>
              <li>217 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/compiler_opts.vo</code></li>
              <li>194 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/matrix.glob</code></li>
              <li>188 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/relalg.vo</code></li>
              <li>185 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/monoid.vo</code></li>
              <li>168 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/matrix.vo</code></li>
              <li>164 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/paterson.glob</code></li>
              <li>163 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_reification.cmxs</code></li>
              <li>157 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/traces.vo</code></li>
              <li>149 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_common.cmxs</code></li>
              <li>138 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/normalisation.glob</code></li>
              <li>136 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/syntax.vo</code></li>
              <li>125 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/monoid.glob</code></li>
              <li>123 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/regex.vo</code></li>
              <li>121 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lattice.vo</code></li>
              <li>114 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/regex.glob</code></li>
              <li>112 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/relalg.glob</code></li>
              <li>111 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/untyping.glob</code></li>
              <li>105 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/atoms.glob</code></li>
              <li>100 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ka_completeness.glob</code></li>
              <li>99 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ugregex_dec.vo</code></li>
              <li>96 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lattice.glob</code></li>
              <li>89 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ka_completeness.vo</code></li>
              <li>89 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rmx.vo</code></li>
              <li>85 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_fold.cmxs</code></li>
              <li>78 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/traces.glob</code></li>
              <li>77 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_reification.cmxs</code></li>
              <li>76 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ugregex_dec.glob</code></li>
              <li>76 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/matrix_ext.glob</code></li>
              <li>75 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/imp.vo</code></li>
              <li>74 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/compiler_opts.glob</code></li>
              <li>66 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/matrix_ext.vo</code></li>
              <li>65 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ordinal.vo</code></li>
              <li>65 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/gregex.vo</code></li>
              <li>61 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rmx.glob</code></li>
              <li>59 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_reification.vo</code></li>
              <li>57 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kleene.glob</code></li>
              <li>56 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/nfa.vo</code></li>
              <li>56 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/sups.vo</code></li>
              <li>55 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ugregex.vo</code></li>
              <li>53 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kleene.vo</code></li>
              <li>50 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_tac.vo</code></li>
              <li>49 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/syntax.glob</code></li>
              <li>48 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/mrewrite.cmxs</code></li>
              <li>48 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ordinal.glob</code></li>
              <li>48 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/move.vo</code></li>
              <li>47 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/comparisons.vo</code></li>
              <li>47 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/atoms.vo</code></li>
              <li>46 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lang.vo</code></li>
              <li>44 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/level.vo</code></li>
              <li>42 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ugregex.glob</code></li>
              <li>40 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rel.vo</code></li>
              <li>40 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/nfa.glob</code></li>
              <li>39 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/sups.glob</code></li>
              <li>38 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lsyntax.vo</code></li>
              <li>37 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/dfa.vo</code></li>
              <li>36 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/boolean.vo</code></li>
              <li>35 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/bmx.vo</code></li>
              <li>34 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_completeness.v</code></li>
              <li>34 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lset.vo</code></li>
              <li>33 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/level.glob</code></li>
              <li>32 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/pair.vo</code></li>
              <li>32 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/glang.vo</code></li>
              <li>31 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/imp.glob</code></li>
              <li>30 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/comparisons.glob</code></li>
              <li>28 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_reification.glob</code></li>
              <li>26 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/untyping.v</code></li>
              <li>26 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/normalisation.v</code></li>
              <li>25 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/gregex.glob</code></li>
              <li>25 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_tac.glob</code></li>
              <li>24 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_untyping.vo</code></li>
              <li>23 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_common.cmi</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rewriting.glob</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/traces.v</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/matrix.v</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rewriting.vo</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/factors.glob</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lattice.v</code></li>
              <li>21 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/monoid.v</code></li>
              <li>21 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/factors.vo</code></li>
              <li>21 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/denum.vo</code></li>
              <li>21 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/positives.vo</code></li>
              <li>20 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/dfa.glob</code></li>
              <li>19 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/paterson.v</code></li>
              <li>19 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/relalg.v</code></li>
              <li>18 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat.vo</code></li>
              <li>18 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/all.vo</code></li>
              <li>17 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/move.glob</code></li>
              <li>17 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/bmx.glob</code></li>
              <li>16 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ka_completeness.v</code></li>
              <li>16 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lang.glob</code></li>
              <li>16 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/regex.v</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lsyntax.glob</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/sums.vo</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/syntax.v</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ugregex_dec.v</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rel.glob</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/common.vo</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/boolean.glob</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ordinal.v</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lset.glob</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_reification.cmi</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_untyping.glob</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/pair.glob</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_common.cmx</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rmx.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/glang.glob</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/powerfix.vo</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_tac.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_reification.cmi</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/imp.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/matrix_ext.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_reification.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/mrewrite.cmi</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ugregex.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/gregex.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/sups.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/prop.vo</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/powerfix.glob</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_reification.cmx</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/comparisons.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat.glob</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kleene.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/denum.glob</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/common.glob</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_reification.cmx</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lang.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/atoms.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_fold.cmi</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/mrewrite.cmx</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/nfa.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lsyntax.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/compiler_opts.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/level.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rewriting.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/rel.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/dfa.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_fold.cmx</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_reification.cmxa</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/sums.glob</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/positives.glob</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_common.cmxa</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_reification.cmxa</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/ra_fold.cmxa</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/mrewrite.cmxa</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/lset.v</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/glang.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/boolean.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/bmx.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/common.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/pair.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/move.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat.v</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/powerfix.v</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_untyping.v</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/factors.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/denum.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/positives.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/all.glob</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_dec.cmx</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/sums.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/prop.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/prop.glob</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/kat_dec.cmi</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/RelationAlgebra/all.v</code></li>
            </ul>
            <h2>Uninstall</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam remove -y coq-relation-algebra.1.7.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">
          <small>Sources are on <a href="https://github.com/coq-bench">GitHub</a>. © Guillaume Claret.</small>
        </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>
