github.com/coq/opam-coq-archive
An enhanced unification algorithm for Coq.
opam install coq-unicoq.1.3+8.9