Package Details: modex-git r5.e6319f5-1

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
Last Updated: 2020-04-22 22:58