Search Criteria
Package Details: uppaal-beta 5.1.0_beta5-2
Package Actions
| Git Clone URL: | https://aur.archlinux.org/uppaal-beta.git (read-only, click to copy) |
|---|---|
| Package Base: | uppaal-beta |
| Description: | Verify timed automata models and learn strategies. Beta release channel. |
| Upstream URL: | https://uppaal.org/ |
| Licenses: | custom |
| Provides: | uppaal-beta- |
| Submitter: | falkecarlsen |
| Maintainer: | falkecarlsen |
| Last Packager: | falkecarlsen |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2024-03-05 15:31 (UTC) |
| Last Updated: | 2024-03-07 09:20 (UTC) |
Dependencies (3)
- jre17-openjdk (jdk17-openjdk)
- xdg-utils (busking-gitAUR, xdg-utils-slockAUR, mimiAUR, mimi-gitAUR, xdg-utils-handlrAUR, openerAUR, xdg-utils-betterlockscreenAUR, mimejs-gitAUR, xdg-utils-mimeoAUR)
- unzip (unzip-natspecAUR, unzip-zstdAUR) (make)