[ubuntu/plucky-proposed] coq 8.20.0+dfsg-1build2 (Accepted)

[Gianfranco Costamagna]

coq (8.20.0+dfsg-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:38:30 +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.20.0+dfsg-1build2
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:38:30 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0+dfsg-1build2
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq (8.20.0+dfsg-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c1c66bada6358de43de7a09e668db3acdcfab14d 2569 coq_8.20.0+dfsg-1build2.dsc
 2a6fc15ac657dfd98ffcea6b3fa8200bc0fbfdc8 30248 coq_8.20.0+dfsg-1build2.debian.tar.xz
 b75b448dcb5215794266a6786e821edb60ecb942 7971 coq_8.20.0+dfsg-1build2_source.buildinfo
Checksums-Sha256:
 798137a2ffd44f2f96b8b98739687f4fb3e16a52bca85026bd35a9116d0ff4f5 2569 coq_8.20.0+dfsg-1build2.dsc
 f4602a1e9ff997285a0297d77d2d308e2e6074900a6e287df19b99ed62d88df8 30248 coq_8.20.0+dfsg-1build2.debian.tar.xz
 27c21d232d7e053b2af01222669050f73903730cd32d35544a38ec0dbb4088c0 7971 coq_8.20.0+dfsg-1build2_source.buildinfo
Files:
 29fb4a0862e7cec51c2c826fd1d118cf 2569 math optional coq_8.20.0+dfsg-1build2.dsc
 6d8a00fca3370a30d7fecaa5a3b4cdf9 30248 math optional coq_8.20.0+dfsg-1build2.debian.tar.xz
 b519e9a10bec1d5c0cb15dc4b51eb7a8 7971 math optional coq_8.20.0+dfsg-1build2_source.buildinfo