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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 27 Jul 2019 10:17:03 +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-1ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 27 Jul 2019 10:17:03 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.0-1ubuntu2
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-1ubuntu2) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3e3ee8f3da988fd29009cbae40d8155121f60303 2662 why3_1.2.0-1ubuntu2.dsc
 c44bd433bc0975f7eeda4fd5cca8a088b096b354 17136 why3_1.2.0-1ubuntu2.debian.tar.xz
 8850628dd5bb7e083eff629bbb66fafb7da20300 14262 why3_1.2.0-1ubuntu2_source.buildinfo
Checksums-Sha256:
 7a11406da21fef7f6f7d0a314988c82cf8f345d7656d3f9b4e4ce8874241fb8b 2662 why3_1.2.0-1ubuntu2.dsc
 03a3f490c2f206288bbd32e739c98081956f5b3b56c3256ea20b2b9dc99cedb3 17136 why3_1.2.0-1ubuntu2.debian.tar.xz
 ab8bc90d42264411ef247c5bb14e5a0274fcaa5aaf1a1032f654375471d5393e 14262 why3_1.2.0-1ubuntu2_source.buildinfo
Files:
 2b90aa55f260166da9f1b24a761862d1 2662 math optional why3_1.2.0-1ubuntu2.dsc
 73f874e362c45e9afceb949173fb7e40 17136 math optional why3_1.2.0-1ubuntu2.debian.tar.xz
 3d22038436e69752a7b771449df33792 14262 math optional why3_1.2.0-1ubuntu2_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl08CIEACgkQ808JdE6f
XdknUxAA1A9AyU5j3oD4zl/AbjKvMpVfNnXgkFKAE8rHAjzNL1ER9uUgUUVtvh20
3wTJRDQD2f7vCWHArIRq4JPw1JWRtF+XB6a9swTh+bzI5M0PZcf0jEpCIk/sEW8f
X/JtmaF6tgn02FAIZ9qvL3zL645XOxcefWc/qq++OFs/9FZVb8tCJDiNKMERpROt
eOGraOX5dxOieep+KJzInuxdSUZX7+BTHc4V9u60JanWxCC724kTKMRriUPjt/d9
FAH8azvBNJu4QWnfXJinnxSyPSXo47KT+v9Zmq7RSxEz3MwlH+pDWPNeFV30N4db
OayhpzHngCLsG9M8boip0aKU4kYK/v1NquMX9wBlwdZmcRCPXEwtQs0M2kFrklL6
/oL4ACSMRq4ASFV4Cg9SCSOceFy1egSXV5PgCWbz52wSH7/de8nM+4mHFoI32Oh+
5gzu33knblH/ZaBqMwfkj+UNsC/L7bb3xooPESEFLfsPnljWtQMkGmvoqIH4doCD
fEXdvKfzkV8gU5R4G9/P2vYhOm+/bw6e2Td8xgEG66vfSlg9zGkAbP0OTKGjh+tk
P2KN3Am27L3sHB8phIK3BXKzcJMu4/KcNxXtUoF6hCe2iOEiCTjsSvVjwiMookD6
db+VwdYd2m2DjVCDlmwJ8g9DR9zN6d2+31TEiI+xGfeltkq8e7U=
=+VHr
-----END PGP SIGNATURE-----