github.com/coq/opam-coq-archive
Semantics of a subset of the C language
opam install coq-minic.8.10.0