Format: 1.8
Date: Fri, 06 Nov 2026 18:13:43 +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:
 ff19fe3908352d5f6d141a1ebfbbfdfd89204ae3 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 11edc7eaff4db73459982659dbc26421524aa6d7 2376 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 c3fda630b9e74be459f31d16640b8b7deb9c09a4 41436 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 2b70d0fc97281e36157d8f0cb20c5fdcaab9df1d 1323812 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 760e8a2fb21647b702df9fbfd23ccc127831cb73 557932 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 2a1de29a785865b6f2afddb4803ab35000c3cebe 196156 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 9b637bbd066c16396b3d94740c85ee68c106ab81 6826 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 c29164dff4dd9bb7d3e916b2178a8b82d56dd6ff 566308 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 dff64a9cc99b18d54b3ce8a5ba26c0c727d9b62037a99a64155d8b0c6b420605 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 c0bd38480100f380cd570747c0f6d86d9af940b581e2f94e7a117cb9250deebb 2376 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 95c17f4ec32f11a704aedd89e295a50322c419aebf83fe9e3bcf103f59222a21 41436 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 66f208364e2a6d1424e6c4f45b2a04e30fe48094a72009d90803cf2a095175f8 1323812 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 e716010325f7d98ec2483e27289562875e9bdc0aa494beae5056aa1906f05c62 557932 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 412ca2f06a30c187bdddbdbd6f54ea3e19ca23de582bb9b436a1abcea7d573ea 196156 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 c504f4b1ce5a6a49925ea35b0af25d896cf9443a314f84e9237dbdb32b0cc819 6826 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 9c3573c62a22ef2233f6267967a6a15229dfb8118f216a326931fd7c3b0a4fe3 566308 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 3849bf6df497d6490da0f392b98440e7 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 22bec119fa7ae37ef92598b93d293859 2376 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 dc832ee49ab462ef727fc0049524f799 41436 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 ff7545907869ee3c06baf88acd4874d9 1323812 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 b6f708bdd73bf2bc5a7d0973a1abcab5 557932 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 794180e916a8af87744db81f303b6f34 196156 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 116ccbbc16f6a91c335d12dc6458ce50 6826 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 f5ef42701eb4fbf2eaa95d711f479b0a 566308 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb