<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>color: Not compatible</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.7.0 / color - 1.5.0</a></li>
            </ul>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <a href="../..">« Up</a>
            <h1>
              color
              <small>
                1.5.0
                <span class="label label-info">Not compatible</span>
              </small>
            </h1>
            <p><em><script>document.write(moment("2021-08-23 02:38:37 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2021-08-23 02:38:37 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.7.0       Formal proof management system
num                 0           The Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.03.0      The OCaml compiler (virtual package)
ocaml-base-compiler 4.03.0      Official 4.03.0 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;frederic.blanqui@inria.fr&quot;
authors: [
  &quot;Frédéric Blanqui&quot;
  &quot;Adam Koprowski&quot;
  &quot;Sébastien Hinderer&quot;
  &quot;Pierre-Yves Strub&quot;
  &quot;Sidi Ould Biha&quot;
  &quot;Solange Coupet-Grimal&quot;
  &quot;William Delobel&quot;
  &quot;Hans Zantema&quot;
  &quot;Stéphane Leroux&quot;
  &quot;Léo Ducas&quot;
  &quot;Johannes Waldmann&quot;
  &quot;Qiand Wang&quot;
  &quot;Lianyi Zhang&quot;
  &quot;Sorin Stratulat&quot;
]
license: &quot;CeCILL&quot;
homepage: &quot;http://color.inria.fr/&quot;
bug-reports: &quot;color@inria.fr&quot;
build: [make &quot;-j%{jobs}%&quot;]
install: [make &quot;-f&quot; &quot;Makefile.coq&quot; &quot;install&quot;]
remove: [&quot;rm&quot; &quot;-R&quot; &quot;%{lib}%/coq/user-contrib/CoLoR&quot;]
depends: [
  &quot;ocaml&quot;
  &quot;coq&quot; {&gt;= &quot;8.8&quot; &amp; &lt; &quot;8.9~&quot;}
  &quot;coq-bignums&quot; {&gt;= &quot;8.8&quot; &amp; &lt; &quot;8.9~&quot;}
]
tags: [
  &quot;date:2018-05-04&quot;
  &quot;logpath:CoLoR&quot;
  &quot;category:Computer Science/Algorithms/Correctness proofs of algorithms&quot;
  &quot;category:Computer Science/Data Types and Data Structures&quot;
  &quot;category:Computer Science/Lambda Calculi&quot;
  &quot;category:Mathematics/Algebra&quot;
  &quot;category:Mathematics/Combinatorics and Graph Theory&quot;
  &quot;category:Mathematics/Logic/Type theory&quot;
  &quot;category:Miscellaneous/Extracted Programs/Type checking unification and normalization&quot;
  &quot;keyword:rewriting&quot;
  &quot;keyword:termination&quot;
  &quot;keyword:lambda calculus&quot;
  &quot;keyword:list&quot;
  &quot;keyword:multiset&quot;
  &quot;keyword:polynomial&quot;
  &quot;keyword:vectors&quot;
  &quot;keyword:matrices&quot;
  &quot;keyword:FSet&quot;
  &quot;keyword:FMap&quot;
  &quot;keyword:term&quot;
  &quot;keyword:context&quot;
  &quot;keyword:substitution&quot;
  &quot;keyword:universal algebra&quot;
  &quot;keyword:varyadic term&quot;
  &quot;keyword:string&quot;
  &quot;keyword:alpha-equivalence&quot;
  &quot;keyword:de Bruijn indices&quot;
  &quot;keyword:simple types&quot;
  &quot;keyword:matching&quot;
  &quot;keyword:unification&quot;
  &quot;keyword:relation&quot;
  &quot;keyword:ordering&quot;
  &quot;keyword:quasi-ordering&quot;
  &quot;keyword:lexicographic ordering&quot;
  &quot;keyword:ring&quot;
  &quot;keyword:semiring&quot;
  &quot;keyword:well-foundedness&quot;
  &quot;keyword:noetherian&quot;
  &quot;keyword:finitely branching&quot;
  &quot;keyword:dependent choice&quot;
  &quot;keyword:infinite sequences&quot;
  &quot;keyword:non-termination&quot;
  &quot;keyword:loop&quot;
  &quot;keyword:graph&quot;
  &quot;keyword:path&quot;
  &quot;keyword:transitive closure&quot;
  &quot;keyword:strongly connected component&quot;
  &quot;keyword:topological ordering&quot;
  &quot;keyword:rpo&quot;
  &quot;keyword:horpo&quot;
  &quot;keyword:dependency pair&quot;
  &quot;keyword:dependency graph&quot;
  &quot;keyword:semantic labeling&quot;
  &quot;keyword:reducibility&quot;
  &quot;keyword:Girard&quot;
  &quot;keyword:fixpoint theorem&quot;
  &quot;keyword:Tarski&quot;
  &quot;keyword:pigeon-hole principle&quot;
  &quot;keyword:Ramsey theorem&quot;
]
synopsis: &quot;A library on rewriting theory and termination&quot;
flags: light-uninstall
url {
  src:
    &quot;https://gforge.inria.fr/frs/download.php/file/37522/color.1.5.0.tar.gz&quot;
  checksum: &quot;md5=1853a6fbd4265c9be744b32e7685d05b&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-color.1.5.0 coq.8.7.0</code></dd>
              <dt>Return code</dt>
              <dd>5120</dd>
              <dt>Output</dt>
              <dd><pre>[NOTE] Package coq is already installed (current version is 8.7.0).
The following dependencies couldn&#39;t be met:
  - coq-color -&gt; coq &gt;= 8.8 -&gt; ocaml &gt;= 4.05.0
      base of this switch (use `--unlock-base&#39; to force)
Your request can&#39;t be satisfied:
  - No available version of coq satisfies the constraints
No solution found, exiting
</pre></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>opam remove -y coq; opam install -y --show-action --unlock-base coq-color.1.5.0</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <h2>Install dependencies</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>0 s</dd>
            </dl>
            <h2>Install</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>0 s</dd>
            </dl>
            <h2>Installation size</h2>
            <p>No files were installed.</p>
            <h2>Uninstall</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</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>
