[ubuntu/plucky-proposed] psmt2-frontend 0.4.0-4build2 (Accepted)

[Gianfranco Costamagna]

psmt2-frontend (0.4.0-4build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 29 Jan 2025 22:07:08 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Wed, 29 Jan 2025 22:07:08 +0100
Source: psmt2-frontend
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-4build2
Distribution: plucky
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-4build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8d7a02e25f8574a61e3ff0a85793038cebaf5a85 2226 psmt2-frontend_0.4.0-4build2.dsc
 a6e124a6a6b23ac3d581325cc574b37d8009b217 2400 psmt2-frontend_0.4.0-4build2.debian.tar.xz
 cc29920aa4b24d1f1fcc4425f2a48eba08aa7294 7776 psmt2-frontend_0.4.0-4build2_source.buildinfo
Checksums-Sha256:
 6114ac76cf25374370f4a983da9917841f6cffeb649cf240b9e7ae8af9e97e27 2226 psmt2-frontend_0.4.0-4build2.dsc
 b541f19dd5075804a753bd63719be083c222693d0480159de75e61b5b63795d1 2400 psmt2-frontend_0.4.0-4build2.debian.tar.xz
 c2ddf63100d98bee1068ef79e4dd8c98078fdb8e6de1a28d0593f2ee3e0c587c 7776 psmt2-frontend_0.4.0-4build2_source.buildinfo
Files:
 421a6bf400c9399bc96aae26fb989e0a 2226 ocaml optional psmt2-frontend_0.4.0-4build2.dsc
 f15957dd883765e3b7bf1d8841075d99 2400 ocaml optional psmt2-frontend_0.4.0-4build2.debian.tar.xz
 4ef3f04e82e2a89edf6a729476d3898f 7776 ocaml optional psmt2-frontend_0.4.0-4build2_source.buildinfo