coq-force-84

Force the use of Coq 8.4 versions.

opam install coq-force-84.1.0.0
homepage
http://i.imgur.com/fQpmoXE.jpg
license
NA
bugs tracker
dependencies
coq (>= 8.4~ & < 8.5~)
source
http://i.imgur.com/fQpmoXE.jpg
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-force-84/coq-force-84.1.0.0