<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>tlc: 2 m 40 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 / extra-dev</a></li>
              <li class="active"><a href="">dev / tlc - 20200328</a></li>
            </ul>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <a href="../..">« Up</a>
            <h1>
              tlc
              <small>
                20200328
                <span class="label label-success">2 m 40 s</span>
              </small>
            </h1>
            <p><em><script>document.write(moment("2020-04-14 10:21:03 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2020-04-14 10:21:03 UTC)</em><p>
            <h2>Context</h2>
            <pre># Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-threads        base
base-unix           base
conf-findutils      1           Virtual package relying on findutils
conf-m4             1           Virtual package relying on m4
coq                 dev         Formal proof management system
num                 1.3         The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.10.0      The OCaml compiler (virtual package)
ocaml-base-compiler 4.10.0      Official release 4.10.0
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.8.1       A library manager for OCaml
# opam file:
opam-version: &quot;2.0&quot;
maintainer: &quot;arthur.chargueraud@inria.fr&quot;
homepage: &quot;https://github.com/charguer/tlc&quot;
dev-repo: &quot;git+https://github.com/charguer/tlc.git&quot;
bug-reports: &quot;https://github.com/charguer/tlc/issues&quot;
license: &quot;MIT&quot;
synopsis: &quot;TLC: A Library for Classical Coq &quot;
description: &quot;&quot;&quot;
Provides an alternative to the core of the Coq standard library, using classic definitions.
&quot;&quot;&quot;
build: [make &quot;-j%{jobs}%&quot;]
install: [make &quot;install&quot;]
depends: [
  &quot;coq&quot; { &gt;= &quot;8.10&quot; }
]
tags: [
  &quot;category:Miscellaneous/Coq Extensions&quot;
  &quot;date:2020-03-28&quot;
  &quot;keyword:library&quot;
  &quot;keyword:classic&quot;
  &quot;logpath:TLC&quot;
]
authors: [
  &quot;Arthur Charguéraud&quot;
]
url {
  src: &quot;https://github.com/charguer/tlc/archive/20200328.tar.gz&quot;
  checksum: [
    &quot;md5=c62a434ed2d771d0d1814d0877d9a147&quot;
    &quot;sha512=33996475d9b3adc1752fd91ddbac5ebbe5bd7f22583c788807dd7ca9cd0363476621135884cf2603c1003c9c280811633a5a66ab2a279bf21cb1b39e60ae47a3&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-tlc.20200328 coq.dev</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-tlc.20200328 coq.dev</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>5 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-tlc.20200328 coq.dev</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>2 m 40 s</dd>
            </dl>
            <h2>Installation size</h2>
            <p>Total: 9 M</p>
            <ul>
              <li>951 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibList.vo</code></li>
              <li>591 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibTactics.vo</code></li>
              <li>389 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFix.vo</code></li>
              <li>348 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibList.glob</code></li>
              <li>343 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFixDemos.vo</code></li>
              <li>307 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFix.glob</code></li>
              <li>276 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibContainer.vo</code></li>
              <li>245 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibRelation.vo</code></li>
              <li>241 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListZ.vo</code></li>
              <li>224 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOrder.vo</code></li>
              <li>193 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEnv.vo</code></li>
              <li>188 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibTactics.v</code></li>
              <li>180 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibRelation.glob</code></li>
              <li>179 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibSet.vo</code></li>
              <li>178 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMap.vo</code></li>
              <li>137 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMultiset.vo</code></li>
              <li>135 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibPer.vo</code></li>
              <li>135 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLogic.vo</code></li>
              <li>127 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFixDemos.glob</code></li>
              <li>120 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibTactics.glob</code></li>
              <li>120 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEqual.vo</code></li>
              <li>116 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibTacticsDemos.vo</code></li>
              <li>111 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibInt.vo</code></li>
              <li>110 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListZ.glob</code></li>
              <li>100 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEnv.glob</code></li>
              <li>100 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibList.v</code></li>
              <li>99 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibWf.vo</code></li>
              <li>93 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibStream.vo</code></li>
              <li>93 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibContainer.glob</code></li>
              <li>87 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibSet.glob</code></li>
              <li>86 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLogic.glob</code></li>
              <li>84 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFset.vo</code></li>
              <li>83 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEqual.glob</code></li>
              <li>83 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibVar.vo</code></li>
              <li>83 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibTacticsDemos.glob</code></li>
              <li>82 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFix.v</code></li>
              <li>79 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOrder.glob</code></li>
              <li>78 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMap.glob</code></li>
              <li>77 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibNat.vo</code></li>
              <li>72 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMin.vo</code></li>
              <li>71 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFun.vo</code></li>
              <li>71 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOtherDemos.vo</code></li>
              <li>69 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibProd.vo</code></li>
              <li>68 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibReflect.vo</code></li>
              <li>68 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMultiset.glob</code></li>
              <li>65 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListSub.vo</code></li>
              <li>60 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListAssoc.vo</code></li>
              <li>59 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibRelation.v</code></li>
              <li>56 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibGraph.vo</code></li>
              <li>55 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibBool.vo</code></li>
              <li>52 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibInt.glob</code></li>
              <li>52 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLN.vo</code></li>
              <li>50 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListExec.vo</code></li>
              <li>48 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEpsilon.vo</code></li>
              <li>48 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibContainerDemos.vo</code></li>
              <li>46 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibProd.glob</code></li>
              <li>46 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibChoice.vo</code></li>
              <li>46 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOption.vo</code></li>
              <li>45 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMonoid.vo</code></li>
              <li>45 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOld.v</code></li>
              <li>45 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFixDemos.v</code></li>
              <li>43 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOperation.vo</code></li>
              <li>42 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListAssocExec.vo</code></li>
              <li>42 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFset.glob</code></li>
              <li>39 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibIntTactics.vo</code></li>
              <li>38 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibSum.vo</code></li>
              <li>38 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibTacticsDemos.v</code></li>
              <li>34 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEnv.v</code></li>
              <li>33 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOtherDemos.glob</code></li>
              <li>32 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListZ.v</code></li>
              <li>32 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibCore.vo</code></li>
              <li>31 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLogic.v</code></li>
              <li>31 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibUnit.vo</code></li>
              <li>31 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOrder.v</code></li>
              <li>31 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibString.vo</code></li>
              <li>30 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibSet.v</code></li>
              <li>30 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibVar.glob</code></li>
              <li>29 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibContainer.v</code></li>
              <li>27 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEqual.v</code></li>
              <li>25 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibReflect.glob</code></li>
              <li>25 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibWf.glob</code></li>
              <li>24 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibInt.v</code></li>
              <li>23 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFun.glob</code></li>
              <li>23 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMap.v</code></li>
              <li>21 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMultiset.v</code></li>
              <li>19 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibChoice.glob</code></li>
              <li>18 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListAssoc.glob</code></li>
              <li>18 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListSort.v</code></li>
              <li>18 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListSub.glob</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibWf.v</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibStream.glob</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibVar.v</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibExec.v</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMin.glob</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibReflect.v</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEpsilon.glob</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibPer.glob</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibBool.glob</code></li>
              <li>12 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFset.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOtherDemos.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOperation.glob</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibGraph.glob</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibNat.glob</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibBool.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOption.glob</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibProd.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListSub.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibContainerDemos.glob</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLN.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListExec.glob</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibContainerDemos.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMin.v</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibStream.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibFun.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibNat.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibChoice.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibEpsilon.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLN.glob</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListAssoc.v</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibPer.v</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/Makefile.coq</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibIntTactics.v</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLogicCore.v</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListAssocExec.glob</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibSum.glob</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOperation.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOption.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListExec.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMonoid.glob</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibMonoid.v</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibGraph.v</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibSum.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibAxioms.vo</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibAxioms.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibIntTactics.glob</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListAssocExec.v</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/Makefile</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibAxioms.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLogicCore.vo</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListSort.vo</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibExec.vo</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOld.vo</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibUnit.v</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibUnit.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibCore.v</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibString.v</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibCore.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibString.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibLogicCore.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibListSort.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibExec.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.10.0/lib/coq/user-contrib/TLC/LibOld.glob</code></li>
            </ul>
            <h2>Uninstall</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam remove -y coq-tlc.20200328</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>
