[Bug 812880] [NEW] Sync mcrl2 201107-1 (universe) from Debian unstable (main)

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Benjamin Drung (bdrung):

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 <paulvt at debian.org>  Mon, 18 Jul 2011 16:03:38
+0200

** Affects: mcrl2 (Ubuntu)
     Importance: Wishlist
         Status: Confirmed

-- 
Sync mcrl2 201107-1 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/812880
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is subscribed to the bug report.