Format: 1.8
Date: Tue, 11 Aug 2026 09:46:28 +0200
Source: psmt2-frontend
Binary: libpsmt2-frontend-ocaml libpsmt2-frontend-ocaml-dbgsym libpsmt2-frontend-ocaml-dev psmt2-frontend psmt2-frontend-dbgsym
Architecture: source amd64
Version: 0.4.0-4+ocaml1
Distribution: trixie-backports-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.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-4+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 fecd933aa1a1e4b5698d817fd32e11f557f5c2b4 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 1da80bd55e9810d00574f7f5d35487e891c09828 2384 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 1d964c0529bcd15e7031a34524868ccfcc51e10f 41580 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 ff2f666e8a9779a96ebe8f3f37b506a7cfc543e1 1283688 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 a430d61a9a6ed4370f10a891d64177873ae8017a 534244 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 6e167ae061bee2f3785622c048a5842bcc151792 186028 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 b772bf3150e84d8fc3c807a26ea097ed58dca97f 6953 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 902667b6c6d6a31150625f3be90c4068c3769231 536556 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 acdfd8082b36b0035b75add126e0afb4337da56cb0b10099aac445ca7fbd704c 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 4118a96ade506d5c49e17a760b31b2b75c833e054900d34800e476f852792c10 2384 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 cc13ee7a678b6bec84e5c916ce00d2bdbf51c2809b005a02335c5b6b229ce2c7 41580 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 253eb3bed544fcf7a4aaabebc846cacf01f58ec4be5f7644f2697494fc53698a 1283688 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 664c1db1c9caeebb270e1e22ff1499cdbca9428ec494b97e7e72fbff8edb0819 534244 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 66b2755191b621d4fd788bea32ace51d5380a774e24f70506bfcf63e82e91d80 186028 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 15b87e5c4549d44d462f879e4fd4b211bba2c59e37a6e6df1c678fe20cb2ec53 6953 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 8f14a5d57dce919295290d5052bf362fd3c9f3cf64e8f0eb0edcab95e4441ac9 536556 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 2e7905d972f6f833e38a1d9f394e34e8 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 7274bf60e0c43fc409bef56533b89cf5 2384 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 5089d62a55ebb0d2b7d67df2688617af 41580 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 99f7665000beaa4523c6db374fbc7809 1283688 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 63dc6c79799e95ca69f7f83a3b757149 534244 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 90091129ca0f96d2df71963b3a318efe 186028 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 1886318cda1aea5c79abce21a23e78a0 6953 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 4a2469d6b0b4dc3a049de30b11ee4d6c 536556 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb