diff --git a/eo-phi-normalizer/CHANGELOG.md b/eo-phi-normalizer/CHANGELOG.md index 35599250..a407afa1 100644 --- a/eo-phi-normalizer/CHANGELOG.md +++ b/eo-phi-normalizer/CHANGELOG.md @@ -6,7 +6,23 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/). -## v3.1.0 - 2024-12-28 +## v3.2.0 - 2025-01-13 + +### Breaking changes + +- Pretty-print constants ([#661](https://github.com/objectionary/eo-phi-normalizer/pull/661), [#662](https://github.com/objectionary/eo-phi-normalizer/pull/662)) + +### Documentation and maintenance + +- chore(deps): update baptiste0928/cargo-install action to v3.3.0 ([#660](https://github.com/objectionary/eo-phi-normalizer/pull/660)) + +### Changes and fixes + +- Simplify pipeline config format ([#648](https://github.com/objectionary/eo-phi-normalizer/pull/648)) +- Use dependencies for EO 0.50.0 ([#653](https://github.com/objectionary/eo-phi-normalizer/pull/653)) +- Add tests from hone-maven-plugin ([#655](https://github.com/objectionary/eo-phi-normalizer/pull/655)) + +## v3.1.0 - 2025-01-01 ### Breaking changes diff --git a/eo-phi-normalizer/eo-phi-normalizer.cabal b/eo-phi-normalizer/eo-phi-normalizer.cabal index 883064c7..8dad4a0f 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.1.0 +version: 3.2.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 56d0a3c2..1c774444 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.1.0 +version: 3.2.0 github: "objectionary/eo-phi-normalizer" license: BSD3 author: "EO/Polystat Development Team" diff --git a/site/docs/src/installation.md b/site/docs/src/installation.md index ed3e2f97..3ac63ece 100644 --- a/site/docs/src/installation.md +++ b/site/docs/src/installation.md @@ -32,7 +32,7 @@ Use the necessary version in the `stack install` command. ```sh stack update export LC_ALL=C.UTF-8 -stack install --resolver lts-22.16 eo-phi-normalizer-3.1.0 +stack install --resolver lts-22.16 eo-phi-normalizer-3.2.0 ``` ## Update `eo-phi-normalizer`