why3 (0.87.1-2build1) yakkety; urgency=medium * No-change rebuild for ocaml ABIs.
Date: Fri, 02 Sep 2016 12:11:03 +0000 Changed-By: Matthias Klose <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/+source/why3/0.87.1-2build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 02 Sep 2016 12:11:03 +0000 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: source Version: 0.87.1-2build1 Distribution: yakkety Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Matthias Klose <[email protected]> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-doc-pdf - PDF Documentation of the why3 verification platform why3-examples - Examples for the why3 verification platform Changes: why3 (0.87.1-2build1) yakkety; urgency=medium . * No-change rebuild for ocaml ABIs. Checksums-Sha1: c26b476ae5de3f1c65606fcea1a3e8fbeb47923b 2616 why3_0.87.1-2build1.dsc 971d4a8120e8d4d9cfb2be5fdb711ad1e989c7bf 12116 why3_0.87.1-2build1.debian.tar.xz Checksums-Sha256: 2d089f53d946c0fe5a4a761d2a0a00a43935c9b997bf5bdc0af7ec06caa36188 2616 why3_0.87.1-2build1.dsc 54bda8f5a84ce903162588ae2808033836c14a7cf78c3e0766b6e824bd747f7f 12116 why3_0.87.1-2build1.debian.tar.xz Files: a6bfba1f27f3a513c031e27b2055b106 2616 math optional why3_0.87.1-2build1.dsc 47dcebaea1ccd701e5976c6c0f17d803 12116 math optional why3_0.87.1-2build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXyWx3AAoJEL1+qmB3j6b1IHgP/2yazQfOTlO1kDd9XdNTzRpP E2SCV2A5PFXKbWbSN8SQYWZg33SHZvTiF+aQr28EPkUN8aD6Iqsb7t3Dlx39dehj BSomg/J68wcHChA8YnH5e0sXIaJMYDOct5PXg0NjCqTgBgRDahOS7JW6/zsEoRJ6 leb7qIpe6lsE+eJsTmxK/ofSKikysfA1Nc8ly809S/SRLtTuZNfrZLi92hy/EkUf VvY+nPQue4tds7WnBT54WKAaFjv2rWNltjmUOvnUhtn6sAo13aWpQFyI9D292fwG z2zTLKKGz119eitg8E9Na7yBVrxbLENKEmIT3TYraaudLOC9Vd7sUai7xaDzldCy LlLGMJJGofSe59D2fLWw0l7xe/P7H/0etfq+KmYg/uji1mPPEOAagC+xhpa+cYSD pGkzVbj2rgezJ5uX+hcIYTFTcagRRSU7SBndaEkcT7GK4paAFJPzoCOZ5tlXJYjX wJ2L397v5NQL/z/dfHiOYRKBvb1fTK7b4fbDKqMSuCgOzlldzM+du2eBAZcGfUIt rKDd6ikVCs3Ij4vomvj0t3Q+A6GWgOKXocnXCC7WVmegoww5VC9k34dCT7oR94I3 76FPQW5PQctn/ihDiLLdzPqpCovpdwjzhglOXJ6/1znizMo7puMbROUCe1Etr9tN ANqQWlUr+YWLu3LzzzpH =IHpV -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
