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) ------------------------------ 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" ]