[ubuntu/oracular-proposed] coq-record-update 0.3.4-3build1 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.4-3build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:38: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-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:38:45 +0200
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-3build1
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-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a6cec98e1dfa177d080bef3ee915893ec7c1651e 2147 coq-record-update_0.3.4-3build1.dsc
 96cb3a156766dbf338fbff6403bed5b6d452307a 2200 coq-record-update_0.3.4-3build1.debian.tar.xz
 43524ae9656af5ce248f2018e6d3025406092a5b 7880 coq-record-update_0.3.4-3build1_source.buildinfo
Checksums-Sha256:
 2ee17e288026c7c88cc43c69b3748e46d88da587d0a41e4ae3bfd9508c82a610 2147 coq-record-update_0.3.4-3build1.dsc
 013fff72833140f44ed63d96fa671044f5756a06d5a65b01787b357d5f8ad6bc 2200 coq-record-update_0.3.4-3build1.debian.tar.xz
 097ea7d5840237bacf3399a133e9a4192ab7d2b1d3a7c99b2ff7f2c388dbd98b 7880 coq-record-update_0.3.4-3build1_source.buildinfo
Files:
 cc0f7db3adee984db7fb99296a5b1604 2147 ocaml optional coq-record-update_0.3.4-3build1.dsc
 2a89bd335207c0948e014ce930862a67 2200 ocaml optional coq-record-update_0.3.4-3build1.debian.tar.xz
 008577fb83939ded1191b9d9f93bae08 7880 ocaml optional coq-record-update_0.3.4-3build1_source.buildinfo