Publishing details

Published on 2012-01-03

Changelog

mcrl2 (201107.1-1) unstable; urgency=low

  * New upstream bugfix release:
    - Fixes infinite loop in lpsconfcheck.
  * debian/README.source: Removed, the source is no longer cleaned.
  * debian/TODO: Marked the boost-removal task as done! 
  * debian/patches/series,
    debian/patches/lintian_fixes.patch:
    - Dropped because it has been incorporated upstream.
  * debian/rules:
    - No longer set variables CMAKE_C_FLAGS_DEBUG, MCRL2_BUILD_IN_SOURCE,
      and MCRL2_USE_BOOST_INTERNAL as they are no longer used by the
      project. 
  * debian/watch: Updated to also track bugfix releases.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  03 Jan 2012 02:34:11 +0000

Available diffs

diff from 201107-1 (in Debian) to 201107.1-1 (5.5 KiB)

Builds

Built packages

mcrl2 formal specification language toolset

Package files

mcrl2_201107.1-1.debian.tar.gz (6.7 KiB)
mcrl2_201107.1-1.dsc (1.4 KiB)
mcrl2_201107.1-1_amd64.deb (13.9 MiB)
mcrl2_201107.1-1_armel.deb (11.8 MiB)
mcrl2_201107.1-1_armhf.deb (11.9 MiB)
mcrl2_201107.1-1_i386.deb (14.0 MiB)
mcrl2_201107.1-1_powerpc.deb (13.6 MiB)
mcrl2_201107.1.orig.tar.gz (4.9 MiB)