diff --git a/CHANGES b/CHANGES index 839e7cc7..6eb166f6 100644 --- a/CHANGES +++ b/CHANGES @@ -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)