Skip to content

Commit

Permalink
update CHANGES
Browse files Browse the repository at this point in the history
  • Loading branch information
@fblanqui
fblanqui committed Jan 27, 2022
1 parent 9dd7f4a commit 70f8d37
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions CHANGES
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-----------------------------------------------------------------------------
22-01-17: RELEASE OPAM 1.8.2 for Coq 8.15

-----------------------------------------------------------------------------
21-03-18: RELEASE OPAM 1.8.1 for Coq 8.13 (commit d1929ff)

Expand Down

0 comments on commit 70f8d37

Please sign in to comment.