Commit eea0eb20 authored by Hai Dang's avatar Hai Dang

add 8.8.2 and 8.9.0 to README

parent 65cb331d
......@@ -85,7 +85,7 @@ This proof only applies to the machine without promises.
## Dependencies
The master branch is known to compile with:
* Coq 8.7.2 / 8.8.0
* Coq 8.7.2 / 8.8.2 / 8.9.0
* A development version of [Std++][stdpp] (see [opam](opam) for the exact version)
## Build
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment