Package Details: why3-git 0.72.r3740.g406e7f0-2

Git Clone URL: (read-only)
Package Base: why3-git
Description: The next generation of the former software verification platform Why
Upstream URL:
Licenses: GPL
Conflicts: why3
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 1
Popularity: 0.619796
First Submitted: 2016-04-16 05:49
Last Updated: 2016-04-16 06:18

Dependencies (8)

Required by (0)

Sources (1)

Latest Comments

derektbrown commented on 2017-08-29 23:17

Is not currently working.