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

Git Clone URL: (read-only, click to copy)
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.000000
First Submitted: 2016-04-16 05:49
Last Updated: 2016-04-16 06:18

Latest Comments

kaptoxic commented on 2017-11-21 00:18

It seems why3 cannot be compiled from sources with newer versions of automake tools (which are current in the arch ecosystem). It seems this needs to be reported upstream.

derektbrown commented on 2017-08-29 23:17

Is not currently working.