Bug#914691: RFA: agda-stdlib -- standard library for Agda

[Iain Lane <laney@debian.org>]

Package: wnpp
Severity: normal

Hi there,

I'm not involved in this area any more. I've been basically ignoring the
package and people from the Haskell team have been kindly uploading it
in my absence.

I'd like it if someone were to take it off my hands. That will probably
be the Haskell team, but Sean points out to me that there would be no
human uploaders if the team were to take it over directly. So ideally
someone in the team would sign up to be an Uploader and make pkg-haskell
the Maintainer.

Cheers, and happy type safety,

-- 
Iain Lane                                  [ iain@orangesquash.org.uk ]
Debian Developer                                   [ laney@debian.org ]
Ubuntu Developer                                   [ laney@ubuntu.com ]