# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq 8.13.2 Formal proof management system num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic ocaml 4.10.2 The OCaml compiler (virtual package) ocaml-base-compiler 4.10.2 Official release 4.10.2 ocaml-config 1 OCaml Switch Configuration ocamlfind 1.9.3 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers # opam file: opam-version: "2.0" maintainer: "Pierre Roux <pierre.roux@onera.fr>" homepage: "https://github.com/math-comp/fourcolor" bug-reports: "https://github.com/math-comp/fourcolor/issues" dev-repo: "git+https://github.com/math-comp/fourcolor" license: "CECILL-B" build: [ make "-j" "%{jobs}%" ] install: [ make "install" ] depends: [ "coq" { >= "8.11" & < "8.16~" } "coq-mathcomp-algebra" { >= "1.11.0" & < "1.15~" } ] tags: [ "keyword:Four color theorem" "keyword:small scale reflection" "keyword:mathematical components" "logpath:fourcolor" ] authors: [ "Georges Gonthier" ] synopsis: "Mechanization of the Four Color Theorem" description: """ Proof of the Four Color Theorem This library contains a formalized proof of the Four Color Theorem, along with the theories needed to support stating and then proving the Theorem. This includes an axiomatization of the setoid of classical real numbers, basic plane topology definitions, and a theory of combinatorial hypermaps. """ url { src: "https://github.com/math-comp/fourcolor/archive/v1.2.4.tar.gz" checksum: "sha512=7b2a54b6d11ed582b72b975a55f36cc992b19cbb59eb69199da13304e2b87cc78bc2699911c5f625190ecff0c07c13cd4c43656e116e0aed8ce595d3f32dd7b0" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-fourcolor.1.2.4 coq.8.13.2
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-fourcolor.1.2.4 coq.8.13.2
opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-fourcolor.1.2.4 coq.8.13.2
Total: 47 M
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present7.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present8.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present9.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/configurations.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present10.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/walkup.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfcontract.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfquiz.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/embed.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/part.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present7.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfmap.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/redpart.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present8.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present6.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/configurations.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/matte.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/embed.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/patch.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfmap.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfcontract.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present9.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gridmap.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present11.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/birkhoff.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/part.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfcolor.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/matte.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/kempe.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/redpart.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/sew.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfquiz.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/jordan.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realcategorical.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present7.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realprop.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/chromogram.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/patch.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/revsnip.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/contract.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/birkhoff.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/ctreerestrict.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/walkup.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present8.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realprop.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/quiz.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gridmap.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfcolor.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/geometry.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/grid.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/snip.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/discretize.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/finitize.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/coloring.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/dedekind.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/dedekind.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/revsnip.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/grid.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gtreerestrict.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/quiztree.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/quiz.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/geometry.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/kempetree.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/hubcap.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present9.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/contract.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present10.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/discharge.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/color.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/approx.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/ctree.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/snip.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/coloring.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gtree.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realcategorical.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/kempe.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/jordan.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/discharge.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/hypermap.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cube.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/finitize.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/hubcap.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/initgtree.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/initctree.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/hypermap.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/kempetree.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present6.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/ctreerestrict.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/discretize.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/configurations.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/color.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/approx.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/embed.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present11.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/quiztree.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfmap.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfcontract.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/sew.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/redpart.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gtreerestrict.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/part.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/ctree.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cube.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present10.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/initctree.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gtree.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/chromogram.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfquiz.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job001to106.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/real.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/matte.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfreducible.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/birkhoff.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job323to383.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/walkup.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realprop.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/geometry.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfcolor.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/patch.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/unavoidability.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/fourcolor.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job107to164.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job399to438.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/combinatorial4ct.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gridmap.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/reducibility.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job563to588.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job589to610.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/finitize.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job439to465.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/initgtree.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job466to485.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present5.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present5.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realplane.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job623to633.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job517to530.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/coloring.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job611to617.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job554to562.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job618to622.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task589to633.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job384to398.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job165to189.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job535to541.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/dedekind.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job511to516.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job550to553.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task542to588.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job546to549.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job542to545.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/revsnip.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job531to534.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job254to270.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job490to494.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job507to510.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job503to506.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task507to541.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/contract.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job499to502.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job495to498.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job486to489.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/grid.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job239to253.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task486to506.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job190to206.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task323to485.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/quiz.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present6.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/snip.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/hubcap.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/kempetree.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job271to278.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/real.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job319to322.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job315to318.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job311to314.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job307to310.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job303to306.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job299to302.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job295to298.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job291to294.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job207to214.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job287to290.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task303to322.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job283to286.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job279to282.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task283to302.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task235to282.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/kempe.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/discretize.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/ctree.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job235to238.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job231to234.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/hypermap.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job227to230.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job223to226.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job219to222.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job215to218.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/jordan.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task215to234.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task001to214.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/dyck.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/color.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/ctreerestrict.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/discharge.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/approx.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/quiztree.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realcategorical.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realplane.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present11.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfreducible.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gtree.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/real.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/gtreerestrict.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/chromogram.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realsyntax.vo
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/sew.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/initctree.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realplane.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cube.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/unavoidability.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/initgtree.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realsyntax.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/realsyntax.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/cfreducible.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/dyck.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/combinatorial4ct.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/dyck.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/present5.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/fourcolor.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/unavoidability.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/fourcolor.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/reducibility.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/combinatorial4ct.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/reducibility.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task589to633.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task589to633.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task486to506.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task001to214.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task235to282.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task215to234.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task283to302.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task303to322.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task542to588.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task507to541.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task323to485.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task283to302.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task507to541.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task323to485.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task486to506.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task235to282.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task215to234.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task303to322.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task542to588.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/task001to214.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job323to383.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job439to465.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job499to502.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job611to617.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job235to238.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job207to214.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job589to610.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job507to510.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job511to516.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job295to298.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job287to290.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job542to545.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job190to206.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job486to489.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job303to306.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job535to541.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job495to498.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job223to226.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job384to398.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job291to294.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job618to622.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job517to530.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job311to314.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job283to286.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job254to270.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job279to282.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job315to318.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job165to189.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job227to230.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job623to633.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job271to278.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job239to253.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job231to234.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job546to549.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job503to506.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job550to553.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job215to218.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job219to222.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job554to562.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job399to438.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job563to588.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job490to494.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job466to485.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job319to322.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job307to310.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job299to302.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job531to534.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job107to164.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job001to106.v
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job623to633.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job535to541.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job295to298.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job291to294.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job235to238.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job283to286.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job550to553.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job466to485.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job223to226.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job507to510.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job319to322.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job495to498.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job207to214.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job554to562.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job287to290.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job299to302.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job503to506.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job384to398.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job279to282.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job315to318.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job511to516.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job611to617.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job618to622.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job303to306.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job517to530.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job239to253.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job227to230.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job531to534.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job311to314.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job219to222.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job001to106.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job190to206.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job165to189.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job215to218.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job399to438.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job499to502.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job542to545.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job231to234.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job589to610.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job546to549.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job307to310.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job439to465.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job271to278.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job254to270.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job563to588.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job323to383.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job486to489.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job490to494.glob
../ocaml-base-compiler.4.10.2/lib/coq/user-contrib/fourcolor/job107to164.glob
opam remove -y coq-fourcolor.1.2.4