Search Criteria
Package Details: mcrl2-bin 202307.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: | 2023-11-15 14:45 (UTC) |
Dependencies (4)
- glu (glu-gitAUR)
- hicolor-icon-theme (hicolor-icon-theme-gitAUR)
- qt5-base (qt5-base-gitAUR, qt5-base-headlessAUR)
- python (python32AUR, python37AUR, python310AUR) (optional) – for easily running the included examples