Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@minkiminki
minkiminki authored Jan 29, 2021
1 parent 09af5f8 commit 1f078cb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ Paco also supports upto techniques using "companion". See:

Minki Cho refactored the implementation to speed up the compilation time.

The current version is v4.0.0, and it's compatible with Coq 8.6.1, 8.7.2, 8.8.1 and 8.9.0.
The current version is v4.0.4, and it's compatible with Coq 8.9, 8.10, 8.11, 8.12.


## Installation
Expand Down

0 comments on commit 1f078cb

Please sign in to comment.