why source package in Bionic

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.

Versions published


The package versions that were published when the distribution release was made.

why information

Current version:
Medium Urgency

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.

Binary packages

Download files from current release (2.39-2build1)

File Size SHA-256 Checksum
why_2.39.orig.tar.gz 1.6 MiB 4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159
why_2.39-2build1.debian.tar.xz 11.5 KiB fb18d2defb2bdd1e7c7b0d2d8b603319b0a44bdd6da8af02f9ac4249d6650f40
why_2.39-2build1.dsc 2.4 KiB d2b4abaa5fb810c923e120699dfbf270c05ccd74e23405f614dd18f88d087850

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies