[ubuntu/focal-proposed] why3 1.2.1-3build1 (Accepted)

[Gianfranco Costamagna]

why3 (1.2.1-3build1) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 12 Mar 2020 14:53:31 +0100
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.1-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 12 Mar 2020 14:53:31 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.2.1-3build1
Distribution: focal
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.1-3build1) focal; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7d7537aa5b35563fffa2621af0a017854e013bf4 2680 why3_1.2.1-3build1.dsc
 5e44c9cf76bfcd8be7d7ae56ae0de668bb1c7794 17596 why3_1.2.1-3build1.debian.tar.xz
 f9599ee85ec3effb7beac13fe902985a3376fc2c 14226 why3_1.2.1-3build1_source.buildinfo
Checksums-Sha256:
 d621c0dfa868064d20a763544fa644c06b7c1e484122bf8135536e5e14769a34 2680 why3_1.2.1-3build1.dsc
 215eb62943cdeae821a71ad00901534466da27668ffd70155ed85ff92a2488d2 17596 why3_1.2.1-3build1.debian.tar.xz
 0638530adbf1f1b93d51682566388fbe7c3bbc084ec99d2ea8f703f91c7c6221 14226 why3_1.2.1-3build1_source.buildinfo
Files:
 23f63584bd371eb36393108ef473f4d0 2680 math optional why3_1.2.1-3build1.dsc
 144e26f34ce0c8ee39e33e7290078304 17596 math optional why3_1.2.1-3build1.debian.tar.xz
 870e868fab978299b57e53668fb811a1 14226 math optional why3_1.2.1-3build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5qPt4ACgkQ808JdE6f
XdlyRw//ZRS5ZLUUF5AgBRc4YO/w1J33XknFuvz1X3EQJVf3VPSJAm6tu/Z7A7ei
iNJGXUmVRONaBO/89LAoH17Oq059hmzbrex0SHL1vosT7L5+b5mnIp0L52RE1gj2
2jK6wqcKHxP9ByMoq/uh6DKprBsyfwoCo9jhWHgyvu73I1F9eUGFWdRoqmrehTGG
RmAeVPmVVYK45j3OH4UHZDbn3LDFHiDZkBYe6qVrGCUrw57rykpxEEogbwGj+j5F
wMhBvAgmPzZF2eTOTnDjL5G2dEeLEf2nFg1YCuuX2JqhDdMxsvP1B0rtY6uuBSzh
/hn2a9nw0cyWquo4kdyZouzAFxGW3Lbo+fph5+quI9RzeMBfPp7lUmuuhl61o5YN
glIkAUS7+pSTjBkw5MTCQjbAWY7VehTLPY+fveBe8ob7+JizZ4fchbDYFao1eDAy
BSv9fNAmPSzYShzQ3/uWqmBCFg4sqVht6IZFVB2lTBrBDNtzH65yDiCY0NjoFlrg
YRlTK0UuDXVwiW/eHr9ofycKFgkNoseDHjmt6hNdgsPqoIzeNAAV4rl82uRuh7P6
c9+HDAqGwgjdFGX3GwYOZNJvx0CwNRtb0FCSoUAC+997WyHstuA5l+UwZO9w3bGz
m+fYxiA/jbvjawPlwS7WA42MLhqAMox3UWR9TewUw7VPDMz/dyQ=
=5Uvh
-----END PGP SIGNATURE-----