mcrl2 201107.1-1 source package in Ubuntu


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,
    - 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
  * debian/watch: Updated to also track bugfix releases.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  03 Jan 2012 02:34:11 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync on 2012-01-03
Uploaded to:
Original maintainer:
Paul van Tilburg
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release on 2012-01-03 universe math


File Size SHA-256 Checksum
mcrl2_201107.1.orig.tar.gz 4.9 MiB fd15cda5099583df4ef01fb711cab33b7de2218b59c4a09fb557fe2254b4da7e
mcrl2_201107.1-1.debian.tar.gz 6.7 KiB 17d245642ab498d153a39c40ff663cc08405d9bca59047d02163f8108da31681
mcrl2_201107.1-1.dsc 1.4 KiB 9291bcf7a58962f6975ec599749e20907c1c36493dcb674347954e34c76e95bd

View changes file

Binary packages built by this source

mcrl2: formal specification language toolset

 mCRL2 stands for micro Common Representation Language 2. It is a
 specification language that can be used to specify and analyse the
 behaviour of distributed systems and protocols and is the successor to
 muCRL. Using its accompanying toolset, systems can be analysed and
 verified automatically.
 This toolset supports a collection of tools for linearisation, simulation,
 state-space exploration and generation and tools to optimise and analyse
 specifications. Moreover, state spaces can be manipulated, visualised and