[ubuntu/oracular-proposed] coq-record-update 0.3.4-2build2 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.4-2build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:34:45 +0200
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.4-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:34:45 +0200
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-2build2
Distribution: oracular
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.4-2build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b6055b5518770f6210c3344c0317f922dc6b1adf 2147 coq-record-update_0.3.4-2build2.dsc
 f622fe59343b5459918eb1082a2df59608969ba6 2148 coq-record-update_0.3.4-2build2.debian.tar.xz
 b3b7f1b3d24e3aba441296ce86c5df575a942aa0 7856 coq-record-update_0.3.4-2build2_source.buildinfo
Checksums-Sha256:
 26ef1e4519c976e451692d36a095b10c76aa7e2580157c33d5dedee4ad1c7870 2147 coq-record-update_0.3.4-2build2.dsc
 eeb047fedc5bb4f66d412b0d3025ac36e8d41a891de6b2ae78cf6c5a8fbe6119 2148 coq-record-update_0.3.4-2build2.debian.tar.xz
 6eee5d85d7aedb54503e7e2fd089b3a203e8d1a22c37cf0e8087d367632c210d 7856 coq-record-update_0.3.4-2build2_source.buildinfo
Files:
 634de319e0cb93467ec678b7f2da3587 2147 ocaml optional coq-record-update_0.3.4-2build2.dsc
 a0217809d511b4cefa564dca060f0c73 2148 ocaml optional coq-record-update_0.3.4-2build2.debian.tar.xz
 171a9844f83b2c3f1972f44557362c08 7856 ocaml optional coq-record-update_0.3.4-2build2_source.buildinfo