Log in / Register

Ubuntu
mcrl2 package

Overview
Code
Bugs
Blueprints
Translations
Answers

Bug #812880
Comment #2

Comment 2 for bug 812880

Revision history for this message

Benjamin Drung (bdrung) wrote on 2011-07-19:

#2

sync request ACK'd

• Take the tour • Read the guide

© 2004 Canonical Ltd. • Terms of use • Data privacy • Contact Launchpad Support • Blog • Careers • System status • 0e1f616 (Get the code!)