Publishing details

• Published on 2011-07-19

Changelog

mcrl2 (201107-1+ppa1~lucid) lucid; urgency=low

  * PPA version of new upstream release
 -- Jeroen Keiren <email address hidden>   Tue, 19 Jul 2011 13:12:41 +0200

Builds

• amd64
• i386

Built packages

• mcrl2 formal specification language toolset

Package files

• mcrl2_201107-1+ppa1~lucid.debian.tar.gz (8.5 KiB)
• mcrl2_201107-1+ppa1~lucid.dsc (1.7 KiB)
• mcrl2_201107-1+ppa1~lucid_amd64.deb (14.6 MiB)
• mcrl2_201107-1+ppa1~lucid_i386.deb (14.8 MiB)
• mcrl2_201107.orig.tar.gz (4.9 MiB)