Search Criteria
Package Details: carl-storm 14.30-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/carl-storm.git (read-only, click to copy) |
|---|---|
| Package Base: | carl-storm |
| Description: | The Computer ARithmetic and Logic library for the probabilistic model checker Storm |
| Upstream URL: | https://github.com/moves-rwth/carl-storm |
| Licenses: | MIT |
| Conflicts: | carl |
| Replaces: | carl-master14 |
| Submitter: | volkm |
| Maintainer: | volkm |
| Last Packager: | volkm |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2023-07-03 20:50 (UTC) |
| Last Updated: | 2025-08-26 21:43 (UTC) |
Latest Comments
MasWag commented on 2024-08-07 06:48 (UTC)
Hi. I have drafted PKGBUILD for carl-storm 14.28: https://gist.github.com/MasWag/69470ebc150df12c968f12df81207057. Please feel free to reuse/modify any portion of this.