First version to build with GHC 9.12.2
·
784 commits
to develop
since this release
0e00aff
This commit was signed with the committer’s verified signature.
facundominguez
Facundo Domínguez
- Simplify kvar solutions in fqout files liquid-fixpoint#741.
- Upgrade ghc to 9.12.2 #2474.