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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:00:53 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:00:53 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a26cb5975fb3f59e4f2c8ab7a25ff54a1fdc3e34 2147 coq-record-update_0.3.1-2build1.dsc
 bba311d0387880afb85e3970d99451e71cf76403 1944 coq-record-update_0.3.1-2build1.debian.tar.xz
 a057294d3043d47a0351d2c0b44c832f27c85797 7132 coq-record-update_0.3.1-2build1_source.buildinfo
Checksums-Sha256:
 17dea5c043e8e18ffef4102aadb377084171734b42bc1a788c9fbe83be238f74 2147 coq-record-update_0.3.1-2build1.dsc
 8dd2973bfcba4855d0d32809f4c594de988139c7df6bc90cb7f3473e3b4b1445 1944 coq-record-update_0.3.1-2build1.debian.tar.xz
 69ee108fa3745f556d2c5bbd7aaac49b0517d9ba56876a328f7bd7f65baf4edc 7132 coq-record-update_0.3.1-2build1_source.buildinfo
Files:
 70753e9996f3fcf9686b844d05ac1f9b 2147 ocaml optional coq-record-update_0.3.1-2build1.dsc
 027bcce204f573b0adc07ac7ae62f990 1944 ocaml optional coq-record-update_0.3.1-2build1.debian.tar.xz
 d9351ce3cbbb4c64a661e6c1ab155a8b 7132 ocaml optional coq-record-update_0.3.1-2build1_source.buildinfo