debian specific patch information for mcrl2 / 201007~rc1-1

Summary

Package Version	Package Type	Source Package Format
201007~rc1-1	Debian-diff	3.0 (quilt)

Debian packaging Information

Debian changes tarfile	mcrl2_201007~rc1-1.debian.tar.gz
Size	6175
MD5sum	97d9993142ea1a2b2bf1ce44c8f2e7f3

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