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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 28 Nov 2020 10:24:45 +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/coq/8.12.0-3build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Nov 2020 10:24:45 +0100
Source: coq
Architecture: source
Version: 8.12.0-3build3
Distribution: hirsute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq (8.12.0-3build3) hirsute; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a3218bab5f0a336d34f937a58648bd3ee0c72548 2507 coq_8.12.0-3build3.dsc
 7f3cab9fe295fce87f188893dcc225f3cf97a227 37912 coq_8.12.0-3build3.debian.tar.xz
 e1ee2f41db30a743e03adc0b08604b2af02d2395 7659 coq_8.12.0-3build3_source.buildinfo
Checksums-Sha256:
 b5878b3daf6e1a6742e8ef23d94e341665d56db328ca9052c1a47741a698ad2e 2507 coq_8.12.0-3build3.dsc
 82a84ed4be121fc13bf55fbca174d7d72a79fc39c526df47f5ecd8ba44088977 37912 coq_8.12.0-3build3.debian.tar.xz
 decbaecadd1e335e8114db43578b9b7457906bf88cf94b877a73a361a4b6403f 7659 coq_8.12.0-3build3_source.buildinfo
Files:
 69811b5b502f7d84a7161f33a35f11c8 2507 math optional coq_8.12.0-3build3.dsc
 e5c3faf5fc251414e4cc1eb3ce524e7a 37912 math optional coq_8.12.0-3build3.debian.tar.xz
 c7e37b2406c47b87b8500c503cfee113 7659 math optional coq_8.12.0-3build3_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/CF2AACgkQ808JdE6f
Xdk8ORAAlegQJg+XlQvt03hfLCh4N4Px4vM82X8RJt5dVhx6h3DMPUhpm7Nz72WH
vdkbiiL5vD0vaclEdIuEX1Jinyb0kztCjLny/KLLM4NEUAyagED+J4qn0SiJivIL
Q8By6oL7L5expSZdi8nHP24lrWBQ0eVu5JYxPf3k7T/ApLoOCkRWoDDt+i9wZlIY
YEMkAhzxzCWdqP6r4Bf4uNALV2qeljTHhVnOcno6ItetGH+qDt8xzlwcOUnMjEz8
dkbBIn/lBLSs8Cpo5WVcCg65JV20FXXYU6AhIql6/umYn7RP6jaRhMEVULc89pNH
WX8XvLr3kUmb8MUskcO+WfHgSs88ONiSzn3UTphuQtJic7juKOHxksvnRWbDYAX5
e5IZFfIbaAhQlxRelB8767UA0SfmDGxTjCXh8vNfvEEfFyhjejfIxskv0xaRGLIY
DEe0ney9q347fHMMh9cpaS9f9eDo3IVoviqRA86jw1KC+J/snAI92JZ79N2sRDfT
jAPiL6U94mBOYokA0SXvT41bbYWIlLRLGk5Q90+e30yDjPS8EcVPgwtlgQCJzcQp
mKNpPl4/Du6joiP9RpaKUEqhUXDQjGhIDt9KgBeBpOZ2EV4LUwAsLnNrSTi0c39f
iH8QBDRqS7w3z4p0ewOaNwVdCHduZElucnY6rgv7qNMZEACoR7Y=
=BrWz
-----END PGP SIGNATURE-----