Merge pull request #7511 from ysangkok/remove-unmaintained

Remove unmaintained packages disabled since ghc-9.2, ie after lts-19
This commit is contained in:
Andreas Ländle 2024-09-09 17:55:04 +02:00 committed by GitHub
commit 2a42337e1d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

File diff suppressed because it is too large Load Diff