coq-force-85

Force the use of Coq 8.5 versions.

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