Search Criteria
Package Details: mcrl2-bin 202407.1-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: | 2024-08-25 20:55 (UTC) |
Dependencies (4)
- glu (glu-gitAUR)
- hicolor-icon-theme (hicolor-icon-theme-gitAUR)
- qt6-base (qt6-base-gitAUR, qt6-base-headlessAUR)
- python (python37AUR, python311AUR, python310AUR) (optional) – for easily running the included examples