[ubuntu/lunar-proposed] coq-record-update 0.3.1-2build2 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.1-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:28:59 +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-record-update/0.3.1-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:28:59 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-2build2
Distribution: lunar
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.1-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f8bb4be9e8308268db5cd8c71b622ef45238c8a8 2147 coq-record-update_0.3.1-2build2.dsc
 1956a197f21af15ee08aec61c6d9585cbf7980ba 1964 coq-record-update_0.3.1-2build2.debian.tar.xz
 1dba061bb7a5714bcfbc589f1ee7987500d1f247 7176 coq-record-update_0.3.1-2build2_source.buildinfo
Checksums-Sha256:
 6ea5ab5b32ffeb0d20eb9058a6b72eb01fe9ae341c7d2a86c8661d01c1f6dc68 2147 coq-record-update_0.3.1-2build2.dsc
 9d80f311597eefe7b18e2a480b0ec3578c17d2214dead37710c15277582e51fe 1964 coq-record-update_0.3.1-2build2.debian.tar.xz
 3d6c5e9c7e56f9c9750c7d4b34d0b388745414ec9a09d3444fb5b6c989aaaac0 7176 coq-record-update_0.3.1-2build2_source.buildinfo
Files:
 501683bdf0ac4fbfdd88a2233999e20e 2147 ocaml optional coq-record-update_0.3.1-2build2.dsc
 40f0be28fe1b7a403d9e0da47f235feb 1964 ocaml optional coq-record-update_0.3.1-2build2.debian.tar.xz
 9f502f6d6152c38e2e2cd75273680c86 7176 ocaml optional coq-record-update_0.3.1-2build2_source.buildinfo