[ubuntu/resolute-proposed] psmt2-frontend 0.4.0-4build4 (Accepted)

[Gianfranco Costamagna]

psmt2-frontend (0.4.0-4build4) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 29 Dec 2025 23:50:59 +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/psmt2-frontend/0.4.0-4build4
-------------- next part --------------
Format: 1.8
Date: Mon, 29 Dec 2025 23:50:59 +0100
Source: psmt2-frontend
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-4build4
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 psmt2-frontend (0.4.0-4build4) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b03f1607e314dc417fe225ff9c423f3dab8d861e 2226 psmt2-frontend_0.4.0-4build4.dsc
 f24e57439aedf0730c28bc90b87573aae56999fd 2440 psmt2-frontend_0.4.0-4build4.debian.tar.xz
 2ba4bb08e0e9bc9917ec4a17a784a8f5c1a5f15f 6783 psmt2-frontend_0.4.0-4build4_source.buildinfo
Checksums-Sha256:
 3eec572ba04f95c5a3162f0190316e3d8d0e2bc8998aef33b3ff4dd74654cf90 2226 psmt2-frontend_0.4.0-4build4.dsc
 da913b6d649dce50c3cfee7b92faa667ed28956a2975821bb2d9f59765eeb04a 2440 psmt2-frontend_0.4.0-4build4.debian.tar.xz
 bee45995f8ca304557e7ab77e84133a0879f7f842c1d8e5b6a97f3d90f2391c9 6783 psmt2-frontend_0.4.0-4build4_source.buildinfo
Files:
 5ed399a6cf0df732442164dec59ac5ba 2226 ocaml optional psmt2-frontend_0.4.0-4build4.dsc
 17fa78aeb77f57b27db9d959a26fa108 2440 ocaml optional psmt2-frontend_0.4.0-4build4.debian.tar.xz
 60776ce3ef5815c7e84602a7bf015ea0 6783 ocaml optional psmt2-frontend_0.4.0-4build4_source.buildinfo