[ubuntu/lunar-proposed] coq-record-update 0.3.1-1build3 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.1-1build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:45:26 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:45:26 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-1build3
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-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 57b79d21f65d1836e2524fd4ef80fb16a048fbd5 2142 coq-record-update_0.3.1-1build3.dsc
 8198a15bcb3b99402cb3e4eb5bc13ae40a7874a5 1936 coq-record-update_0.3.1-1build3.debian.tar.xz
 d4cc44c301cc08ded7658890f8ddd073763a1afb 7911 coq-record-update_0.3.1-1build3_source.buildinfo
Checksums-Sha256:
 e9ee49b9461d52bd57cab2b88251a65e71628069b0071b005b980c85e77ab94c 2142 coq-record-update_0.3.1-1build3.dsc
 ab6abdf9451f76b2b2bdff72fad99b3f766d17973b00b01fd82433a1ec2d1264 1936 coq-record-update_0.3.1-1build3.debian.tar.xz
 0967365af2d7204f170cf0761f46f0c31e9ef0e98d830c514fe2798d322a2943 7911 coq-record-update_0.3.1-1build3_source.buildinfo
Files:
 411d36850842acb8a8df3db909f0e5cd 2142 ocaml optional coq-record-update_0.3.1-1build3.dsc
 ae0dd85d58bde06540b8055bea09df30 1936 ocaml optional coq-record-update_0.3.1-1build3.debian.tar.xz
 7021222106bcb4e00760e5946210d8a3 7911 ocaml optional coq-record-update_0.3.1-1build3_source.buildinfo