[ubuntu/mantic-proposed] coq-record-update 0.3.2-1build1 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.2-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:11:27 +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-record-update/0.3.2-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:11:27 +0200
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.2-1build1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-record-update (0.3.2-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4e3c9bd0bd1e6df86b6649307bdf34b41fec10ba 2147 coq-record-update_0.3.2-1build1.dsc
 8e6476acdef2276858fb4e1b73f09fec4e113f9f 1996 coq-record-update_0.3.2-1build1.debian.tar.xz
 c892c4415a8336f24b33c19e3cc9b0f0c451ea00 7810 coq-record-update_0.3.2-1build1_source.buildinfo
Checksums-Sha256:
 2fd73b43d926da2b3d32d8d4555e23fe4c0ff5a8c29c21019ae36ec692277ef0 2147 coq-record-update_0.3.2-1build1.dsc
 24b5cd393006133d82d7f81e216565859e7cf2e52e5ef286b2c7de62703985ae 1996 coq-record-update_0.3.2-1build1.debian.tar.xz
 425297de3576333730bda72fc1d53bee388050c0fbd7fca9b93edadc49b06fa9 7810 coq-record-update_0.3.2-1build1_source.buildinfo
Files:
 11c08948e78bce6d0d21c3a8851ae42e 2147 ocaml optional coq-record-update_0.3.2-1build1.dsc
 c96ec813aa9f20994b430939b9079b52 1996 ocaml optional coq-record-update_0.3.2-1build1.debian.tar.xz
 233de6e411e7dc58d78b5cae5d6745af 7810 ocaml optional coq-record-update_0.3.2-1build1_source.buildinfo