why package in Ubuntu

why: Software verification tool for C and Java
why-dbgsym: debug symbols for package why
why-examples: Examples of programs certified with Why

This package has 0 new bugs and 0 open questions.

Package information

Maintainer:
Debian OCaml Maintainers
Urgency:*
Medium Urgency
Architectures:*
any all
Latest upload:
2.36-5build2

*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 Artful Aardvark (active development)
2.34-4ubuntu5 release (universe) 2017-04-20
2.36-5build2 proposed (universe) 2017-04-21
The Zesty Zapus (current stable release)
2.34-4ubuntu5 release (universe) 2016-10-18
The Yakkety Yak (supported)
2.34-4ubuntu5 release (universe) 2016-07-11
The Xenial Xerus (supported)
2.34-4ubuntu4 release (universe) 2016-02-23
The Vivid Vervet (supported)
2.34-2ubuntu1 release (universe) 2014-10-23
The Precise Pangolin (supported)
2.30+dfsg-3 release (universe) 2012-01-17