github.com/coq/opam-coq-archive
Demos of some Coq tools appeared in version V6.0
opam install coq-demos.8.8.0