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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:12:22 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:12:22 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 35882a1b903d3d1059cc08acb0ff3a8a6909e7b5 2142 coq-record-update_0.3.1-1build2.dsc
 1eb03f5aefa59b899017427ff81d4929d5602b1a 1916 coq-record-update_0.3.1-1build2.debian.tar.xz
 1ba5a4de5a00e443153ff2d6aee6564f32f302fa 7909 coq-record-update_0.3.1-1build2_source.buildinfo
Checksums-Sha256:
 6598a570e95deae0ccdea06adc8b548998409edce184abbae768f94bf4812557 2142 coq-record-update_0.3.1-1build2.dsc
 bc6737d4cfa0bf494a431e70c129bdf11d39c425ac2f9ee193adfa505ea4248c 1916 coq-record-update_0.3.1-1build2.debian.tar.xz
 8d0f7a5fa8c801bfc04469fc6f9d16fdab9b0d81d325f31167c2e56714a3bae1 7909 coq-record-update_0.3.1-1build2_source.buildinfo
Files:
 0293d21a354ee7f25347def371629e6c 2142 ocaml optional coq-record-update_0.3.1-1build2.dsc
 55ac7978ebd2b7f7b2c008746e9facab 1916 ocaml optional coq-record-update_0.3.1-1build2.debian.tar.xz
 b647d851185635860830aceba88e17b7 7909 ocaml optional coq-record-update_0.3.1-1build2_source.buildinfo