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

[Matthias Klose]

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

  * No-change rebuild for ocaml abi changes.

Date: Tue, 03 Nov 2020 17:11:22 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/1.3.3-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 03 Nov 2020 17:11:22 +0100
Source: why3
Architecture: source
Version: 1.3.3-1build2
Distribution: hirsute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 why3 (1.3.3-1build2) hirsute; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 6249c29ced61b752186415bf7e2b2152bd46d781 2888 why3_1.3.3-1build2.dsc
 10ad897356c7c1ce08802a4c692cffa342fba27a 18564 why3_1.3.3-1build2.debian.tar.xz
 d7f8e71e653824cf6d6f11c9b8c485b5a3309c93 6700 why3_1.3.3-1build2_source.buildinfo
Checksums-Sha256:
 a2957206d64623b41111432b1db48450d3b6908bfa66207c1f3776685a79914b 2888 why3_1.3.3-1build2.dsc
 f5a4311d027eb889998fd1bf9de82bb6220e4be6e7326d7531a3d43103e65de8 18564 why3_1.3.3-1build2.debian.tar.xz
 9d12bee1edad15c4d0054bacd55b0ebae6e5a886636c69019fe464683e1bb59a 6700 why3_1.3.3-1build2_source.buildinfo
Files:
 ab11543fe886646abab0919e223a4177 2888 math optional why3_1.3.3-1build2.dsc
 99db216ff47c620cc132535bffc4b1ab 18564 math optional why3_1.3.3-1build2.debian.tar.xz
 3991f392d9f4705a420bb68c64fd0d6c 6700 math optional why3_1.3.3-1build2_source.buildinfo

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl+hgbYQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9fnID/491IUW0aQuj/NUR9pVwEt/4vpSpzyhP3lN
erOEzphETOhxNbm8uMQJpyiGg8MEDvThCkwMTrOyKSmg/Jh5ol7hLfYrNpxpObXj
+CKSwQARgmMguKZ8lhkBCE9RrW4KV3N3H5kdwB4AVdHItEwNB4WTXBOMxveIGDFt
fRc6yMbMbLJczBijo4HsHVTVcfPW2AdcsKJop8xYVRqFx0W7bHpCO8U/s5uNl4D1
SuBIbPsLmEExrCiuqY7OxMz7aV/zihTSFwJZK+WY8UibNuy7F6a/tPJTI34LVq79
YQXG6KgyxSBsjkyZ3SBvapRXvqQromzKMfxyFVoN5rUNWYlgUcLSVbMWtCui93XV
38YjdEICvtxR5YMpW9L8/l3MipdZknUaM0NJLEHDuoWdBVZdY4KuONBhmaZYq7sA
m3NBppskgSJobinPH3tSSV1A5rDFIa/A3RVal+91c3q9T1unli8iwwTOfh1brTPV
REao3A4O+XW3wu6Lk+b02HCHWDE4dmvO63r/Aj0JYRP05Rzq6ODDOISzMDRR0ZlV
Uag9777dBRH2uLx4Ot7y7nMIxGe3qu2vYZF/PzvjUSrjugScUl/LQkdj+jK7IWL9
i5bxab2YEmMnLk69RoLZsoXn0+/EDZIm5NFM68g/1K2u3NYyWS+qXL+Csb+cf9Av
PDak+/ppQQ==
=bQI/
-----END PGP SIGNATURE-----