debian specific patch information for agda / 2.2.6-7

Summary

Package Version	Package Type	Source Package Format
2.2.6-7	Debian-diff	3.0 (quilt)

Debian packaging Information

Debian changes tarfile	agda_2.2.6-7.debian.tar.gz
Size	5315
MD5sum	cf87baf8bf0441ea2b39ffb622cc3405

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo