Format: 1.8
Date: Thu, 02 Jul 2026 11:38:23 +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: unstable-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) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.0
Checksums-Sha1:
 37b6b1f43013ca4ca7c35a4df870503cd94a7b08 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 57c262f98a8c907c7b85d48f0d46e900547bd914 2368 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 3f7db1ff89bb1216112c3c6dd3577e119629c480 41476 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 ada89496ecd255c3c61bfd76aa1b8175faa48001 1323944 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 edb709f6ff934e3f4e171e57c3f1f1f02a07187d 557464 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 c57640e39e67e93000d6a9533b26d5f818ee7e6a 194984 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 1f645679e7f282a5e3d542c948f9df1f2160584d 6871 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 389e8e2886abb2c1da13d128174e682772baf495 559340 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 5694960ba53553beb466831833474306f7043d79a1f5d0ba9e73956996b0ee17 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 7c8555a34758616416ab26d28bcadd4e6f3e07b65110374b3661168f771de0f1 2368 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 1c81fd2c00d85e18864aa3519fe6a2aab7e31b69d68b398b636845f5992a2495 41476 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 2415eef973d6a5b90049c76aff1c75f9fdb09a1825ca1fc077264b356b2c463d 1323944 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 823b540f21b7c3ab345e3b175c38939a05f4dc197845c538eb9df258a2312ba3 557464 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 2f6d66375baa2d0246d1b0bbebb8f9a8d815d203f642fc8b4c316a1c1b72f0ca 194984 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 5d273c1a4027b4a4f9e6b1c586bda689f5bb402e542c8e1daeaf3d6ff25f91fc 6871 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 cfcabd69bb8dc48221e92b5e7248acf910bba66184c2cd1af3c31e7ba417666e 559340 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 f3f56154e5140f0f044229c3fa2167c1 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 964bd7c7d1db1b79890ea80e9b9d6c1f 2368 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 2924548b1d72f126ac57d60398dce425 41476 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 946d9ea71d3c658a500ced29c6ce598c 1323944 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 fcd68c4a304ecf61fe0b65a19de9cbf5 557464 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 6c11e716d4ec4c6751d8008f0dab7f3f 194984 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 06c485c1487e0b596d7174954199b23e 6871 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 bb49f88899366e98591539028b6bb4d2 559340 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb