github.com/coq/opam-coq-archive
The Coq Constructive Repository at Nijmegen
opam install coq-corn.8.12.0