debian specific patch information for agda-bin / 2.3.0-1

Summary

Package Version	Package Type	Source Package Format
2.3.0-1	Debian-diff	1.0

Debian packaging Information

Diff file	agda-bin_2.3.0-1.diff.gz
Size	2964
MD5sum	3b470db3c7ccb25800be8244fd5dadd2
./debian only changes	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