[ubuntu/plucky-proposed] ben 1.7ubuntu7 (Accepted)

[Gianfranco Costamagna]

ben (1.7ubuntu7) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:25:43 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/ben/1.7ubuntu7
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:25:43 +0100
Source: ben
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7ubuntu7
Distribution: plucky
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 ben (1.7ubuntu7) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 714b540aae49dd43168a57afc33242288433e460 2187 ben_1.7ubuntu7.dsc
 ae083d447a263b510981f71266d08f73eb93f522 82208 ben_1.7ubuntu7.tar.xz
 a88934b74650ab938bafcbc8fa5db80a4744d8ee 8140 ben_1.7ubuntu7_source.buildinfo
Checksums-Sha256:
 1f2d9a8f7d7df5bad00b2de2b9e107044c14b142b1fd5dbb6558e69b1c2befac 2187 ben_1.7ubuntu7.dsc
 0b3d768488c5bf8f62ccd2fe98b6ba81920a65c39ab5e5438f90fc113a57f05c 82208 ben_1.7ubuntu7.tar.xz
 a08996c16f3a23ac6acece757875f0f824c07bca7efef83648828814e8eba92f 8140 ben_1.7ubuntu7_source.buildinfo
Files:
 8ea9d9ef867fa88e2db09090664784b2 2187 devel optional ben_1.7ubuntu7.dsc
 5126db1abcd9aa22f72bd1cfc064daea 82208 devel optional ben_1.7ubuntu7.tar.xz
 0f35537299401920cb23c641d874096a 8140 devel optional ben_1.7ubuntu7_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>