Format: 1.8
Date: Fri, 23 Oct 2026 16:30:14 +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.2
Checksums-Sha1:
 ed5531047216402a393f0df0d9e6b1a95affecd5 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 ebd006826e3e61cc3b44b83ba35146e7d21ddba1 2372 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 54523a3e8b2e4a91a871caef8412de7597588f6c 41424 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 8f97f47e38c77591213d425b5952ceb723a41225 1323144 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 748933b5373b3e816370e0e3edd91387ab56643a 557640 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 ed8f4d66f9027b284e9e2ac6fa1b2872bf00ee41 195520 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 b1cfced74cef43ec88cb3189fd6796e341eed493 6777 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 024797b35fa0e9f8a4b65f07cc103f213868c7be 565436 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 ec83f3b5fc7d20f20762a35f378a66bfab5f657cbe27aab6de8c6b5f9be91c64 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 ffe8307e7c8d2de8cfa39ce1cf2c96a68637ffa7ced2b11df2dd4af679a03b2a 2372 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 faf6b7b5ad2a1589b2279e1f74209857a48c38e5dabc69f2a2443b1e60a91499 41424 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 16ad979924975e381d31349329ba98b4ca92ca9077845341c571cbe23491dcc8 1323144 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 6fc73818ebc803a068834bb36cc1bff9dce553de167ffec3668f27034b52ef40 557640 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 55d64735bf880d267b00011a9a8397d5bab706ede93b372dc3e7c37f81021883 195520 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 ec3b8a40582c49a166754168965a7b8dbe9e45f61188fb688aeb2d2c7b897313 6777 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 67329ce060dd632b3447bc8a2bb1a775f5ada0563ff3aa971ce34151826dd440 565436 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 c6fcccd63863f74b58886d4dfc557293 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 6621cbbe2e7cf16a0f344233052bc155 2372 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 5545f3396e67f1e59f43a22c03dd6e93 41424 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 0717f4756ce8502c6a8f6c6d9f72ee56 1323144 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 a190eeee6a9468a9661175ce690b3826 557640 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 7b40cb6975f6b88e472f1f25c55b6bfe 195520 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 06645b2c212db73255cf1b865bf5646f 6777 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 ec58a3b42ce6e4904d3ac71ef695f9ff 565436 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb