Maintaining lambdabot and dice

Naïm Favier n at
Tue Sep 27 18:06:18 UTC 2022

I'd like to take over maintainership of the dice and lambdabot packages so that
I can take care of GHC 9 support ( and

The GitHub repo has been inactive since November 2021. I have contacted the current
maintainer on IRC, where he is active, but he hasn't answered.


More information about the Libraries mailing list