diff --git a/CHANGES b/CHANGES index 59d1e13b..839e7cc7 100644 --- a/CHANGES +++ b/CHANGES @@ -1,5 +1,5 @@ ----------------------------------------------------------------------------- -21-03-18: RELEASE OPAM 1.8.1 for Coq 8.13 (commit 7167dad) +21-03-18: RELEASE OPAM 1.8.1 for Coq 8.13 (commit d1929ff) ----------------------------------------------------------------------------- 20-09-23: RELEASE OPAM 1.8.0 for Coq 8.12 (commit 67f71af)