Clafer compiler, IG, and wiki 0.5.1 released

 by Michał Antkiewicz, Sep 12, 2023

This is mostly a maintenance release bringing compatibility with the current Haskell compiler, tools, and dependencies.

Clafer compiler, release pull request (0.5.1).

• compatibility with GHC 9.4.6.

Clafer instance generator, release pull request (0.5.1).

• uses clafer-0.5.1
• compatibility with GHC 9.4.6.
• respect --json when using --all

Clafer wiki, release pull request (0.5.1).

• uses clafer-0.5.1
• compatibility with GHC 9.4.6.
• gitit-0.15.1.1

The Clafer model wiki, "Traffic Lights" Domain Model Example wiki, and Train Station Layout Case Study wiki are currently running clafer 0.5.1 and claferwiki-0.5.1.