Publishing details

• Published on 2013-01-30

Changelog

mcrl2 (201210.1-1ubuntu1~precise1~ppa1) precise; urgency=low

  * No-change backport to precise
 -- Jeroen Keiren <email address hidden>   Wed, 30 Jan 2013 16:37:00 +0100

Builds

• amd64
• i386

Built packages

• mcrl2 formal specification language toolset

Package files

• mcrl2_201210.1-1ubuntu1~precise1~ppa1.debian.tar.gz (7.0 KiB)
• mcrl2_201210.1-1ubuntu1~precise1~ppa1.dsc (1.8 KiB)
• mcrl2_201210.1-1ubuntu1~precise1~ppa1_amd64.deb (11.9 MiB)
• mcrl2_201210.1-1ubuntu1~precise1~ppa1_i386.deb (12.2 MiB)
• mcrl2_201210.1.orig.tar.gz (7.8 MiB)