Package Details: prismmodelchecker-git r3619.06bba360-1

Git Clone URL: (read-only, click to copy)
Package Base: prismmodelchecker-git
Description: PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour
Upstream URL:
Licenses: GPL2
Conflicts: prismmodelchecker
Provides: prismmodelchecker
Submitter: s14h
Maintainer: s14h
Last Packager: s14h
Votes: 0
Popularity: 0.000000
First Submitted: 2017-08-17 08:46 (UTC)
Last Updated: 2019-01-25 07:32 (UTC)

Dependencies (2)

Required by (0)

Sources (1)

Latest Comments

s14h commented on 2019-01-25 07:33 (UTC)

You're right, also the python dependency was unnecessary. Updated. Thanks!

kaur commented on 2019-01-24 16:40 (UTC)

missing make dependency 'git'