github.com/coq/opam-coq-archive
Coq definition of the JML specification language and a verified runtime assertion checker for JML
opam install coq-jmlcoq.8.12.0