Package Details: mcrl2 201409.1-1

Package Base: mcrl2
Description: A formal specification language with an associated toolset.
Upstream URL: http://www.mcrl2.org
Category: science
Licenses: custom
Submitter: None
Maintainer: bezirg
Last Packager: bezirg
Votes: 1
First Submitted: 2009-07-04 22:11
Last Updated: 2015-04-22 21:12

Dependencies (4)

Required by (0)

Sources

Latest Comments

Comment by bezirg

2014-09-08 19:40

Updated to latest stable.

Comment by TomBoshoven

2013-11-14 09:22

I'm sorry tjanpool, but this is an old package which I no longer use.
I will orphan it so you can adopt and update if you want.
I have an old (but working I think) SVN version of this package locally. I will also add this to the AUR (name is mcrl2-svn).

Comment by tjanpool

2013-11-14 08:14

Big thanks for making this Aur. Did miss to add that comment in my previous command.

Comment by tjanpool

2013-11-14 08:08

I installed boost and boost-build to make install work, boost headers were missing, don't know who of the two did the trick. Are you also able to put a not for Arch based distro users that this AUR package does exist. Its a same for you're efforts if the first thought of a possible user is: I have to build this myself, if you're lucky they think: is this not something for a Aur, lets look. Woot Woot, there is already one. (happened to me! srry not so smart to look for AUR first)

Comment by TomBoshoven

2012-03-06 14:09

Upgraded to version 201202.0.

Comment by TomBoshoven

2011-12-30 12:28

Adopted newest version (201107.1).
Let me know if there are any problems.

Comment by TomBoshoven

2011-12-29 13:44

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