[Pkg-haskell-maintainers] Bug#662581: man page for agda

[Iain Lane]

Hey,

On Mon, Mar 05, 2012 at 02:04:23AM -0500, Julián Moreno Patiño wrote:
> Package: agda-bin
> Version: 2.3.0-1
> Severity: wishlist
> Tags: patch
> 
> Hi,
> 
> Please consider to add the man page attached.

Thanks for the patch, and my apologies for not replying for so long.

Is there any chance you could forward your manpage to upstream? I'm sure
they would love the contribution.

  http://code.google.com/p/agda/issues/list

Cheers,

-- 
Iain Lane                                  [ iain at orangesquash.org.uk ]
Debian Developer                                   [ laney at debian.org ]
Ubuntu Developer                                   [ laney at ubuntu.com ]
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-haskell-maintainers/attachments/20130826/fe9a26ae/attachment.sig>