[ubuntu/groovy-proposed] why3 1.3.2-1build1 (Accepted)

[Gianfranco Costamagna]

why3 (1.3.2-1build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 15 Sep 2020 15:12:55 +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.3.2-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 15 Sep 2020 15:12:55 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.3.2-1build1
Distribution: groovy
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.3.2-1build1) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ca5a05480b75a979cfb4f9fd0661e360174b8e78 2863 why3_1.3.2-1build1.dsc
 24610e72c761a6c1b963ca477612a88369da0a58 19908 why3_1.3.2-1build1.debian.tar.xz
 e1ea42692ef1ca12a921ad145cb8e9cbae423cf6 14618 why3_1.3.2-1build1_source.buildinfo
Checksums-Sha256:
 86f165bdee84e58607c66d0ab46ad2c078e76e6902684c63a2f409b977549475 2863 why3_1.3.2-1build1.dsc
 5235a7e1c0a5fe494613101c5912fffca80440d13559da44ac2e1e3c28742692 19908 why3_1.3.2-1build1.debian.tar.xz
 9311d9a236b48bfe6a256e09bab23119c8e3fec8170e7e3b2fcd012abc18fa13 14618 why3_1.3.2-1build1_source.buildinfo
Files:
 b194a163dca8f98594917cb9458cafe8 2863 math optional why3_1.3.2-1build1.dsc
 7e1eb49d6d081205d694e9c8cf094739 19908 math optional why3_1.3.2-1build1.debian.tar.xz
 c01bdb05784d12e75a72140c692a2e20 14618 math optional why3_1.3.2-1build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9gvdkACgkQ808JdE6f
Xdnpow//WITzzpMqH6wCeQI4AOHWr+8geLLyaP0iV5M7KDKXhbvbhJ7bem45/Ulh
qyF59rlxS5hT5NHonkus8DpQo0HAynHj80jaPmfgnZU6n/+8SyzHrlAh2s4iJlj+
FFVSdnvNSjvgqzrjDFk7vSqv3hRyXszb5brqF1TcreGvGE/XMUTlmOLFP2GwfNQO
1KlX0i9zUwyOnjnF4+HI+O47AZZB/UXgVsUKJOVNWFY3j5WboqDehmtBgFXe50VK
zCELGcnich+b8Zm0cu7PIDfaUM9Ehzr48OSp8rAdqmLyreoGLbov/L2htEJNiTM1
fjuhm8Z8KjFPLJnFI1VVDMLxTwk5MsOwyesPF49vTBBLIRrJEPX+dHhoHxTvXJvF
tEOsDjYPryLNmcZr4XXQCkWymuBwp6IukcyVQR/KcuNlIdHz8zUmu/pDNjd/5rgD
nQhJLjnlwZI7IoEAE1HC7+ADajZqBJdbzENMcCv9ae883/4TDG7U8+7iY7doesMe
MWFGwAJ8TdqLci98rfK6TDTeTez0ZKYppVqmNQUfS+2MbAAWd8FDLwDQB6AFxvWX
uUNxFSSHpaJmyvxv9fjLGUf6NtNHDsECyXQvr8gWYNm4b2Dizxgj89Oe4eEzv7rj
A+1rfvx1suaF+q1QXVQABvYe9It6SsNqYRNZCbSoxNP/PxtjG3U=
=Ab3C
-----END PGP SIGNATURE-----