# Packages matching: installed
# Name # Installed # Synopsis
base-bigarray base
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.8.1 Formal proof management system
num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.09.1 The OCaml compiler (virtual package)
ocaml-base-compiler 4.09.1 Official release 4.09.1
ocaml-config 1 OCaml Switch Configuration
ocamlfind 1.9.3 A library manager for OCaml
# opam file:
opam-version: "2.0"
maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
homepage: "https://math-comp.github.io/math-comp/"
bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
dev-repo: "git+https://github.com/math-comp/fourcolor"
license: "CeCILL-B"
build: [ make "-j" "%{jobs}%" ]
install: [ make "install" ]
depends: [ "coq-mathcomp-algebra" { >= "1.8.0" & < "1.9" } ]
tags: [ "keyword:Four color theorem" "keyword:small scale reflection" "keyword:mathematical components" ]
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.tar.gz"
checksum: "sha256=93add0655031f2207d8e5b48dcccd76ff6dff7ea0a17ddada07b10a2d0a395b0"
}
trueDry install with the current Coq version:
opam install -y --show-action coq-fourcolor.1.2 coq.8.8.1Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
trueopam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-fourcolor.1.2 coq.8.8.1opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-fourcolor.1.2 coq.8.8.1Total: 49 M
../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present7.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present8.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present9.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/configurations.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present10.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/embed.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfcontract.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/part.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/redpart.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present7.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfmap.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfquiz.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/configurations.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present8.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present6.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/matte.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/embed.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gridmap.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfmap.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfcontract.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/birkhoff.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/patch.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present9.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/walkup.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfcolor.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present11.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/part.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/kempe.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/revsnip.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realprop.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/matte.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/jordan.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/redpart.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/ctreerestrict.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfquiz.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/contract.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/chromogram.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/snip.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/quiz.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/discretize.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/finitize.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present7.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/grid.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/geometry.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/patch.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/birkhoff.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/walkup.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present8.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/coloring.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gridmap.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realprop.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfcolor.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/dedekind.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/quiztree.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/approx.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gtreerestrict.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/sew.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realcategorical.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/kempetree.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/hubcap.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/revsnip.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/dedekind.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present10.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/grid.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/quiz.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present9.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/geometry.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/color.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/contract.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/ctree.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/discharge.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gtree.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/discharge.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/hypermap.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/snip.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cube.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/coloring.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/kempe.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realcategorical.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/jordan.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/initgtree.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/initctree.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present6.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/hubcap.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/finitize.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/hypermap.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present11.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/kempetree.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/ctreerestrict.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/configurations.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/embed.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/discretize.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/fourcolor.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/color.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/approx.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfmap.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/quiztree.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfcontract.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/redpart.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/sew.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job001to106.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/part.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gtreerestrict.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job323to383.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job563to588.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job589to610.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfreducible.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job399to438.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job623to633.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job439to465.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job611to617.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job618to622.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task589to633.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/ctree.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job466to485.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job517to530.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cube.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job554to562.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job107to164.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/unavoidability.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job535to541.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task542to588.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job550to553.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job546to549.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job542to545.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job531to534.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job511to516.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/combinatorial4ct.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task507to541.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job507to510.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job503to506.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job499to502.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job490to494.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job495to498.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job486to489.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/reducibility.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job384to398.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task486to506.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present10.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task323to485.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present5.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job254to270.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job165to189.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/initctree.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job239to253.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job319to322.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job315to318.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job311to314.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfquiz.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job307to310.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job271to278.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job190to206.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job303to306.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job299to302.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task303to322.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job295to298.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job291to294.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/real.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job287to290.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job283to286.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/chromogram.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job279to282.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task283to302.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gtree.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task235to282.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job207to214.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job235to238.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job231to234.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job227to230.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job223to226.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job219to222.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job215to218.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task215to234.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/matte.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task001to214.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/dyck.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/birkhoff.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/walkup.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realprop.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/geometry.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfcolor.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/patch.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gridmap.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/finitize.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realplane.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present5.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/initgtree.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/coloring.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/dedekind.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/revsnip.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/contract.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/grid.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/quiz.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present6.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/snip.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/hubcap.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/kempetree.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/discretize.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/kempe.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/ctree.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/hypermap.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/jordan.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/color.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/real.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/ctreerestrict.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/discharge.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/approx.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/quiztree.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realcategorical.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present11.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gtree.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfreducible.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realplane.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/real.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/gtreerestrict.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/chromogram.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/sew.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realsyntax.vo../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/initctree.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realplane.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cube.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/unavoidability.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/initgtree.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realsyntax.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/realsyntax.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/cfreducible.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/dyck.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/combinatorial4ct.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/dyck.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/present5.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/fourcolor.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/unavoidability.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/fourcolor.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/reducibility.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/combinatorial4ct.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/reducibility.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task589to633.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task589to633.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task486to506.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task001to214.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task235to282.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task215to234.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task283to302.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task303to322.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task542to588.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task507to541.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task323to485.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task283to302.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task507to541.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task323to485.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task486to506.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task235to282.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task215to234.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task303to322.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task542to588.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/task001to214.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job323to383.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job439to465.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job499to502.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job611to617.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job235to238.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job207to214.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job589to610.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job507to510.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job511to516.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job295to298.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job287to290.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job542to545.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job190to206.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job486to489.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job303to306.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job535to541.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job495to498.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job223to226.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job384to398.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job291to294.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job618to622.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job517to530.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job311to314.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job283to286.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job254to270.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job279to282.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job315to318.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job165to189.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job227to230.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job623to633.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job271to278.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job239to253.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job231to234.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job546to549.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job503to506.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job550to553.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job215to218.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job219to222.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job554to562.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job399to438.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job563to588.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job490to494.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job466to485.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job319to322.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job307to310.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job299to302.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job531to534.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job107to164.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job001to106.v../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job623to633.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job535to541.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job295to298.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job291to294.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job235to238.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job283to286.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job550to553.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job466to485.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job223to226.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job507to510.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job319to322.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job495to498.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job207to214.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job554to562.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job287to290.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job299to302.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job503to506.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job384to398.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job279to282.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job315to318.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job511to516.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job611to617.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job618to622.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job303to306.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job517to530.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job239to253.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job227to230.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job531to534.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job311to314.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job219to222.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job001to106.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job190to206.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job165to189.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job215to218.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job399to438.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job499to502.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job542to545.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job231to234.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job589to610.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job546to549.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job307to310.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job439to465.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job271to278.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job254to270.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job563to588.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job323to383.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job486to489.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job490to494.glob../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/fourcolor/job107to164.globopam remove -y coq-fourcolor.1.2