why source package in Cosmic
libwhy-coq: Why library for Coq
why: Software verification tool for C and Java
why-dbgsym: debug symbols for why
why information
No published releases of this package have been uploaded in
Ubuntu Cosmic
Upstream connections
A hardware controller for the WhySynth synthesizer.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the WhySynth controller ⇒ trunk.