From 1e7b26553c1ca94c787ad5a1b938acabb8d47f2f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Thu, 18 Mar 2021 14:26:57 +0100 Subject: [PATCH] update CHANGES --- CHANGES | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)