Changelog
mcrl2 (201103-1) unstable; urgency=low
* New upstream release (closes: #615678).
* Upload to unstable.
* debian/patches:
- Added fix_manpage_generation.patch to fix macro errors in
some man pages (fix from rev. 9060).
* debian/rules:
- Do man-page generation the right way (enabled MCRL2_MAN_PAGES).
* debian/watch:
- Changed the .bz2 suffix into .gz.
mcrl2 (201103~rc1-0ubuntu1) maverick; urgency=low
* New upstream release.
* debian/control:
- Remove unneeded build dependencies of some boost libraries.
- Lower required version of boost libraries to 1.37.
* debian/rules:
- Remove build flags because they were changed upstream.
-- Ubuntu Archive Auto-Sync <email address hidden> Sat, 30 Apr 2011 13:17:18 +0000