Bug#460885: ITP: mcrl2 -- the mCRL2 formal specification language toolset

To: Paul van Tilburg <paulvt@debian.org>, 460885@bugs.debian.org
Subject: Bug#460885: ITP: mcrl2 -- the mCRL2 formal specification language toolset
From: Mathieu Malaterre <mathieu.malaterre@gmail.com>
Date: Tue, 8 Sep 2009 10:53:32 +0200
Message-id: <[🔎] bf0c3b3f0909080153nc8c4557y385e890ea3fdaa4e@mail.gmail.com>
Reply-to: Mathieu Malaterre <mathieu.malaterre@gmail.com>, 460885@bugs.debian.org
In-reply-to: <20080115135146.10009.81655.reportbug@localhost>
References: <20080115135146.10009.81655.reportbug@localhost>

Any update on that package ?

Thanks,

Reply to: