<div>Package: agda-bin</div><div>Version: 2.3.0-1</div><div>Severity: wishlist</div><div>Tags: patch</div><div><br></div><div>Hi,</div><div><br></div><div>Please consider to add the man page attached.</div><div><br></div><div>

Kind regards,</div><div><br></div>-- <br><div>Julián Moreno Patiño</div><div> .''`. Debian GNU/{Linux,KfreeBSD}</div><div>: :' : Free Operating Systems</div><div>`. `'  <a href="http://debian.org/" target="_blank">http://debian.org/</a></div>

<div>  `-   PGP KEY ID 6168BF60</div><div>Registered GNU Linux User ID 488513</div>