-----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-----
