github.com/coq/opam-coq-archive
Convenience functions for unit testing in Coq
opam install coq-cunit.1.0.0