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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 07 Dec 2020 07:48:29 +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-1build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 07 Dec 2020 07:48:29 +0100
Source: why3
Architecture: source
Version: 1.3.3-1build4
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-1build4) hirsute; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7252d11fcd02c3bd29aec49e8d3fff7812dfeb65 2863 why3_1.3.3-1build4.dsc
 daad92e1e56d22a0f92a0487b2fcb57ec4d747c6 18592 why3_1.3.3-1build4.debian.tar.xz
 2c638ba66788ade2c0815a818223c6ae39a043c1 7094 why3_1.3.3-1build4_source.buildinfo
Checksums-Sha256:
 4bd452f5fbb1c6b81ec807681d875603b85b5ad5c806612b85f829eed3d4276d 2863 why3_1.3.3-1build4.dsc
 2e56d081b0e50b4f9a1940dfcabf2c7ff2c61d60eb15730fc0fb1ae865753702 18592 why3_1.3.3-1build4.debian.tar.xz
 11651c2c23954f01e495c98388260005eb39987bfb1a2a5e51aec468552a2710 7094 why3_1.3.3-1build4_source.buildinfo
Files:
 afbcff96d4453e54f56aa79662696f84 2863 math optional why3_1.3.3-1build4.dsc
 243b1f55a7437c71f4cc7b15b74f6dd4 18592 math optional why3_1.3.3-1build4.debian.tar.xz
 9e78c7f4660890933bf8f69490c79d9a 7094 math optional why3_1.3.3-1build4_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/N0EAACgkQ808JdE6f
XdnydA/9HPGY+tJNFZWgdJROq1S8Ixhb/IRwmjC9rvOMCcuuakgwQa5mKSHi6ABx
iKqvUpCjDag8TcelfkjziJMC1RSN94N4zwTy57fNbCUxVLNC7BRpCIpRl97ACyOU
0WxMhhDJ6TbvN/keT2L2LiK4d+jUnfvgowOuzW0CvFqtefvRXcENqbBs2EIjTH6Y
lklajMWGDwCN6dCZKVVsmMkpA1hMvl2A6BdzSnyznLwiDB9M8i5LJ/Cl9f1s/hK2
N+QCoI5cj+Y+JRNTEOC5y4ayttAut8WOYAfKv40TtelOPmvksZrwpKM09fwU0LGA
c+2DwvgbjVhVDVCTlC/LaxMvLSzJVzjKrSJFFxbZFw5H0vwCkfpim9/8c5HaqXe9
yPqO3o9kQT56oanHYEhuvC5WiAO4MprB7/zL2LXrD01JNPjLyTbi5N2z9bF193mC
dstWydhqIXIm2loZutJXu9K9RF4sE8+tbOq25kua9LR690mnoRQi1MMiaJ0sTfu9
KpPGrydWs8n8YvcRRzAPki9Yc1BBGTzr4V8fkUo1Fha43WpPbVzzracG1svtUByQ
1G6Y1EN37ofzB/QvemshefLhoJy7L0PmpjhT7xFYcUUVPUwWgV8TnXfW48+uKmO7
qMtZVjidpDmbDRX8vor2DHfxfY54Jtp14/d24FBswhGsb9q1Ses=
=sLKi
-----END PGP SIGNATURE-----