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

Mon Mar 5 07:04:23 UTC 2012

Package: agda-bin
Version: 2.3.0-1
Severity: wishlist
Tags: patch

Hi,

Please consider to add the man page attached.

Kind regards,

-- 
Julián Moreno Patiño
 .''`. Debian GNU/{Linux,KfreeBSD}
: :' : Free Operating Systems
`. `'  http://debian.org/
  `-   PGP KEY ID 6168BF60
Registered GNU Linux User ID 488513
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-haskell-maintainers/attachments/20120305/eb301111/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: agda.1
Type: application/octet-stream
Size: 4035 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-haskell-maintainers/attachments/20120305/eb301111/attachment-0001.obj>