Format: 1.8
Date: Mon, 07 Sep 2026 16:04:54 +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.1
Checksums-Sha1:
 7274515ff2f2a7d6d6fdffa7d11ae2a45ee95363 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 3b760512d213360a128095ca53a6065a7b5b70cf 2372 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 68e01b25fe93b5b3ddf1dad9f32c968224d0d4ca 41788 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 58b5c8d625ca8d74b4a9e08d762b968b677f9088 1323684 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 a9b05f5a1aff6ff41094775dd63664d835e7eb7b 557980 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 5c5f2e4ffbcf1f9e54336f0ed8f033e3093b1be8 195824 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 504e81ea34722c87040f8207574c05d9cd54268e 6683 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 d8d841c36bbb20e37ef53f86c1362c827abac5ef 565588 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 6de97cc9ebfccbf0f7d6a0757256638f9f89afa6d2ecb7fc8d6743e0d89f9016 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 31099c4f64c49f8053232cbd2c7d2ac849f91c70301c22e58e77955ffa04838b 2372 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 f014ded26033ec593f3f8d3e19716b97fd967ed0638e6b10fcfd0053bc800884 41788 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 7fa2bdb2301e44a94df55d4f3086fe178e7980e9970f9594f6ead89b993ea006 1323684 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 463ab3b261bbc034bdfd2bd644e4a1410591a74c8576e665ce01d9e22c2848c5 557980 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 a3c3fa85c01a72ae6049fcb62a8dc714e6ac60381c07131a101505aad6a7ba94 195824 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 fada08db230a6667f4bca8b9c186cb435298d061b2de4dd2f5884809321fe8b2 6683 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 870d006139e3fa782043743a46b0e444e647e485bbc56be536bde16be56abd32 565588 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 f8f42752a8a6573a3310ae73f8cad659 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 9675e146c55092ce35a1fc7be6c326ff 2372 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 36032dd0fb23cf664645bb9637627e07 41788 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 abb5c2e43ce3df7431adbfeea7371d1a 1323684 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 620f7d00019551e62eea43cfb687bd97 557980 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 d65da4ddf0ab7ceb7202942a75ec6af7 195824 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 661bf2d50c164febe2ef12e3353bdf4f 6683 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 fc317c06596ba8e561e923fbb8e4257c 565588 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb