[ubuntu/eoan-proposed] why3 1.2.0-1ubuntu3 (Accepted)

[Gianfranco Costamagna]

why3 (1.2.0-1ubuntu3) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Aug 2019 15:04:27 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/1.2.0-1ubuntu3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 05 Aug 2019 15:04:27 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.0-1ubuntu3
Distribution: eoan
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
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 (1.2.0-1ubuntu3) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 99cc1e0d4ee211516dd72086078ddc156f2b8d1b 2662 why3_1.2.0-1ubuntu3.dsc
 e41bfaf96dba7479b26d86e7e7a6995c64fb539e 17148 why3_1.2.0-1ubuntu3.debian.tar.xz
 6d70dc68fcd5da3079f01378682a1937665d4739 14262 why3_1.2.0-1ubuntu3_source.buildinfo
Checksums-Sha256:
 8d5196b4c649e78d6e066cadaf80ef31839120f973cd9dd977e49997f3670a9f 2662 why3_1.2.0-1ubuntu3.dsc
 69a0bce610886c61274ec1d8c7df4beca731f7f7ef09f1a58008166b253c0df6 17148 why3_1.2.0-1ubuntu3.debian.tar.xz
 fce4077d42fb122eb9e2d800f9c707f3763291c46d32fc82c91ec5651ae323aa 14262 why3_1.2.0-1ubuntu3_source.buildinfo
Files:
 26d14bc29cc4e692b9eb6eebca80860c 2662 math optional why3_1.2.0-1ubuntu3.dsc
 4056d0c08c065ef677f3f10b9ed86bb8 17148 math optional why3_1.2.0-1ubuntu3.debian.tar.xz
 db96d9ba5a1b17e43d5845113b193394 14262 math optional why3_1.2.0-1ubuntu3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1IKV0ACgkQ808JdE6f
XdnGBg/8DXJZjINDZfdzjwgUZCqfcVEDt0LyDx0bvlUV5cb+EB/rd82PvJoQmXfc
gb+OvZGh026LcT0707F80m6J99+6mI9zV0hUzRA8zT4CpVbk0oqPWnyS1qMBANby
xeCUMsk3GQEksmLZ3qQBIpnbsNvaof+2of/P6aJtw8Dq23PDT8KahXmpYGdYHATY
g+XEUnH1AezLQkuNOjjkSfIWngqZRLYfJICwAXzzZJyYUjk1gWBFb8czgCfKFyAp
rc7PcB8ogXReyAWRfjjcBPFlCKSOR61Y9R5FTI3qHZiFvUEH/3iZLuoDtE6CDkMc
8A7ixKWPmc2Tuw+b1uqULvUqfiqAIuhdyy9r3RaHWNLaeUpVukTV+eR9gA6oJOF/
djGCzHu8jrQ+w/snoBd6Bhj3iVDirfq0CVYEAC4qH/+kZYYNvRsbC8UzB/yR6C3z
ULM8XQywPxMQD0jb1ZYGvCx/PW07I48mD6tIlXRqtp6P5n1yZwRi+szbkQVKcekR
bsg9tyZsqM5Ia0X/t6NHsSslf/hELIeBquNWiT482J300AHb/QmbdSzkx+RmHs+Z
gMGVRDP7pmxvrvDJVgpSs3Z8qRpjhZ5bjQHlikF0Vs9e8paUqQaGSSjPNeQNJwwE
uqnTf8KY9zcvIxqhbh4Io2frYmdmm5IYxoCxTcSvO+yfpMAU2kc=
=Axhg
-----END PGP SIGNATURE-----