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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:45:58 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:45:58 +0100
Source: coq-serapi
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0+0.20.0-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-serapi (8.20.0+0.20.0-1build1) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1348a0c717a16fa3c8f23878e0eb94e467bcdbf4 2489 coq-serapi_8.20.0+0.20.0-1build1.dsc
 9dfb02d1a695d7ec00f63ca4bf68e8fa0b27aff5 9144 coq-serapi_8.20.0+0.20.0-1build1.debian.tar.xz
 17f1151e839d59893edbf4e7ea8b780a505d9328 7856 coq-serapi_8.20.0+0.20.0-1build1_source.buildinfo
Checksums-Sha256:
 59fae281ed2a69064874f917a1adb18660fcf466c4c477e02722ec526893d540 2489 coq-serapi_8.20.0+0.20.0-1build1.dsc
 3e433b64aace03bcf5d957d2d8278afcd52381c11997159b6bc22fa41bdf260d 9144 coq-serapi_8.20.0+0.20.0-1build1.debian.tar.xz
 a80833c3b9d617e64f03d23a2b770e3eaa1347adc27cf6815d61fa80816c0bcf 7856 coq-serapi_8.20.0+0.20.0-1build1_source.buildinfo
Files:
 a7e4d78049c0c5637b0628a90ff192a1 2489 ocaml optional coq-serapi_8.20.0+0.20.0-1build1.dsc
 e43b5947f7e58e2ffc786fac56daf6c7 9144 ocaml optional coq-serapi_8.20.0+0.20.0-1build1.debian.tar.xz
 01e9fd0107c37f1ee75725b68ea23ff3 7856 ocaml optional coq-serapi_8.20.0+0.20.0-1build1_source.buildinfo