Sync mcrl2 201107-1 (universe) from Debian unstable (main)
Bug #812880 reported by
Julian Taylor
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| mcrl2 (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned | ||
Bug Description
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_
- 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 <email address hidden> Mon, 18 Jul 2011 16:03:38 +0200
Revision history for this message
| Julian Taylor (jtaylor) wrote | #1 |
Revision history for this message
| Benjamin Drung (bdrung) wrote | #2 |
| Changed in mcrl2 (Ubuntu): | |
| importance: | Undecided → Wishlist |
| status: | New → Confirmed |
| Changed in mcrl2 (Ubuntu): | |
| status: | Confirmed → Fix Released |
To post a comment you must log in.
builds in a clean oneiric chroot