Format: 1.8
Date: Fri, 03 Nov 2023 08:16:32 +0100
Source: psmt2-frontend
Binary: libpsmt2-frontend-ocaml libpsmt2-frontend-ocaml-dev psmt2-frontend
Built-For-Profiles: noudeb
Architecture: s390x
Version: 0.4.0-3build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-s390x-016.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libpsmt2-frontend-ocaml - Parse and type-check SMT-LIB 2 (runtime files)
 libpsmt2-frontend-ocaml-dev - Parse and type-check SMT-LIB 2 (dev files)
 psmt2-frontend - Parse and type-check SMT-LIB 2 (tool)
Changes:
 psmt2-frontend (0.4.0-3build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 48444c84049ecd01510612ff281aa04744b592d4 29820 libpsmt2-frontend-ocaml-dbgsym_0.4.0-3build1_s390x.ddeb
 607ff62611f959bdce3d20e5c9d8eab56ae94263 1434328 libpsmt2-frontend-ocaml-dev_0.4.0-3build1_s390x.deb
 be0b8b140502b3f05bb5b60dc4c86f55590b06cf 1137330 libpsmt2-frontend-ocaml_0.4.0-3build1_s390x.deb
 0d62861088606e3577146f297c5a7b2e17b4830b 101068 psmt2-frontend-dbgsym_0.4.0-3build1_s390x.ddeb
 a0d145f069386f6a575322f4aeb5e117db59109f 7207 psmt2-frontend_0.4.0-3build1_s390x.buildinfo
 63a38dd3c1190524d5172e724b481e9c08d8aafd 516392 psmt2-frontend_0.4.0-3build1_s390x.deb
Checksums-Sha256:
 b1f75e6e337f82ff1e8484bddf08d2b4e19cae2070c892901cf346d4fd30ee90 29820 libpsmt2-frontend-ocaml-dbgsym_0.4.0-3build1_s390x.ddeb
 fb818a661f1ae23dbeb68b11e27fba4f44939346408c95e662d2c3444e7e6f07 1434328 libpsmt2-frontend-ocaml-dev_0.4.0-3build1_s390x.deb
 30120fe4e5bac68271e231d6419d0e0b0e023dd6511420bb8abe811ad2fba94c 1137330 libpsmt2-frontend-ocaml_0.4.0-3build1_s390x.deb
 e13f64963f1fcda0f69ff435fcb0b6fedd1608b25d52b60e351888e06c56b31f 101068 psmt2-frontend-dbgsym_0.4.0-3build1_s390x.ddeb
 b0154c0c41a02c325a93ffe32f0689d580ce5c097effb5a70081c6d08a2b1d47 7207 psmt2-frontend_0.4.0-3build1_s390x.buildinfo
 01cf141a4a12a8132fdb047d0bdb444ccfacfdcee37cd209c313e6a90e836eac 516392 psmt2-frontend_0.4.0-3build1_s390x.deb
Files:
 b1e0cf55396e5d82fffcd9fab69f90d6 29820 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-3build1_s390x.ddeb
 d1738884685022d34fc1764cba60863c 1434328 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-3build1_s390x.deb
 f12d49d179ef52456ad4907a5e750a68 1137330 ocaml optional libpsmt2-frontend-ocaml_0.4.0-3build1_s390x.deb
 57772871bcc8e41c7bcbaa040dec80d2 101068 debug optional psmt2-frontend-dbgsym_0.4.0-3build1_s390x.ddeb
 6f53aa1e3d6e66c1b1be46aaef380d4e 7207 ocaml optional psmt2-frontend_0.4.0-3build1_s390x.buildinfo
 dac1d6ee0b39f0f80fc3d4af43dfb56f 516392 ocaml optional psmt2-frontend_0.4.0-3build1_s390x.deb