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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 09:23: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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 09:23:53 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3adf21202ccf902a5a50de06b775c28f0e8811c6 2142 coq-record-update_0.3.1-1build1.dsc
 e492e80464c3564b98c730a16ec1e590b3c691a8 1908 coq-record-update_0.3.1-1build1.debian.tar.xz
 c603893f1715e0f64564b6012049585249d4d99e 7909 coq-record-update_0.3.1-1build1_source.buildinfo
Checksums-Sha256:
 0856cb3d3ae48698b0b5a06b395f438080e186a9dcff401bd02364d638e141c2 2142 coq-record-update_0.3.1-1build1.dsc
 c56071b4c1cc987daee01cb0d917e86a4e90d3093adb07b87299c011a31bedc8 1908 coq-record-update_0.3.1-1build1.debian.tar.xz
 6ac0bc6d94b551b94599ec7938c939b4d812e199f94b9b37f340eab155350d41 7909 coq-record-update_0.3.1-1build1_source.buildinfo
Files:
 ccd44409a6709723beb94663af5bbc4e 2142 ocaml optional coq-record-update_0.3.1-1build1.dsc
 7bb6219a7d673a9be82e7f0aa7b06ffd 1908 ocaml optional coq-record-update_0.3.1-1build1.debian.tar.xz
 1049c1a11055692e8efd5d80fcc27272 7909 ocaml optional coq-record-update_0.3.1-1build1_source.buildinfo