Public bug reported:
Please sync mcrl2 201107-1 (universe) from Debian unstable (main)
fixes bug 771014
Changelog entries since current oneiric version 201103-1:
mcrl2 (201107-1) unstable; urgency=low
* 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.
-- Paul van Tilburg <pau...@debian.org> Mon, 18 Jul 2011 16:03:38
+0200
** Affects: mcrl2 (Ubuntu)
Importance: Wishlist
Status: Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/812880
Title:
Sync mcrl2 201107-1 (universe) from Debian unstable (main)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/mcrl2/+bug/812880/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
