Publishing details

• Published on 2011-07-19

Changelog

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

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

Builds

• amd64
• i386

Built packages

• mcrl2 formal specification language toolset

Package files

• mcrl2_201107-1+ppa1~maverick.debian.tar.gz (8.5 KiB)
• mcrl2_201107-1+ppa1~maverick.dsc (1.7 KiB)
• mcrl2_201107-1+ppa1~maverick_amd64.deb (14.4 MiB)
• mcrl2_201107-1+ppa1~maverick_i386.deb (14.6 MiB)
• mcrl2_201107.orig.tar.gz (4.9 MiB)