[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: RFS: agda



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Thu, Jun 18, 2009 at 10:50 AM, <laney@ubuntu.com> wrote:
> I'm seeking a review/sponsor for my NEW package, Agda.

Hello again,

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.

Regards,
Iain
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Darwin)

iEYEARECAAYFAkpLfocACgkQPy0SnCC/zcfVLACfciF18eO+k9GPwnBIIjkDCtC7
lQ4An2P2FUtfLVlYK+dZQ4z9aQczwIuI
=3NOn
-----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.


Reply to: