why 2.33-2 source package in Ubuntu
Changelog
why (2.33-2) unstable; urgency=low * fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo) -- Ralf Treinen <email address hidden> Mon, 17 Feb 2014 08:40:19 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
why_2.33-2.dsc | 2.3 KiB | 87419c8eb25d5e29721f747962e3fc0a13be9099fcdfb3d14da7ad72ea51f52b |
why_2.33.orig.tar.gz | 3.5 MiB | d00b327de28946c5fc573444b7aaf6989f9f347c81256acff102a144f0b30189 |
why_2.33-2.debian.tar.xz | 13.0 KiB | f35b790734b648c85c4b2bb8d7e4d583503fddabe97de002579b52bb204b94c6 |
Available diffs
- diff from 2.33-1 to 2.33-2 (422 bytes)
No changes file available.
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu trusty.
No description available for libwhy-coq in ubuntu trusty.
- why: No summary available for why in ubuntu trusty.
No description available for why in ubuntu trusty.
- why-examples: No summary available for why-examples in ubuntu trusty.
No description available for why-examples in ubuntu trusty.