diff --git a/eo-phi-normalizer/eo-phi-normalizer.cabal b/eo-phi-normalizer/eo-phi-normalizer.cabal index 214dba1a..5c9df3b0 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: 2.2.1 +version: 2.2.2 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 fbd0ce0b..cf6209ac 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: 2.2.1 +version: 2.2.2 github: "objectionary/eo-phi-normalizer" license: BSD3 author: "EO/Polystat Development Team"