Re: RFS: agda
-----BEGIN PGP SIGNED MESSAGE-----
On Thu, Jun 18, 2009 at 10:50 AM, <firstname.lastname@example.org> wrote:
> I'm seeking a review/sponsor for my NEW package, Agda.
Not to hassle (ok, maybe a little...), but there's been no movement on
this in a while. Is anyone able to review/sponsor? I know reviewing
new packages is a lot of work (I do it for Ubuntu from time to time)
but it would be very much appreciated.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Darwin)
-----END PGP SIGNATURE-----
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.