Format: 1.8
Date: Sat, 25 Apr 2026 05:11:17 +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.4.1
Checksums-Sha1:
 a550817cc3f6c374c9077904a3c943aa159706aa 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 26316951eff9b37c9bacc663f055b7cb4f141b35 2368 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 cb4dc28fc823870905e2cba4fbd62e6aac6061ac 41628 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 848bc16e0ddf9d8f326b35050735396556bab5a4 1284024 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 cdf9e9ff7b2f56f9d80a6261ab3adc58dcf5ed64 533804 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 14eb9aa81c6d1dd7343e82513cf8b677855bf176 185764 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 8526a400a6977a59253b1eaf2dd766112620840a 6788 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 e846114ae3e6820703543fd2c038cf1ed306ee2d 538700 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 ce005648083f0ed31afe8b92ba7119eece518e67d7e962b977826f4fa8f6a06e 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 fb69d9eede0057bbf71816ae98c354cdbf1985e16ce08c3683336bdfddddd226 2368 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 290a7c820c67557815bc0836b8b4719ba467a680005b153fe6b3e4eb04580474 41628 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 7f04e5c46369c1a1acd04f5c3de39ac4dfe4697c9554a51175da1e58b8a7bf56 1284024 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 8d1c03c5b816a50cd8b00545a16917e73f9095610101b799f5fdcc02fb6d7e54 533804 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 6e0f858367d43f9de55114a9dd1b8b2322bc367a70679921a82beb7adbb21b0f 185764 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 2df79368789aa616505d0887fc4ff284a7d05b9077e3af2c724478a62c3e6429 6788 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 52ddab0c3e065ac10ca9b7f364e2bf1a784be8f64a78d29cc1108dcdefac611a 538700 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 344c8d3667c87450ef33ccf9b579b5c9 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 d7744d49e731ac3d1a15ce73b94278d2 2368 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 6f0af7b7ec6cbe1920bf95f174f34461 41628 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 1b1017ecd21629feb8b0272539fa7e23 1284024 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 a11d9887248abcc0b05038d9cc5b7fe1 533804 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 f3969606fec855ba975f0c83ebc30201 185764 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 a772d171f01865016745739d167ee6ab 6788 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 1199b806311ea52271544950720a8cd7 538700 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb