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

Wed, 27 Jul 2011 07:42:01 -0700 

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

-- 
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
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to