diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-08-20 11:28:48 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-08-20 11:28:48 +0200 |
| commit | b51612ef4cf8acc6b816688cf6ea0b263cd9ed90 (patch) | |
| tree | ca602509608d10fc384587018cce3ca1f326671d /site/posts/CoqffiIntro.org | |
| parent | Adapt the keyr stats to the redesign (diff) | |
Update various dependencies used by this website
Diffstat (limited to 'site/posts/CoqffiIntro.org')
| -rw-r--r-- | site/posts/CoqffiIntro.org | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/site/posts/CoqffiIntro.org b/site/posts/CoqffiIntro.org index 411f3cf..e85f4b4 100644 --- a/site/posts/CoqffiIntro.org +++ b/site/posts/CoqffiIntro.org @@ -20,11 +20,11 @@ generates. They are of no concern for users of ~coqffi~. ** Requirements -The latest version of ~coqffi~ (~1.0.0~beta4~ at the time of writing) -is compatible with OCaml ~4.08~ up to ~4.11~, and Coq ~8.12~. 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]]. +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 +~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]]. ** Installing ~coqffi~ |