[ubuntu/bionic-proposed] why3 0.87.3-2ubuntu4 (Accepted)

[Gianfranco Costamagna]

why3 (0.87.3-2ubuntu4) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 28 Oct 2017 16:41:58 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/0.87.3-2ubuntu4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Oct 2017 16:41:58 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.3-2ubuntu4
Distribution: bionic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
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 (0.87.3-2ubuntu4) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e8f6eac3cd80298f28a90ef7d5667e1f9061c155 2688 why3_0.87.3-2ubuntu4.dsc
 0241eed1d88b3884342c5271e0662216e683ba48 12928 why3_0.87.3-2ubuntu4.debian.tar.xz
 309b16c89422850cabcd3098c4a25fc0117c2271 10134 why3_0.87.3-2ubuntu4_source.buildinfo
Checksums-Sha256:
 4954b3851d06a80edc9456d59f106016c4c130ce980f8d4c7d13c4027764ba28 2688 why3_0.87.3-2ubuntu4.dsc
 c0f2cc3cba058a4fccbc0545d19e73a4c89eb4d032fa2a54d6bed882d35b6df9 12928 why3_0.87.3-2ubuntu4.debian.tar.xz
 9dacb55f4370adacd9186d29b5d342f8ff06da7694d248260d576377621c3e14 10134 why3_0.87.3-2ubuntu4_source.buildinfo
Files:
 fc316a30c45dc7e05cce6995425ff5ff 2688 math optional why3_0.87.3-2ubuntu4.dsc
 70ca4056736cec550ec8df1d336bae7f 12928 math optional why3_0.87.3-2ubuntu4.debian.tar.xz
 9cdbae70cbd8d04b76d08ba6d39ef619 10134 math optional why3_0.87.3-2ubuntu4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCAAGBQJZ9Jc7AAoJEPNPCXROn13Z3lYQANLvYBI+zZZAZ/h5QetGpbBX
NTcn1VYj0bOlx0iv9KIHE4Z4Fu3LELH+hJ6aVXHrkrQ8AeqyxFlXCkL97Ni3ZtGR
2D+IQXzBzm9KvXP8en3oYyzJs25+A/0aUHtjddYJ+DXhAle97+A2zc7cRVk7slml
qoailtI8crnSwFeLmL5+SR0usTQ6fiHIAJpDD0YB9bu4Fa5lg/nsPkyQgtKt2qqi
7sV5NexFL42H5VKCI5j+Rq2t5c51ZXhWdSbahkOojQ+7BQ1Rf+ohEYogHVsjyg2w
OcqRtl3iV0QuGHlx9qe26KHoSQR0IuytCGHYW4//l+sVdLcJOAphvVxd8lA9xo5/
rwviyb+VZeBGeeUHPQ5UqU//74FOD2U8Ij/fw4gNFFL0e1+o7f15OzaXypL8DLRM
opojrAS0M4Jwnf4C1yB5x4KHA5J851rNSAwl6TDAa4/mF6K0rOdq3XTy0DdHmOs+
192+BQXvhCYC/YwYi1QVWxZJjvYX6R1Sy9nseCcOFSG98CRlApX/V9+cezNMXRsc
1ECpf0eekGwBYvXViboWqyKiyM+y+MHq1/aDZ0OJ1M+YTNt6tZSu4vWDb3QRPpO1
BDtZF9r8tjmeP2yIMGg4T2oDvJ16LzJmGGU62l8pGRngalAdg9yeJlUL0g+s++Mm
3QzNyRXHmTl0RdE0fX8T
=IIEv
-----END PGP SIGNATURE-----