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
agda.1
Description: Binary data
