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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 21 Aug 2019 19:50:11 +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-1ubuntu4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Aug 2019 19:50:11 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.0-1ubuntu4
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-1ubuntu4) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 87340af4ef6e396c675a36b841c4db8cafece5a5 2662 why3_1.2.0-1ubuntu4.dsc
 a2dcbc79bc9f5dcfee6d6a8ae107566c9db0f13b 17144 why3_1.2.0-1ubuntu4.debian.tar.xz
 4d51c02dfc23493e1c1efa3bfe8b7e21f13077e7 14262 why3_1.2.0-1ubuntu4_source.buildinfo
Checksums-Sha256:
 8d3caf3cf1880247f61fe6f2a8e15ea52bee3f0228f02d9be26b5781b112d786 2662 why3_1.2.0-1ubuntu4.dsc
 77e41fa27ccc5adf969b720fa72c12e90a330c0c52ce0282db1f7c8c38cff059 17144 why3_1.2.0-1ubuntu4.debian.tar.xz
 623403cd0cef9ba995968e69d3e4b9254d8dca6bb7ed647d793733ea7b0a4fa8 14262 why3_1.2.0-1ubuntu4_source.buildinfo
Files:
 b78a2219048d463c6a2b745d701bf48b 2662 math optional why3_1.2.0-1ubuntu4.dsc
 21751ef50b43f783c35d80d357ad6a38 17144 math optional why3_1.2.0-1ubuntu4.debian.tar.xz
 a6fdaa2f52c0f866b0fd8f3ea7ae017f 14262 math optional why3_1.2.0-1ubuntu4_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1dhFUACgkQ808JdE6f
Xdn4bA/9FNXIJA6JDHe9XlEsduKfXKl8L6DUrj/SRn552lmnLym/9hu3OEbC1h81
mY8vfaIIzfIXaJljfZ/PVCFOyLZhGklZ6xa0/7G/8W17hj34uYxWXKxkFf5lhEYN
vtRm4/2MypFqDJHlrre+MH8/fTI7Q7KMoaZxFRu8hFtMdOWPWFbjWY7GpH45u7cp
Pz1iLNjLQBIaico4VOlL6BTWR3Ij28umYLxrcFtNkYs4lV+rmxn2rzSww/gcSObm
i1DxxXb7X1R9N2buH0jG7OKPA513RfguB1oo5iIFlGGRy/FSJu0ajRO3zVw1Pwu/
am6MTVDVXfyEyYTBjBOcRlh8LV13ETm+Td3FR6+KC+pfoMtgJ1aGX8vxL27WSOeP
fXuaDn+3vL9JndgXXrC1YTBdr/xwHZuXohLr9bZaNhGKPHDE9rE3XG/ZYiRgGA0R
CBJR53A36/GRkr2XdjzvT5ZPSzu8xDSt8sbU2cN+2Yt78mpJFkM38n3sBWcDCIhu
SnBR3mPN39dZc0M1wGbm7AsF5QauVNOET66FPznXAeJLv/gXIiciDfLVkI6+Yfcr
8F9gLs67B197Y+O+z5fhQcMBEGNkgUesMcfeOKvnQOMNP4eEXjPFCnUDeuXHaL5A
fQllJ6DhQ9CTXNYlMm5P4kX4uP57jNg929JJ1LV+MkTuBV679ks=
=zqMA
-----END PGP SIGNATURE-----