Search Criteria
Package Details: mcrl2-bin 202507.0-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/mcrl2-bin.git (read-only, click to copy) |
|---|---|
| Package Base: | mcrl2-bin |
| Description: | A formal specification language with an associated toolset installed from the 'deb' GitHub release package. |
| Upstream URL: | https://www.mcrl2.org |
| Licenses: | boost |
| Conflicts: | mcrl2 |
| Provides: | mcrl2 |
| Submitter: | Kevinjil |
| Maintainer: | Kevinjil |
| Last Packager: | Kevinjil |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2023-11-15 14:45 (UTC) |
| Last Updated: | 2025-08-11 07:00 (UTC) |
Dependencies (4)
- glu (glu-gitAUR)
- hicolor-icon-theme (hicolor-icon-theme-gitAUR)
- qt6-base (qt6-base-gitAUR, qt6-base-scrollfixAUR, qt6-base-scrollfixAUR, qt6-xcb-private-headers-scrollfixAUR, qt6-xcb-private-headers-scrollfixAUR, qt6-base-headlessAUR, qt6-base-hifpsAUR)
- python (optional) – for easily running the included examples