[ubuntu/questing-proposed] coq-serapi 8.20.0+0.20.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-serapi (8.20.0+0.20.0-1build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:34:07 +0200
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-serapi/8.20.0+0.20.0-1build4
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:34:07 +0200
Source: coq-serapi
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0+0.20.0-1build4
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-serapi (8.20.0+0.20.0-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 99d99e63bb6871db9e69d9c91f50c0e5c57ab38c 2489 coq-serapi_8.20.0+0.20.0-1build4.dsc
 8011f479972c5d6c74c47c844a9bf4eb4683790b 9240 coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz
 d3fe07162c50f831b28419fe89f6ac37b18df40f 7127 coq-serapi_8.20.0+0.20.0-1build4_source.buildinfo
Checksums-Sha256:
 53baa2dccb9b09c7683a15ca60bd2bcac45bb9aa023d291c7707eb20f0ae058c 2489 coq-serapi_8.20.0+0.20.0-1build4.dsc
 7e3b698bcbf7377c358ef1d86e652c1297be2031e94551a0b65be795d7f3c55e 9240 coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz
 53e40202d3dbd16b74aa6adf496c3460825e41423ee765a23b8820a910744b56 7127 coq-serapi_8.20.0+0.20.0-1build4_source.buildinfo
Files:
 542077b67eebffb30357a86530d54e5e 2489 ocaml optional coq-serapi_8.20.0+0.20.0-1build4.dsc
 9aef445b6206ca6f4179af3e1d74c96b 9240 ocaml optional coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz
 4a142a5776f79831a2c69819e3ac84be 7127 ocaml optional coq-serapi_8.20.0+0.20.0-1build4_source.buildinfo