Publishing details

• Published on 2011-05-14

Changelog

mcrl (2.18.5-0ubuntu0+ppa4~maverick) maverick; urgency=low

  * Fix compilation using rename_compose_to_composer.patch.
 -- Jeroen Keiren <email address hidden>   Sat, 14 May 2011 12:08:54 +0200

Builds

• amd64
• i386

Built packages

• mcrl mCRL is a process algebraic language that was especially developed to take account of data in the study of communicating processes. It is basically intended to study description and analysis techniques for (large) distributed systems. The mCRL-Toolset, is a collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language).

Package files

• mcrl_2.18.5-0ubuntu0+ppa4~maverick.debian.tar.gz (5.0 KiB)
• mcrl_2.18.5-0ubuntu0+ppa4~maverick.dsc (1.3 KiB)
• mcrl_2.18.5-0ubuntu0+ppa4~maverick_amd64.deb (6.8 MiB)
• mcrl_2.18.5-0ubuntu0+ppa4~maverick_i386.deb (5.6 MiB)
• mcrl_2.18.5.orig.tar.gz (3.2 MiB)