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

Git Clone URL: https://aur.archlinux.org/why3-git.git (read-only)
Package Base: why3-git
Description: The next generation of the former software verification platform Why
Upstream URL: http://why3.gforge.inria.fr/
Licenses: GPL
Conflicts: why3
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 1
Popularity: 0.182876
First Submitted: 2016-04-16 05:49
Last Updated: 2016-04-16 06:18

Dependencies (8)

Required by (0)

Sources (1)

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.