Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: mcrl2 202307.1-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/mcrl2.git (read-only, click to copy)
Package Base:	mcrl2
Description:	A formal specification language with an associated toolset.
Upstream URL:	http://www.mcrl2.org
Licenses:	boost
Conflicts:	mcrl2
Provides:	mcrl2
Submitter:	None
Maintainer:	erackron (Kevinjil)
Last Packager:	Kevinjil
Votes:	7
Popularity:	0.000000
First Submitted:	2009-07-04 22:11 (UTC)
Last Updated:	2023-11-15 15:29 (UTC)

Dependencies (7)

glu (glu-git^AUR)
hicolor-icon-theme (hicolor-icon-theme-git^AUR)
qt5-base (qt5-base-git^AUR, qt5-base-headless^AUR)
boost (boost-git^AUR) (make)
cmake (cmake-git^AUR) (make)
gcc (gccrs-git^AUR, gcc11^AUR, gcc-git^AUR, gcc-snapshot^AUR) (make)
python (python37^AUR, python311^AUR, python310^AUR) (optional) – for easily running the included examples

Required by (0)

Sources (1)

http://mcrl2.org/download/release/mcrl2-202307.1.tar.gz

Latest Comments

« First ‹ Previous 1 2

TomBoshoven commented on 2012-03-06 14:09 (UTC)

Upgraded to version 201202.0.

TomBoshoven commented on 2011-12-30 12:28 (UTC)

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

TomBoshoven commented on 2011-12-29 13:44 (UTC)

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

« First ‹ Previous 1 2