mcrl2 201409.0-1ubuntu3 source package in Ubuntu


mcrl2 (201409.0-1ubuntu3) bionic; urgency=medium

  * No-change rebuild against libgl2ps1.4

 -- Steve Langasek <email address hidden>  Sat, 11 Nov 2017 06:27:49 +0000

Upload details

Uploaded by:
Steve Langasek on 2017-11-11
Uploaded to:
Original maintainer:
Ubuntu Developers
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Disco release on 2018-10-30 universe math
Cosmic release on 2018-05-01 universe math
Bionic release on 2017-11-22 universe math


File Size SHA-256 Checksum
mcrl2_201409.0.orig.tar.gz 16.6 MiB 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f
mcrl2_201409.0-1ubuntu3.debian.tar.xz 6.8 KiB 1aee145056a4cdb28f90871b5fab562f4e6d092688540a3018283757e1d133c8
mcrl2_201409.0-1ubuntu3.dsc 2.1 KiB e841244ce217ba5eeddf76b9a1abe8dea07c9c46f2bb03c273329ce78ef33327

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

mcrl2-dbgsym: debug symbols for mcrl2