[ubuntu/oracular-proposed] coq-serapi 8.19.0+0.19.3-4build2 (Accepted)

[Matthias Klose]

coq-serapi (8.19.0+0.19.3-4build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:47 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-serapi/8.19.0+0.19.3-4build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:47 +0200
Source: coq-serapi
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0+0.19.3-4build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-serapi (8.19.0+0.19.3-4build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 f0cc07b1181c70dee40163277e124bdb0d2daedf 2492 coq-serapi_8.19.0+0.19.3-4build2.dsc
 77f301a3021c273f28600d791ce54fc77acfcada 10404 coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz
 ec2fe05cfc67711eb88e9d61df35cdbfc51c0f06 5728 coq-serapi_8.19.0+0.19.3-4build2_source.buildinfo
Checksums-Sha256:
 7ab73a9ef9b52c7d97d9ce695e693c10e1dd46bde2a9b67dd11ff87215ef574b 2492 coq-serapi_8.19.0+0.19.3-4build2.dsc
 b2c44083a00947584c5f28bd2e56ef6006c3d99b5cf6a4c0a6381a9f007dd4ac 10404 coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz
 cb276eac00566bd84d91278a69b23c0fd050910107ea980c531a7152e4e2f70b 5728 coq-serapi_8.19.0+0.19.3-4build2_source.buildinfo
Files:
 1c1045edce55de6512cdaabfb1fa8281 2492 ocaml optional coq-serapi_8.19.0+0.19.3-4build2.dsc
 e2c9082b370bd4abd0db44e7a9d715b7 10404 ocaml optional coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz
 f987a34c41199f2c7b275182f6e62cfc 5728 ocaml optional coq-serapi_8.19.0+0.19.3-4build2_source.buildinfo