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 [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ]
signature.asc
Description: Digital signature
