From 83cb2e707fad06c17f03d0f4bcd49eff38cb3108 Mon Sep 17 00:00:00 2001 From: Danila Danko Date: Tue, 31 Dec 2024 13:42:05 +0300 Subject: [PATCH] chore(eo-phi-normalizer): bump version 3.0.0 -> 3.1.0 --- eo-phi-normalizer/eo-phi-normalizer.cabal | 2 +- eo-phi-normalizer/package.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/eo-phi-normalizer/eo-phi-normalizer.cabal b/eo-phi-normalizer/eo-phi-normalizer.cabal index b2cbd8b4..883064c7 100644 --- a/eo-phi-normalizer/eo-phi-normalizer.cabal +++ b/eo-phi-normalizer/eo-phi-normalizer.cabal @@ -5,7 +5,7 @@ cabal-version: 1.24 -- see: https://github.com/sol/hpack name: eo-phi-normalizer -version: 3.0.0 +version: 3.1.0 synopsis: Command line normalizer of 𝜑-calculus expressions. description: Please see the README on GitHub at homepage: https://github.com/objectionary/eo-phi-normalizer#readme diff --git a/eo-phi-normalizer/package.yaml b/eo-phi-normalizer/package.yaml index 6a97c2b8..56d0a3c2 100644 --- a/eo-phi-normalizer/package.yaml +++ b/eo-phi-normalizer/package.yaml @@ -22,7 +22,7 @@ name: eo-phi-normalizer synopsis: "Command line normalizer of 𝜑-calculus expressions." -version: 3.0.0 +version: 3.1.0 github: "objectionary/eo-phi-normalizer" license: BSD3 author: "EO/Polystat Development Team"