Format: 1.8
Date: Fri, 24 Apr 2026 23:48:10 +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:
 31ab639e524f226cb5a647bd8370594d8df3c59c 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 b8bd0a453d0220e2784edd43dd2563eb70fa0316 2384 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 a1c28080c161797fc910625e86d4b633b047a648 41564 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 47b51c33738bf7f8fd6c5bf1618b02e8ae5b6185 1284152 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 72c3a70856ff3411bc4f3ff706423ac9ef9ce853 533884 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 68e9706b4d10ea991d9b8caf0b31091c14a1f475 186740 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 8f4f5d17804de57b5cf2b2a69757a365beacd0f9 6885 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 146ad8dcbeef2843632941c3d7a70022cc1f878f 536984 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 d250b5faa7f0e09405813507c70c85d5a5996e04bd2930fd81a57020cee8266a 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 47bb9f382686b119277d9b2403ec3ef0c7e4260ba05b95276f74d4b346282ccc 2384 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 a447133ce210665f61b336618067b6fe23ff0a01db1ce2a7546f3956064f57e7 41564 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 51cd97394785a0818d878d1f8f7a16345f090a9b9510682bdbb6bb55e0d391c7 1284152 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 92d38233f40ce310c4ea386d8fbac643647e60f2f2a91c0cd590857aa0fa7b10 533884 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 cd328444cd7666c2b0eb90cd0446bfd81a21486744abfecde594cc7096891b4a 186740 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 d64033e6ee235b2e7257af5b4be85452d7755214b94f8c61871cc9919a471fc9 6885 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 3e5701f9a94fff746668b20c34ae0a94070f1b6bd9f081604b672636783eb0e3 536984 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 a102f10f45ca4f80551437c6b33b28bd 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 7465736cb33a54f442db129359e06a74 2384 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 6862f555bdc66c623e39882eba86ff49 41564 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 4ad48515ffab39070f8ac81a2c749ef8 1284152 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 29d2e362f2416d9950cc7544d6961a87 533884 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 b0d2b56b00d3dfc3017fd920708e93a7 186740 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 7641d5aa2b53544e35d2f4640765a5d2 6885 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 825f8729f853dbeeb9d9414b93bc2e0c 536984 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb