why package in Ubuntu

libwhy-coq: No summary available for libwhy-coq in ubuntu artful.
why: Software verification tool for C and Java
why-dbgsym: No summary available for why-dbgsym in ubuntu artful.

This package has 0 new bugs and 0 open questions.

Package information

Debian OCaml Maintainers
Medium Urgency
amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 powerpc ppc64el sparc s390x all
Latest upload:

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections

WhySynth controllertrunk

A hardware controller for the WhySynth synthesizer.

Bug supervisor: no
Bug tracker: yes
Branch: yes

There are no registered releases for the WhySynth controller ⇒ trunk.

The Bionic Beaver (pre-release freeze)
2.39-2build1 release (universe) 2018-02-02
The Xenial Xerus (supported)
2.34-4ubuntu4 release (universe) 2016-02-23
The Precise Pangolin (supported)
2.30+dfsg-3 release (universe) 2012-01-17