From 2819825f4dfe4de39bfffcfdda807e5c62c264bb Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Mon, 3 Jan 2022 15:31:42 +0100 Subject: [PATCH 1/2] Prepare v0.1.4 --- CHANGES.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index fc63c96..9e96419 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,8 @@ +v0.1.4 2022-01-03 Paris (France) +------------------------------ + +* Upgrade the code base and delete the `menhir` dependency (#5) + v0.1.3 2020-05-05 Paris (France) ------------------------------ From d6dae45f73b266be88938370f42111bbb4126e18 Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Mon, 3 Jan 2022 15:32:42 +0100 Subject: [PATCH 2/2] Delete the menhir dependency into the OPAM file --- coin.opam | 1 - 1 file changed, 1 deletion(-) diff --git a/coin.opam b/coin.opam index b844533..a5cdcb8 100644 --- a/coin.opam +++ b/coin.opam @@ -20,5 +20,4 @@ depends: [ "ocamlfind" {build} "dune" "re" - "menhir" ]