Package Details: prob 1.9.3-3

Git Clone URL: https://aur.archlinux.org/prob.git (read-only, click to copy)
Package Base: prob
Description: ProB Animator and Model Checker
Upstream URL: https://www3.hhu.de/stups/prob/
Licenses: EPL 1.0
Submitter: bserckx
Maintainer: Jrnr601
Last Packager: Jrnr601
Votes: 0
Popularity: 0.000000
First Submitted: 2017-11-22 12:05 (UTC)
Last Updated: 2020-06-20 20:04 (UTC)

Dependencies (5)

Required by (0)

Sources (1)