Ubuntu
mcrl2 package

Branches for Oneiric

Name		Status	Last Modified	Last Commit
lp:ubuntu/oneiric/mcrl2		2 Mature	2011-07-18 16:03:38 UTC 2011-07-18	6. * New upstream release (closes: #6251... Author: Paul van Tilburg Revision Date: 2011-07-18 16:03:38 UTC * New upstream release (closes: #625156). * debian/control: - Bumped standards version to 3.9.2. - Removed the initial "the mCRL2" from the description. - Added a build depend on libgl2ps-dev. * debian/patches: - Removed fix_manpage_generation.patch; fixed upstream. - Added lintian_fixes.patch to resolve some lintian issues. * debian/rules; - Added targets build-arch and build-indep to comply with (future) policy.