[ubuntu/hirsute-proposed] coq 8.12.0-3build2 (Accepted)

[Matthias Klose]

coq (8.12.0-3build2) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Mon, 02 Nov 2020 15:14:55 +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/coq/8.12.0-3build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 02 Nov 2020 15:14:55 +0100
Source: coq
Architecture: source
Version: 8.12.0-3build2
Distribution: hirsute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq (8.12.0-3build2) hirsute; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 800cc8314b93ee50a6e6f7cbf627b59d4a4433d7 2532 coq_8.12.0-3build2.dsc
 bd512ecb537c0507dc7c9d0f5de9812d06d3cf9f 37896 coq_8.12.0-3build2.debian.tar.xz
 b425b9bb33d5e5bb34ec4ba42461a4e961d011c4 7103 coq_8.12.0-3build2_source.buildinfo
Checksums-Sha256:
 2aa991028dfcea7512be85214541cf03506a27fd0caee77e92b59dcb51776ec1 2532 coq_8.12.0-3build2.dsc
 bb38d73548e826297e4d183623d6f2439cbf5ca3995e6e091f98a919dbfa2865 37896 coq_8.12.0-3build2.debian.tar.xz
 b1886f53eeca8ec65369c0d6c9244cb8dd7cb1aced3849324456016c50991353 7103 coq_8.12.0-3build2_source.buildinfo
Files:
 bbe12b5d1995b48a4b99eb95f2a82e18 2532 math optional coq_8.12.0-3build2.dsc
 821add4ee2f2dada30af6d80b6329d19 37896 math optional coq_8.12.0-3build2.debian.tar.xz
 b7544dbf1774dd32797eb8ea309f12b2 7103 math optional coq_8.12.0-3build2_source.buildinfo

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl+gJ0QQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9Y+ED/9ajRv2Hkv328XquZSM49FlzcSNjwlXVC8s
aoMvG4tKOVthFQt3PFbOKTmJs7zsNXFG3WnL0xtVsFt0tj6AWQKGWdeMWluJhaHI
4Ej6TDxmmsfWlCGD8mG0w952Uu5JQbo90LCaB7BdLdFIPza9yvS+h8JGs9DzBnbC
SnETWNQxi8smKU6lB3Mdx/UEkXRIF7Eg06BbIRXd55Nk6gne0stIZI+FZF524r/K
O85dmFjqOGwuWIkSuAELOT9Wo0Syf2hBrqkQPFr61tZgIEZygEAA5N+44FntZXpc
/eD709H5DaJhHUTWcZy+gVBbYw91fzYdQRZSpeBkDCVJMCf1BTscE1tXAJCLx1Ar
NBet8nMqLwx6woz2vpsGl/G50QFavLm7dFmDHaTaREGFbQ4PUR/NnNKJJQRc8nC9
Ka8DOEE74PYoJylvlaZ45Mhmvdr/8KFIzOiOf3Y/yVyoxwUn+dbt6H/Qi3LHg3gG
97xxYxhRYfyZaeMKe7zizRHRs8cg4UoVusb3Ony9QGkJIAgH3A9lZpXw9CnrSFTG
pL7tGGDqTrMujB3C8DLAWCfiWTk7ZNl52lDXdYxtzyqZt4FPJVFWZnd5BbPCaBft
zrHXHVRMohdMbAR+yFdMV/pwBxKmDQTlC0PK7j4N1glsnPUiMa4Be94CKvc9N2QO
MBHBQVTEng==
=gtpo
-----END PGP SIGNATURE-----