github.com/coq/opam-coq-archive
MathComp instances for the empty type (Empty_set)
opam install coq-void.0.1.0