Package Details: mcrl2 201808.0-1

Git Clone URL: https://aur.archlinux.org/mcrl2.git (read-only)
Package Base: mcrl2
Description: A formal specification language with an associated toolset.
Upstream URL: http://www.mcrl2.org
Licenses: custom
Submitter: None
Maintainer: erackron
Last Packager: erackron
Votes: 6
Popularity: 0.006947
First Submitted: 2009-07-04 22:11
Last Updated: 2018-09-09 12:53

Latest Comments

« First ‹ Previous 1 2

TomBoshoven commented on 2011-12-29 13:44

PKGBUILD for newest version (201107.1):
http://pastebin.com/kcpk9NPT