Format: 1.8
Date: Wed, 11 Nov 2026 12:59:07 +0100
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.2
Checksums-Sha1:
 ff54010ff8dd19a22f9ec8e75d7e2a1b933d4b0d 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 b04f67f902dbc01bec021275e1c89c1e9b514256 2380 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 74f17c1ba880ab920269564b5bbc4029c832dda7 41468 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 36e0855cf831ebc0dffa130fb1cbce085b38578f 1323984 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 eee64445b96fb3445a46dc41addb78fd3ba8c493 557808 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 f3434265ff526158b9aa65d7852cf98cd45b63d3 195744 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 633d83b56c61d40bc2ff49b242044c2e058ea999 6829 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 6c47db9a0eebf1b4085d6c9215f904831f71f747 565912 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 504fb46bd3d9538c0934d668b18ea9796aa502469da0a6b1787d7046b5f4288e 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 5f7b7b4ef6e74913980f43319e004083c8cf09c2893ba11a9c9606ea715c7236 2380 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 1fddd1b4104c5965e72f175ac755fa48baa969c3ab4ca333e8069d5c0a20cdf9 41468 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 6548da8bfaa57bbf70a18ca2fda6a4c71134a1f2d1352c190cae9411c0757bfb 1323984 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 74fddd7c9bc48b83c8e8cb45f96f491e70c4a3e2c5764ea2591ae6f92c8e1b04 557808 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 bb490dbd7fe568808a3f7f304d4d5905ab1de9afe3278d0d9d0860282f1100d3 195744 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 e69fe0ea11bc41639ee66954d77176b4d14f187c98cedc8ff521d16258c24fa4 6829 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 50a5dfef69d74836e22690480c816022d896208b46b60720ee88192fc7025ec2 565912 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 1286d8e7e72cde363ac337d069e4a108 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 db5cdc0c93c435c62bee518e341c77d0 2380 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 bd82a3548ec77699d807ef8b3a6c7e5e 41468 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 10e60f8e2f89a0f89826a31a9ced589d 1323984 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 0b14133b088aa357e979217bc27f7f0d 557808 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 27282c56b1f773378cf3637f36e19485 195744 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 dc5e2e5bd53eb12f3a9f4ab26e37a1d3 6829 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 250e5f1adf8dabcc2500c3bf8e17c894 565912 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb