debian specific patch information for agda / 2.3.0.1-2

Summary

Package Version	Package Type	Source Package Format
2.3.0.1-2	Debian-diff	3.0 (quilt)

Debian packaging Information

Debian changes tarfile	agda_2.3.0.1-2.debian.tar.gz
Size	6874
MD5sum	9c51c10d9edcb561ffeb5a9a7e60d406

"series" style patches

patch	summary	view	raw
extend-mtl-dependenc	Agda.cabal \| 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)	view	download

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