Home
|
Browse screenshots
|
Upload screenshots
Package
'why'
Details
Description
: Software verification tool
Section
: universe/math
Homepage
:
http://why.lri.fr/
Origin
: Ubuntu
Package maintainer
: Ubuntu Developers
Package page on ubuntu.com
Bug reports
Upload a new screenshot
Available screenshots
(These screenshots are licensed under the same terms as 'why' itself.)
Version: 2.26+dfsg-2+b2
Request removal
Why should it get removed?