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

[Sebastien Bacher]

** Changed in: mcrl2 (Ubuntu)
       Status: Confirmed => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is subscribed to the bug report.
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