[ubuntu/questing-proposed] ssreflect 2.3.0-1build12 (Accepted)

[Gianfranco Costamagna]

ssreflect (2.3.0-1build12) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 01 Sep 2025 08:09:24 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/ssreflect/2.3.0-1build12
-------------- next part --------------
Format: 1.8
Date: Mon, 01 Sep 2025 08:09:24 +0200
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build12
Distribution: questing
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 ssreflect (2.3.0-1build12) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a4e41f4958bf1d2a710a1121b266928343b4a61f 2704 ssreflect_2.3.0-1build12.dsc
 03a5474c105c7086fb910c6f8f86b689a60668d8 13040 ssreflect_2.3.0-1build12.debian.tar.xz
 f7437a4e860b43d0f0e0a79fbf9c54a20cdce136 6847 ssreflect_2.3.0-1build12_source.buildinfo
Checksums-Sha256:
 5f08fefad6dded2a51727d2004193e6e3d8483c7b3d6018516c732b236273d66 2704 ssreflect_2.3.0-1build12.dsc
 b93b5b2e7e8ea9976b5c2fa1e599d9bbde38df46b45f7ff1d2ce35468f1dc484 13040 ssreflect_2.3.0-1build12.debian.tar.xz
 cb34a77b8ed414ed2c72905c5026e02079a4817d6c2fc136c5af4a943fdab474 6847 ssreflect_2.3.0-1build12_source.buildinfo
Files:
 230687a1f33801fb3522b11f3521cdcc 2704 math optional ssreflect_2.3.0-1build12.dsc
 35e133830e6064864cc7a37cb64d851e 13040 math optional ssreflect_2.3.0-1build12.debian.tar.xz
 fc3c1d2a16ffa66ca4bb14f623089bbf 6847 math optional ssreflect_2.3.0-1build12_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>