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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:45: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-serapi/8.20.0+0.20.0-1build2
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:45:30 +0100
Source: coq-serapi
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0+0.20.0-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-serapi (8.20.0+0.20.0-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 cc5afd300801e08e1731a548c429e53f1268c839 2489 coq-serapi_8.20.0+0.20.0-1build2.dsc
 6569e03a8d30c0a5e670191af6e8525f7d706140 9164 coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz
 2e8cb9ccb2d35f16dc9dbe6e2e18e0bad6b79852 7331 coq-serapi_8.20.0+0.20.0-1build2_source.buildinfo
Checksums-Sha256:
 372b2e1f7896089fd9c159e5d62e26ff9f637fc1fa1d306abacf1feedbf05b19 2489 coq-serapi_8.20.0+0.20.0-1build2.dsc
 31282084b3cae4f4afb3717555dd3b8da00b3f572b3eb0457a53512d3bba41ca 9164 coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz
 fd61a5d82c65f4780f1c2e6edef40b710b3411d72c4aec6455cc4b5a690cda6d 7331 coq-serapi_8.20.0+0.20.0-1build2_source.buildinfo
Files:
 682d98442bf5ef1dd49637a90e2466fd 2489 ocaml optional coq-serapi_8.20.0+0.20.0-1build2.dsc
 151cdf1db2fe5022f7e49156535c5887 9164 ocaml optional coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz
 5e8d585e9ed033e0b9aba284e78843cd 7331 ocaml optional coq-serapi_8.20.0+0.20.0-1build2_source.buildinfo