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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 24 Jul 2019 23:32:47 +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-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 24 Jul 2019 23:32:47 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.0-1build1
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-1build1) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 bc444407fc3109c32136dd1bbb52395f3e5fc93c 2658 why3_1.2.0-1build1.dsc
 9c4e3c0170d97b14d29e4f9299e9a2d86d1d97e4 16412 why3_1.2.0-1build1.debian.tar.xz
 02bcb7882b82c407beb2f31cf81ac03093848fb3 7475 why3_1.2.0-1build1_source.buildinfo
Checksums-Sha256:
 cd3116abcc3f886b705ab5115739b745eb91303e5fb502c9b7026afcea75b7c8 2658 why3_1.2.0-1build1.dsc
 5f09fb25d30eee0d90e4fc324147c3b7f388e844ebc21ded824e9f9df4f5496d 16412 why3_1.2.0-1build1.debian.tar.xz
 3b18ad4c75a47bd910545e9a5e403adacebdd769228997a150d3704a5f0bc898 7475 why3_1.2.0-1build1_source.buildinfo
Files:
 99c7d3f39c081d54c9ae14e081f20737 2658 math optional why3_1.2.0-1build1.dsc
 1d7552a3bec484bac2419c47e2aaea22 16412 math optional why3_1.2.0-1build1.debian.tar.xz
 49cad356afbb0dc80ba57dea2440a7f7 7475 math optional why3_1.2.0-1build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl04zoIACgkQ808JdE6f
XdlDLg/9FpMe/M+TPBZ76zzMewUW9uVDexiXXvhDj/+a0ICkkd1mIdCSxAkO7GEo
akV2I32iuXwMcC0awfYgGuOdqGjxn6r+7cTq1VXMqmF1tkoXSZsPoMsoGa9OvqtC
qGz3NgjKFFX53mqBqcwSHUce+foJGk/mOGZaat0O+BG+pmaeb9muq4472C0k3ipg
Ri6KoJ6pgs9kys7Dw6K+7EGZIot7jqIUVkLYIGeFe3Bdfxfl/D2tBe9gFX1WMrCj
EHzX4ALC0z35AICO+BTQTfBcmjzYbWhMJ25C4VqTzaBZeG4v/LX5uzO4Xp/amkfC
PUtBQ23AMlKR+yj596187LVu3psAXU5ahnr+yV1UY7kZqxFGwkMwhp7CILf6Rxzw
h8nz2c9Ml29M20viM9Dzpdh+jm0WKcj/JbpL8dJK2TpLGvNrLX9KKk6n5hq0lMhI
JZM1AnpEpeY7kimaJaHtWJv/HXm9qow5s6X49iPCOdZqA5uEYT8z4VDIv2u7LlS5
7Hrt6biCfa8+SiJweO9ExAOizbyTh9K/PSdzAP55YZtztOQUfHvUQ9HdFA+bXJK8
ILmgl63bipd0gamm7Dglh5mfgNN5BTJBYkjErOj+GiDaxJpitZGHhkXSvvQ5JoRF
fxhQuUmyKKtj9S1Muy4KHF6wesTOdhoSoHw8QSfnWWOZeqIyWFc=
=i/u6
-----END PGP SIGNATURE-----