[ubuntu/yakkety-proposed] why3 0.87.1-2build1 (Accepted)
Matthias Klose
doko at ubuntu.com
Fri Sep 2 13:46:42 UTC 2016
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 <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/0.87.1-2build1
-------------- next part --------------
-----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 <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
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-----
More information about the Yakkety-changes
mailing list