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

[Matthias Klose]

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

  * No-change rebuild for ocaml abi changes.

Date: Mon, 18 Jan 2021 13:08:00 +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-1build5
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 18 Jan 2021 13:08:00 +0100
Source: why3
Architecture: source
Version: 1.3.3-1build5
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-1build5) hirsute; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 2a5e451a96a9b2e3fc313ca5b02ebf6aa43182e9 2888 why3_1.3.3-1build5.dsc
 d76b963b2d28516837c971608bdeee556b617769 18612 why3_1.3.3-1build5.debian.tar.xz
 e42e03c5f71f20ee8d35955b067d4ce60c104b82 7730 why3_1.3.3-1build5_source.buildinfo
Checksums-Sha256:
 2a3ea9fd3537b3ffdb847b91b9d0e8c7162e321ba5d485fc594837bb692497aa 2888 why3_1.3.3-1build5.dsc
 2197bd74a99910380cacfa6a03a12f0c25000ec94fb8636efabf889072572650 18612 why3_1.3.3-1build5.debian.tar.xz
 9ea01376ce72793192d57504079a6d8c3fb0525ffe2ee58a87ffc5d2aac01e9f 7730 why3_1.3.3-1build5_source.buildinfo
Files:
 4bc4d784ae377859b805e49f464f187a 2888 math optional why3_1.3.3-1build5.dsc
 1276af91cba9570a3285843188722199 18612 math optional why3_1.3.3-1build5.debian.tar.xz
 99687c24a7001cfa8ead809250904170 7730 math optional why3_1.3.3-1build5_source.buildinfo

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmAFeisQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9TDNEADVUWbvgDc2JbJ74YlZh96LoE3FaF2QQYkG
yvBV4o6ygGVZZgGf2cmj8TL4xB1KsPmFwLWBQSHzCy73w/KFe6Rf9C/C3jy4DBAF
X432FWE0sSSMQoIyqgTY2uTTDrZGU71ewH8Zxphx5uFan6iT2mbBcGry02mZreD0
nAaYg2UWRVbGPA0H8q38osnacpX0ve9O4PsBAntvfAnhNwvifNLBUYXLIdGAAf3/
gcFbp4hd0CfNm3nuCXSeXXnMPbaYGFZK+r7lW0+CHOAl1iU8nCglFRNl2HG4iX2C
2eIjQtT68Wr22hK5TSHNSbbnYe1f2q1Vt9Er4OrrNomELULsWeGI85Qiand0VHvQ
o6VA6NXg+YXJIIB58L1oHUbgMPYy2jZdwlQcDcmD7lAdkGZphDODt+j1u2GfV8zj
7k7jbZjZMZN1Qey0QmYjPjun8LXFG3Po6g6ke+0V5vMnN/O1T4aGxekqBDR+5fWs
HlA+Vi8ih5Xbf4scqHmeoMEAxaJ1PjerZhURTpYLH0UAnF6RluNT2SAMeyCxLemL
38NI0L3mca8SJWlrjnWf6c1IofKLkMiSu60gkg/5N0EJpIS2+02Qjc/tDUezkjvO
kNGsnr69f7XsHUuc50txmjdoH1XWBIgs8t+iwymL7qkbsMPB+kfDvM806QlINF52
H5tDyoiPMQ==
=NiM6
-----END PGP SIGNATURE-----