Skip to content

mCRL2 202206.1
Compare
Choose a tag to compare
@mlaveaux mlaveaux released this 04 Jul 14:34
· 2069 commits to master since this release
mcrl2-202206.1
2002ba4

This release contains two bug fixes. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

Assets 7
Loading