Accepted why 2.40-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 13 May 2018 10:55:19 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.40-3
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: 898493 898518
Changes:
why (2.40-3) unstable; urgency=medium
.
* Update Architecture to native archs of ocaml 4.05:
- drop armel (closes: #898493)
- restore ppc64el, s390x (closes: #898518)
- add ppc64
Checksums-Sha1:
4928f849ba50d6e6347df14ee1c0d11226ac1709 2374 why_2.40-3.dsc
a21c16814b8a155176be1acab69ae9bc79ac9714 11872 why_2.40-3.debian.tar.xz
0a903971875f1584480441ec1773271ad77e2454 8983 why_2.40-3_source.buildinfo
Checksums-Sha256:
c918a172195b182159814aaae911ad50d64330e27e70f2002b7bbb6263a0aeee 2374 why_2.40-3.dsc
6b6a5bfd3338066549d3d6266dcc038d8119e78649fb2be1cc36a8735d29b928 11872 why_2.40-3.debian.tar.xz
9d5a6ccef4b4c780f765f9ac15173d2a6a85a1573bfa2bf6e405d8dda7cb29c4 8983 why_2.40-3_source.buildinfo
Files:
d4fead1e65dc55cef7baa877e6ec4508 2374 math optional why_2.40-3.dsc
ac8df73fe9c614a256e80357f269067d 11872 math optional why_2.40-3.debian.tar.xz
1e17ffe032d59c73e7c6af04c919543c 8983 math optional why_2.40-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlr3/yQACgkQdFxHZtTK
zf+E+w//bgFe9eoLpvTyErFjcmtVPqFkz+ts+POXKT+NVA/DfOgtSmU7kBOzy2Sa
LrpHhGk+B3rU06mjPlwEz+nU7txaZe7OpSv0JGZxUzYX8mt339jQnjzM/Q/uNE4/
n2TCeFmTBoHXShna6NETz8x5aC7N8q/1ZBoT9+X85LEiaPUac81yyhHvtJ4oXcJS
LCieLXkdTv2xRjCSZXArcxWNdCu01OnyeO39chLTHuMzwI7xplzDLiKRgHAPjGgT
VLZfyT0mw/+Z5Is80Zhm8UKQkzmnFC8K0UhXGcWashX9SxRzWakVxg6ShLtSmO9+
3xFFG5C73oqtLWZI2OxZGGVHnpR3m4viYncfKZGbCiUrMMDgkV/lvMkrny3Cp2Dx
pHuyP1pXC0wCnM1qrRfxkavw6xuChZkd1iugmVVdTe0/X5yGU1f2nxZ/kZA5fZIc
yQMFLZ3hXq9RcKokBcfKh2JfGTuf7c6huHRIe77SliVaTX8O5EnTB0LTVPymGL04
3B3y3D7cfrTfdqipDYnWxY+Y4Kky85eVdDgYV1pexY07WfgN7yisUt272qwFyQ35
JYxhBVnmDCftqYT6RA75rwD92Y1z4jEspJ5QGG9ah8ACB5AAdKywbshnR3CimkgS
8bdnSvpAWAzTZ52j6EkkpiVh1Y690hIVXq9AdTO/uUKGMgup9BI=
=hIYz
-----END PGP SIGNATURE-----