mcrl2 201107-1 source package in Ubuntu

Changelog

mcrl2 (201107-1) unstable; urgency=low
  * New upstream release (closes: #625156).   * debian/control:     - Bumped standards version to 3.9.2.    - Removed the initial "the mCRL2" from the description.    - Added a build depend on libgl2ps-dev.  * debian/patches:    - Removed fix_manpage_generation.patch; fixed upstream.     - Added lintian_fixes.patch to resolve some lintian issues.  * debian/rules;    - Added targets build-arch and build-indep to comply with (future)      policy. -- Paul van Tilburg <email address hidden>  Mon, 18 Jul 2011 16:03:38 +0200

Upload details

Uploaded by:
Paul van Tilburg
Uploaded to:
Sid
Original maintainer:
Paul van Tilburg
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
mcrl2_201107-1.dsc 1.3 KiB 060e201be3cbf0c13be945e5812ad9d35079b6d78c6147b42b37439cd3698599
mcrl2_201107.orig.tar.gz 4.9 MiB 2101dc3e845a3a8dc5a2c84cecba7c1c79cbfa5b58abb24679890e5bf7c771ae
mcrl2_201107-1.debian.tar.gz 8.3 KiB 52481a3ec6bc205ee24bd5958ff344d0054b978df886a7aa1d286615c78206ca

No changes file available.

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
 analysed.