#662581 man page for agda

Package:
agda-bin
Source:
agda
Description:
commandline interface to Agda
Submitter:
Julián Moreno Patiño
Date:
2013-08-26 21:57:09 UTC
Severity:
wishlist
#662581#5
Date:
2012-03-05 07:04:23 UTC
From:
To:
Hi,

Please consider to add the man page attached.

Kind regards,
#662581#10
Date:
2013-08-26 21:55:49 UTC
From:
To:
Hey,

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,