Package Details: why3 0.86.3-1

Git Clone URL: https://aur.archlinux.org/why3.git (read-only)
Package Base: why3
Description: The next generation of the software verification platform Why
Upstream URL: http://why3.lri.fr/
Licenses: LGPL
Submitter: pherms
Maintainer: LeonidasXIV
Last Packager: LeonidasXIV
Votes: 5
Popularity: 0.070452
First Submitted: 2011-01-19 09:39
Last Updated: 2016-02-27 01:12

Latest Comments

TrialnError commented on 2014-10-01 12:00

Updated in case of PKGBuild Guidelines and version. Didn't test if the program is working

mathieu.clabaut commented on 2013-05-02 12:46

The buid failed with the following message :
cp: la cible « /tmp_dsk/makepkg/why3/pkg/why3/usr/share/why3/images » n'est pas un répertoire
make: *** [install_no_local] Erreur 1

Any tip ?

pherms commented on 2011-07-04 10:13

Version 0.64 is out of date, too. The new version .70 should be released this week.

pherms commented on 2011-01-19 10:24

Currently broken due to upstream bug (works only if installed to /usr/local ...)