« Up

color 1.0.0 38 m 0 s 🏆

Context

# Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-num            base        Num library distributed with the OCaml compiler
base-ocamlbuild     base        OCamlbuild binary and libraries 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           2           Virtual package relying on perl
coq                 8.4.6       Formal proof management system.
num                 0           The Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.02.3      The OCaml compiler (virtual package)
ocaml-base-compiler 4.02.3      Official 4.02.3 release
ocaml-config        1           OCaml Switch Configuration
ocamlbuild          0           Build system distributed with the OCaml compiler since OCaml 3.10.0
# opam file:
opam-version: "2.0"
maintainer: "frederic.blanqui@inria.fr"
homepage: "http://color.inria.fr/"
license: "CECILL-2.1"
build: [
  [make "-j%{jobs}%"]
]
install: [make "install"]
depends: [
  "ocaml"
  "coq" {>= "8.4pl2" & < "8.5~"}
]
authors: [
  "Frédéric Blanqui"
  "Adam Koprowski"
  "Sébastien Hinderer"
  "Pierre-Yves Strub"
  "Sidi Ould Biha"
  "Solange Coupet-Grimal"
  "William Delobel"
  "Hans Zantema"
  "Stéphane Leroux"
  "Léo Ducas"
  "Johannes Waldmann"
  "Qiand Wang"
  "Lianyi Zhang"
  "Sorin Stratulat"
]
synopsis: "A library on rewriting theory and termination"
url {
  src: "http://files.inria.fr/blanqui/color/color.1.0.0.tar.gz"
  checksum: "md5=5277b9cfe0cb609f32dd5deb7795fb45"
}

Lint

Command
true
Return code
0

Dry install 🏜️

Dry install with the current Coq version:

Command
opam install -y --show-action coq-color.1.0.0 coq.8.4.6
Return code
0

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command
true
Return code
0

Install dependencies

Command
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-color.1.0.0 coq.8.4.6
Return code
0
Duration
1 m 0 s

Install 🚀

Command
opam list; echo; ulimit -Sv 16000000; timeout 8h opam install -y -v coq-color.1.0.0 coq.8.4.6
Return code
0
Duration
38 m 0 s

Installation size

Total: 354 M

  • 63 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.vo
  • 57 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.vo
  • 16 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.vo
  • 15 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.vo
  • 15 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.vo
  • 10 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.vo
  • 9 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.vo
  • 9 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.vo
  • 8 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.vo
  • 8 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/Computability.vo
  • 7 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/Horpo.vo
  • 7 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.vo
  • 6 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.vo
  • 6 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.vo
  • 6 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.vo
  • 6 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.vo
  • 5 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.vo
  • 5 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.vo
  • 5 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.vo
  • 5 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.vo
  • 4 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.vo
  • 4 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.vo
  • 4 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.vo
  • 4 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.vo
  • 4 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.vo
  • 4 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.vo
  • 3 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.vo
  • 3 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.vo
  • 3 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.vo
  • 3 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.vo
  • 3 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.vo
  • 3 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.vo
  • 2 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.vo
  • 2 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.vo
  • 2 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.vo
  • 2 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.vo
  • 2 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.vo
  • 2 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.vo
  • 2 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.vo
  • 1 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.vo
  • 1 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.vo
  • 1 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VMPO.vo
  • 1 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VLPO.vo
  • 1 M ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.vo
  • 1014 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.vo
  • 948 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.vo
  • 940 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MPO/VMpo.vo
  • 879 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.vo
  • 843 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.vo
  • 770 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.vo
  • 765 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.vo
  • 749 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.vo
  • 743 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.vo
  • 718 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.vo
  • 693 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.vo
  • 693 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.vo
  • 670 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.vo
  • 542 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.vo
  • 535 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.vo
  • 513 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.vo
  • 474 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.vo
  • 438 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.vo
  • 431 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.vo
  • 412 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.vo
  • 409 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.vo
  • 382 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.vo
  • 376 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.vo
  • 346 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.vo
  • 329 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.vo
  • 276 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.vo
  • 270 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.vo
  • 265 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.vo
  • 255 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.vo
  • 247 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.vo
  • 246 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.vo
  • 233 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.vo
  • 232 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.vo
  • 208 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.vo
  • 199 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.vo
  • 188 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.vo
  • 184 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.vo
  • 183 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Pair/LexOrder.vo
  • 173 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.vo
  • 171 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.vo
  • 164 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.vo
  • 159 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.vo
  • 154 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.vo
  • 139 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.vo
  • 138 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.vo
  • 131 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.vo
  • 129 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Total.vo
  • 118 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.vo
  • 105 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.vo
  • 103 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.vo
  • 101 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ADPGraph.vo
  • 101 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/LexicographicOrder.vo
  • 100 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.vo
  • 100 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.vo
  • 99 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Path.vo
  • 98 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.vo
  • 98 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.vo
  • 95 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/SN.vo
  • 94 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.vo
  • 92 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.vo
  • 92 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.vo
  • 89 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.vo
  • 87 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.vo
  • 84 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.vo
  • 83 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Filter/AProj.vo
  • 81 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.vo
  • 78 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.vo
  • 77 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.vo
  • 76 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.vo
  • 75 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListRepeatFree.vo
  • 75 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.vo
  • 75 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/AHDE.vo
  • 70 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ADP.vo
  • 70 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.vo
  • 68 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.vo
  • 68 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.vo
  • 67 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.vo
  • 67 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.vo
  • 64 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.vo
  • 63 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListDec.vo
  • 62 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.vo
  • 59 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.vo
  • 59 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.vo
  • 58 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.vo
  • 57 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.vo
  • 57 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.vo
  • 57 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ADPUnif.vo
  • 56 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.vo
  • 55 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.vo
  • 55 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.vo
  • 53 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.vo
  • 53 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.vo
  • 53 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ADecomp.vo
  • 52 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.vo
  • 51 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Conversion/AReverse.vo
  • 50 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.vo
  • 48 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Union.vo
  • 48 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.vo
  • 47 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.vo
  • 46 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.vo
  • 45 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.vo
  • 44 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/AGraph.vo
  • 44 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.vo
  • 43 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.vo
  • 43 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/String/Srs.vo
  • 43 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.vo
  • 42 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.vo
  • 41 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.vo
  • 40 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.vo
  • 40 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.vo
  • 39 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.vo
  • 39 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.vo
  • 38 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.vo
  • 37 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.vo
  • 37 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.vo
  • 36 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.vo
  • 36 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.vo
  • 36 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.vo
  • 34 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.vo
  • 34 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.vo
  • 34 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.vo
  • 34 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.vo
  • 33 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.vo
  • 33 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/String/SReverse.vo
  • 33 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Option/ExcUtil.vo
  • 33 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.vo
  • 32 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.vo
  • 31 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.vo
  • 29 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListMax.vo
  • 29 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.vo
  • 29 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.vo
  • 28 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.vo
  • 28 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListForall.vo
  • 27 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/NatLeast.vo
  • 27 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.vo
  • 26 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.vo
  • 26 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.vo
  • 25 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.vo
  • 24 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.vo
  • 24 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/NaryFunction.vo
  • 24 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.vo
  • 23 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.vo
  • 22 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.vo
  • 22 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.vo
  • 22 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.vo
  • 21 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/String/SContext.vo
  • 20 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.vo
  • 20 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.vo
  • 19 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.vo
  • 19 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.vo
  • 18 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.vo
  • 18 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.vo
  • 15 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.vo
  • 13 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.vo
  • 8 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.vo
  • 7 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.vo
  • 7 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.vo
  • 4 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.vo
  • 4 K ../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListSort.vo

Uninstall 🧹

Command
opam remove -y coq-color.1.0.0
Return code
0
Missing removes
none
Wrong removes
none