[ubuntu/hirsute-proposed] why3 1.3.3-1build3 (Accepted)

[Gianfranco Costamagna]

why3 (1.3.3-1build3) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sun, 29 Nov 2020 21:58:49 +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.3.3-1build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 29 Nov 2020 21:58:49 +0100
Source: why3
Architecture: source
Version: 1.3.3-1build3
Distribution: hirsute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.3.3-1build3) hirsute; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 bc12062575ea884ba039a2c993be3960fb1bd4de 2863 why3_1.3.3-1build3.dsc
 64b05bdc7051d65db8667ee71ab253da7439788e 18572 why3_1.3.3-1build3.debian.tar.xz
 e10772a70f174d0566a0bd5dc72184842ce98f54 7094 why3_1.3.3-1build3_source.buildinfo
Checksums-Sha256:
 902794f527ecde8019ded07e1c418375c327440e4fae1ffd12df37f97179e570 2863 why3_1.3.3-1build3.dsc
 9b500f7cd5f4a9c18b906a7996e749fd2e64e8a0b1b50740de9b1e283bd00fba 18572 why3_1.3.3-1build3.debian.tar.xz
 3d21ba82d7e03f9037243979e209098f621f25ca4fb86b75d8d41a4da52894a0 7094 why3_1.3.3-1build3_source.buildinfo
Files:
 18ce7e069eb12565d85b6e3111890a0f 2863 math optional why3_1.3.3-1build3.dsc
 60b764d0ac5c3ec943e81f582f09998c 18572 math optional why3_1.3.3-1build3.debian.tar.xz
 204f3144e9b5b355e36bad0d0661104d 7094 math optional why3_1.3.3-1build3_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/EC4sACgkQ808JdE6f
XdmsGA/9F8wBrPgw8kLwlkBdvEkGAmJ3G+DYS0uakzBuwpdVTaLwXjQ6lPmr12Nm
i4TDsHmj3rr0Tuj9iulaQp78ez0hXAWVUDMOfeSE/GLRxBwWT+oJXqY5Ae9HeFwU
vabcBLiIL0WZtugb2BGY9vOIDRohzCDjkXDX8gcvxK+NEpnppIZEs5CMPPX1D1dW
eHr4SFI7y/yEGelAcGTQ6gA+etw6VXoLb2cNi1fO10f/0ClCei+9bWBhC0UCP4/T
Ne4MnIf7xFCo3hjIVK8oUyu4if5qLNgt1O0Dbuz/dXbLIQdIJ63LIi3OQr4/TRwv
2tSoNDMWJk02SdbUjB7B1W29QZ3kmt2741D1Qh2x3aIenQd0T2ZTEfMxQFvfw6kn
Ylli1ZbfjRChgxQsmTYBJwoSubGrfdHpDYatGhnddkOT9Sb9FMCoJ+LDGEAbKSY2
mUW/mF3qhm4awvaCGz6AjB07ATOV3BKjDBvE22wSCqA2EFJJuXsH0PHnRZc2xRf+
FcnkyrgPRa3U1MBI1016g+kPXnK+wDlOUK1/7cdx9Ul2Nj585O0EVjFSk2y5xLLA
3HmKe+weqxF+26Te/uLz21Fp346CG0YCKunh2I59fe4LlEBlTcouXG6zyX3hZAxT
/DlfdTSPTvLZIfJRd31E2sdyrQNwlvXBLucbnmvSOVZxmxyDuK0=
=Gwtm
-----END PGP SIGNATURE-----