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