Format: 1.8
Date: Fri, 15 May 2026 08:57:27 +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:
 61050c0059607e1bad0cf32d44c41c7bfcad88cd 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
 9c22901bbf36828a08bc1b3bf1542837d1e123ff 2376 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 b11fa653d4b129db16920dbe708e2a94c9022c59 41664 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 91bdebdc29aa732d9fa26ba4e40e2e7fcee45540 1284028 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 4431431bf5351b44335b9592ee5c506113881d28 533516 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 3c62d27bf83c744ddd1d185cc14a0efe361147a5 186932 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 e093a2f3663c52d73c6bdbc4a67ca4f10127ba2e 6780 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 47dd40d1d5f0b51132041efd990f7ed9339e46da 538460 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Checksums-Sha256:
 bab19da4d7a10f40a07d110409cb9ba513cf48955f09c2163c45fe297ae1b90c 1347 psmt2-frontend_0.4.0-4+ocaml1.dsc
 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
 17fed7ff0d2a16cb35b137cb24baf49f859693380d4fecfe8d1556010accc659 2376 psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 73f11b70315d876fff4d0bed54f3fd702a47e19f7289e53c9f2390f00510404a 41664 libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 1be1c16625255a9bd23c5e156e99bb5343fccbd13e6c34f81809032107531ce1 1284028 libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 df3b020bc0698ccfdbc8612831699a0301956fbb0292c2d4cf34c901cf298583 533516 libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 33f072ef27a96a69698ef0c92b93c6634c659bd8359a069628433ce3b07246fb 186932 psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 406058ce8d6a147848c5eb6650e85defd2670da96e7926e777a6b80ed8492709 6780 psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 f822d988bf261382cbe2447ccafde9164d3142f38973a2a97c4808542f4a5503 538460 psmt2-frontend_0.4.0-4+ocaml1_amd64.deb
Files:
 3c930ce07f44d31e6f8907db8c42f75a 1347 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.dsc
 4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
 419f9df80efff7f3561fb81671e72732 2376 ocaml optional psmt2-frontend_0.4.0-4+ocaml1.debian.tar.xz
 4b7d42a6da768d666f626f0f9b10bf87 41664 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-4+ocaml1_amd64.deb
 eaa4ff21657606f0bd09b2626be64b56 1284028 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-4+ocaml1_amd64.deb
 c26f0b5710558aeebca737f78bfc57b9 533516 ocaml optional libpsmt2-frontend-ocaml_0.4.0-4+ocaml1_amd64.deb
 45482a0e484ef9b2f4670a01d93de618 186932 debug optional psmt2-frontend-dbgsym_0.4.0-4+ocaml1_amd64.deb
 8ca5ab9a86e8c5240fa3b9988689f696 6780 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.buildinfo
 a0cbf38d374e251c030ef19541b63a93 538460 ocaml optional psmt2-frontend_0.4.0-4+ocaml1_amd64.deb