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

Re: RFS: agda



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

Hello,

On 5 Jul 2009, at 11:13, Joachim Breitner wrote:

I looked again over the contents of debian/, and it seems fine. Do you
want it to be uploaded now?

If you could that would be great, thanks a lot.

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

iEYEARECAAYFAkpQn1AACgkQPy0SnCC/zcf6YQCgpRw9cv1DLKvnVa7UiJ3hXRnQ
LZQAoMdHiLDtzdmcFgGaJjb5ZtcdECA4
=yhs6
-----END PGP SIGNATURE-----


Reply to: