made things work with current stackage.

This commit is contained in:
2023-07-18 01:20:57 +02:00
parent 783d47e190
commit 7a337d0a6a
6 changed files with 18 additions and 18 deletions