Search Criteria
Package Details: modex-git r5.e6319f5-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/modex-git.git (read-only, click to copy) |
|---|---|
| Package Base: | modex-git |
| Description: | A model extractor for the Spin model checker |
| Upstream URL: | http://spinroot.com/modex |
| Licenses: | custom |
| Submitter: | bobo1239 |
| Maintainer: | bobo1239 |
| Last Packager: | bobo1239 |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2020-04-22 22:58 (UTC) |
| Last Updated: | 2020-04-22 22:58 (UTC) |
Dependencies (3)
- glibc (glibc-gitAUR, glibc-linux4AUR, glibc-eacAUR, glibc-eac-binAUR, glibc-eac-rocoAUR)
- sh (dashbinshAUR, bash-devel-static-gitAUR, zshbinshAUR, bash-devel-gitAUR, busybox-coreutilsAUR, bash-gitAUR, bash)
- git (git-gitAUR, git-glAUR) (make)