-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 29 Apr 2014 20:56:03 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.34-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool
why-examples - Examples of programs certified with Why
Changes:
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
Checksums-Sha1:
832eddf9e184b3cee78733f96f79957931189737 2342 why_2.34-1.dsc
4c1218b32314015819d5d7e3a56b1c51aed16903 3725831 why_2.34.orig.tar.gz
75f8d9c8695eff6ef1543e3ecc4daed1ecaf86a0 10456 why_2.34-1.debian.tar.xz
37dc30d99e15c86c37200b496d2a6367d966ab23 5041960 why_2.34-1_amd64.deb
dcaba9100a0bf5f1589e6ceee36716f5d3834bfa 143124 why-examples_2.34-1_all.deb
addb11c11374c054ddd91eab85fb497c1dcd0fe6 245332 libwhy-coq_2.34-1_all.deb
Checksums-Sha256:
dbf3aeed4d7aa7fe8a19c73e2ce607455ffbd8a17b25daeec9154880798a970d 2342 why_2.34-1.dsc
76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 3725831 why_2.34.orig.tar.gz
896570e910ae37b76b376099f70dc91abd42e7745e46dba0d479303e8ed0c1f2 10456 why_2.34-1.debian.tar.xz
2360815c295b911b7402baac314a21e6ff1a89d68bece0c846ea85ea008d476c 5041960 why_2.34-1_amd64.deb
10476b2ca4e22fbcb67039d349c109afb77510b260a34b7fa36db29973eaae12 143124 why-examples_2.34-1_all.deb
fb1f70df32bd5cf00e44dc618f6bba73aec9a3e5373a1100262d03ef059c659b 245332 libwhy-coq_2.34-1_all.deb
Files:
ca10abe39f25578817a330bef75742d3 5041960 math optional why_2.34-1_amd64.deb
2ccfa8ceb21de46023d99ade538a33dc 143124 doc optional why-examples_2.34-1_all.deb
8600069cc4d4a5c4c5f1994b43c884a8 245332 libdevel optional libwhy-coq_2.34-1_all.deb
f4e005f41bb3f4f368af748b3aee26a9 2342 math optional why_2.34-1.dsc
1e729c4ecb41892531563d34208d3e52 3725831 math optional why_2.34.orig.tar.gz
f01e225f1a3a2c3ce65d842bf0f28230 10456 math optional why_2.34-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTYJwsAAoJEHRcR2bUys3/pF0P/AoGRMe4l//mhxuPP8mAL0fN
v9NdCNSYWkNpOI2j9u9ibQRVoze34O4vUkWfF0TZwtSI67Y6pz9sODxNlnGq6xew
31s9WOAEh0VkFuQM9vORp70dM4chfPdQjgmhWf9C+MPHYXI5JG5HYH+MIzrxZFK5
Bh68DZHxuaP1DHapx8lgQ70GSZz7i7o3BEFyctqs9nBuEN1dsXmK4bHykvn56h9k
MAnMb51rEfP1DspHzppO9JkAP9qm0tGv4Q2xJ422IZhRs4ls2FwEuNhSTCOslJ7X
j/5bsNVRWkltST4Thre5de2d3ULy6GCfgWk27x72NrTXgre0s3B5Xcs/T0AjpSvI
JyM1dxGkgr/k7HVnQeBYkxrKBq0iLhv+2LhrK7FHk3yjTn21K5uWHkBzIqTaPVmU
kDsz8twggHOUnJwitSucoGX/vC6Tq64cfUf1PW6jUGVuUvlyDDcm6TFZGEOgjrsM
NRr4t1W8wMs5drXTj7SCUNPM0uG5r5HmZAZj51AR0dERQ5mCZm+HdFa/xLIBXQPM
aDPXen9m2ZKHVoJFu0kaxDSPdZZJxoCMoRMZvOrPIm7/V82aPQuzSCXFY136R1cJ
sNoBcdx0SpUFZ1NddEmiNjT4D3iB2X88DUZsozoQ2saoWp0us2TLzE/T8xS10VzV
pmgduw/TIEXxyA2jrwM4
=p45B
-----END PGP SIGNATURE-----
