diff options
Diffstat (limited to 'site/posts')
| -rw-r--r-- | site/posts/CoqffiIntro.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/site/posts/CoqffiIntro.org b/site/posts/CoqffiIntro.org index e85f4b4..677283a 100644 --- a/site/posts/CoqffiIntro.org +++ b/site/posts/CoqffiIntro.org @@ -20,8 +20,8 @@ generates. They are of no concern for users of ~coqffi~. ** Requirements -The latest version of ~coqffi~ (~1.0.0~beta7~ at the time of writing) -is compatible with OCaml ~4.08~ up to ~4.12~, and Coq ~8.12~ up top +The latest version of ~coqffi~ (~1.0.0~beta8~ at the time of writing) +is compatible with OCaml ~4.08~ up to ~4.14~, and Coq ~8.12~ up top ~8.13~. If you want to use ~coqffi~, but have incompatible requirements of your own, feel free to [[https://github.com/coq-community/coqffi/issues][submit an issue]]. |