Publishing details

• Published on 2012-06-19

Changelog

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

  * No-change backport to oneiric
 -- Jeroen Keiren <email address hidden>   Tue, 19 Jun 2012 08:14:17 +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~oneiric1~ppa1.debian.tar.gz (4.9 KiB)
• mcrl_2.18.5-0ubuntu0+ppa4~maverick~oneiric1~ppa1.dsc (1.4 KiB)
• mcrl_2.18.5-0ubuntu0+ppa4~maverick~oneiric1~ppa1_amd64.deb (6.9 MiB)
• mcrl_2.18.5-0ubuntu0+ppa4~maverick~oneiric1~ppa1_i386.deb (6.2 MiB)
• mcrl_2.18.5.orig.tar.gz (3.2 MiB)