github.com/coq/opam-coq-archive
Hypermaps, planarity and discrete Jordan curve theorem
opam install coq-jordan-curve-theorem.8.10.0