# 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" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-color.1.0.0 coq.8.4.6
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-color.1.0.0 coq.8.4.6
opam list; echo; ulimit -Sv 16000000; timeout 8h opam install -y -v coq-color.1.0.0 coq.8.4.6
Total: 354 M
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/Computability.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/HORPO/Horpo.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VMPO.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VLPO.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MPO/VMpo.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Pair/LexOrder.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Total.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ADPGraph.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/LexicographicOrder.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Path.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/SN.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Filter/AProj.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListRepeatFree.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/AHDE.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ADP.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListDec.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ADPUnif.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/ADecomp.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Conversion/AReverse.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Union.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/DP/AGraph.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/String/Srs.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/String/SReverse.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Option/ExcUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListMax.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListForall.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Nat/NatLeast.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/NaryFunction.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/String/SContext.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.vo
../ocaml-base-compiler.4.02.3/lib/coq/user-contrib/CoLoR/Util/List/ListSort.vo
opam remove -y coq-color.1.0.0