Publishing details

• Published on 2013-11-15

Changelog

mcrl2 (201310.0-1ubuntu1ppa1~saucy1) saucy; urgency=low

  [ Sjoerd Cranen ]
  * New upstream release.
  * Closes: #716195, #716585.
 -- Sjoerd Cranen <email address hidden>   Wed, 02 Oct 2013 15:49:43 +0200

Builds

• amd64
• i386

Built packages

• mcrl2 formal specification language toolset

Package files

• mcrl2_201310.0-1ubuntu1ppa1~saucy1.debian.tar.gz (6.8 KiB)
• mcrl2_201310.0-1ubuntu1ppa1~saucy1.dsc (1.7 KiB)
• mcrl2_201310.0-1ubuntu1ppa1~saucy1_amd64.deb (12.1 MiB)
• mcrl2_201310.0-1ubuntu1ppa1~saucy1_i386.deb (12.0 MiB)
• mcrl2_201310.0.orig.tar.gz (16.2 MiB)