Accepted why 2.38-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 24 Apr 2017 08:25:31 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.38-1
Distribution: unstable
Urgency: medium
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 for C and Java
Closes: 858366
Changes:
why (2.38-1) unstable; urgency=medium
.
* New upstream version (closes: #858366)
- refreshed patches bprintf, edge
- dropped hunks of patch reproducible_build that have been applied
by upstream.
* Bump build-dependency on frama-c-base to 20161101+silicon+dfsg
* debian/why.install: install Jessie.o
* Restrict Architecture of the why package to architectures having a
native-code compiler for ocaml, since upstream ceased to maintain
the why package for bytecode-only architectures.
Checksums-Sha1:
4d7284212c5de6f55c31efaa65ea83b6f4a4f80c 2428 why_2.38-1.dsc
1c421cdde44021424195c9426365a5173695a161 1728736 why_2.38.orig.tar.gz
0d385a4c049f176a3d4bf5c72ae7708647f949c0 11600 why_2.38-1.debian.tar.xz
9aa2d01b4fd71040e4f2e44709345a34d7c5d607 8635 why_2.38-1_source.buildinfo
Checksums-Sha256:
e47f35d717925497d41289ecabffa36bfe6b4b08a0b416aab1c399d09734d0d8 2428 why_2.38-1.dsc
16e174b4190352b229259f2ea47628f9ca4f33053c28c531536f6d350231db12 1728736 why_2.38.orig.tar.gz
c29d7a2e5b0cae856ed21c97868b6cb5788456d65221e02b0a5d07d66d8633eb 11600 why_2.38-1.debian.tar.xz
cea4775098f01de94e9b99c18713e653870d1843be52c1ef7bd10ab79a586897 8635 why_2.38-1_source.buildinfo
Files:
f55748f9af36c2e3fb431d4914b3e2b8 2428 math optional why_2.38-1.dsc
3add4408954b07a23629b14d74a0a16e 1728736 math optional why_2.38.orig.tar.gz
42215888c0c54ee479b16d689c40610e 11600 math optional why_2.38-1.debian.tar.xz
53aa26793979568d46b26b7ea1ad61dd 8635 math optional why_2.38-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlj+SmsACgkQdFxHZtTK
zf9ywBAAgUcAkgOBRZIbzFjo7KNc5ZgfmoBbhN4hnZO/l8EHCb8ngPjpGPNp9/SO
WjiVkJpX6lLSz5Cod1shSBLoSLTummg2xBOS6dSOXf15KpE+OdC65rg8FsqQPIWX
dojZTrJ9w2TPtA0nYrQQW3DrWRuSlHyX468zV0vBAFnGaFYUqYn76Pw1frh+EEJ1
eeqOBzbsw1aecr0vOYSnLS8zIEf7ofnq/XgYuXobk7wlJXFLk8GaIOcpkAhxzGxP
94BLAPpN8qCuqDat6N7wCj7OlVA7YlixOW3avq+agNZ+7DRJyCs/5+9mWVYooJBM
oJsGkf7OtFWPQix3LL77HzF9vHt/rHhhHDOuUNVR9WhmsDQG2Z0Qdsou3vZpijmJ
R5+nbGkSjRY6PcjQjxgH24ng9mvua9jvJgAU4jX8s4KnRG4gmNQWzuT44wHmtL4G
1+tNr87NRRPR9U2x/gOOADtXG/2PZPL2uSqWqZmmo/dniHtsNT36KQjSxlYTQBUa
lEENxxMLYMl/eUF5cNxI5tHvEEX8LNDVkQ4tPfqZM4DcIGVYZZu/QiuvvW3S8LKJ
0g1pgClM83FYXVZkwWaN1zFTehM7I9GbRSJ8sNP19rfzPMtbKNiYQXpAXkbq+8ab
CTM572frC+ihFperdpecVknENughXIv7Nuoxf/0jsMK/XapBYzg=
=3DDV
-----END PGP SIGNATURE-----