Search Criteria
Package Details: apron 0.9.10-2
Package Actions
| Git Clone URL: | https://aur.archlinux.org/apron.git (read-only, click to copy) |
|---|---|
| Package Base: | apron |
| Description: | APRON numerical abstract domain library |
| Upstream URL: | http://apron.cri.ensmp.fr/library/ |
| Licenses: | LGPL2 |
| Provides: | apron |
| Submitter: | arthaud |
| Maintainer: | arthaud |
| Last Packager: | arthaud |
| Votes: | 3 |
| Popularity: | 0.001971 |
| First Submitted: | 2018-12-11 04:51 (UTC) |
| Last Updated: | 2018-12-11 05:33 (UTC) |
Latest Comments
arthaud commented on 2020-12-13 06:12 (UTC)
Not sure why someone marked this as outdated. The latest release is still 0.9.10