Package Details: prob 1.12.2-1

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: 2023-11-05 09:45 (UTC)

Dependencies (5)

Required by (0)

Sources (1)