why 2.34-1 source package in Debian
Changelog
why (2.34-1) unstable; urgency=low
* New upstream release.
* Drop deprecated patches:
- deprecated-or
- hashtbl
- frama-c-versions
* Bump build-dependency on frama-c to version 20140301+neon+dfsg.
* Fix debian/tests/frama-c+jessie+alt-ergo:
- run why-config when there is no ${HOME}/.whyrc
- drop the specification of cpp-4.7 as this is no longer needed, and
the dependency of that test on cpp-4.7
-- Ralf Treinen <email address hidden> Tue, 29 Apr 2014 20:56:03 +0200
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 |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.34-1.dsc | 2.3 KiB | dbf3aeed4d7aa7fe8a19c73e2ce607455ffbd8a17b25daeec9154880798a970d |
| why_2.34.orig.tar.gz | 3.6 MiB | 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 |
| why_2.34-1.debian.tar.xz | 10.2 KiB | 896570e910ae37b76b376099f70dc91abd42e7745e46dba0d479303e8ed0c1f2 |
Available diffs
- diff from 2.33-2 to 2.34-1 (642.6 KiB)
No changes file available.
