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
Size6175
MD5sum97d9993142ea1a2b2bf1ce44c8f2e7f3