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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:29:25 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:29:25 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0+dfsg-1build1
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-1build1) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d63ca74100e2714fd1bfb2d86524f9a1fd4a31a3 2569 coq_8.20.0+dfsg-1build1.dsc
 bb03928bc0b8698ae9c7784ef64e45082bd5fbb3 30224 coq_8.20.0+dfsg-1build1.debian.tar.xz
 892492797b86ae0ed49a0b2281d60e24c0987575 8440 coq_8.20.0+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 ee6d3f0e3d3dee8c9374fa8350d490059afa51648881ecb3db1bf2a8f1aec9c4 2569 coq_8.20.0+dfsg-1build1.dsc
 756987a7e73e1fc432888101a656ea58eebd8b7b369ae5ed58d8c73a03918bfc 30224 coq_8.20.0+dfsg-1build1.debian.tar.xz
 be252a5a337bc5f88170b0a013b68f6eb60438e422fefad390b51b30b7f89a65 8440 coq_8.20.0+dfsg-1build1_source.buildinfo
Files:
 d601ee73d42861841cb6e5ebd9c503f1 2569 math optional coq_8.20.0+dfsg-1build1.dsc
 d3cb56d94bc9af99a1265eaa3cc6bae2 30224 math optional coq_8.20.0+dfsg-1build1.debian.tar.xz
 433287e5c1ba61077fef880ab25beb27 8440 math optional coq_8.20.0+dfsg-1build1_source.buildinfo