-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.0
Source: psmt2-frontend (0.4.0-4)
Binary: libpsmt2-frontend-ocaml libpsmt2-frontend-ocaml-dev psmt2-frontend psmt2-frontend-dbgsym
Architecture: sh4
Version: 0.4.0-4+b2
Binary-Only-Changes:
 psmt2-frontend (0.4.0-4+b2) sid; urgency=low, binary-only=yes
 .
   * Binary-only non-maintainer upload for sh4; no source changes.
   * Rebuild with OCaml 5.3.0
 .
  -- sh4 Build Daemon (sh4-osuosl-01) <buildd@sh4-osuosl-01.buildd.org>  Mon, 27 Jan 2025 14:24:09 +0000
Checksums-Md5:
 a988746a183ccf551993f7c26cadadea 1679680 libpsmt2-frontend-ocaml-dev_0.4.0-4+b2_sh4.deb
 43156be7b02484c8b75276dd4fc36a08 495168 libpsmt2-frontend-ocaml_0.4.0-4+b2_sh4.deb
 249f4f4c1933c04dbb78b089c05b1e28 25488 psmt2-frontend-dbgsym_0.4.0-4+b2_sh4.deb
 82ed3ee7c1ba5edc49a9922b95caf88f 207012 psmt2-frontend_0.4.0-4+b2_sh4.deb
Checksums-Sha1:
 60ea8fd165f3e2de1e2be173200fc0221060885b 1679680 libpsmt2-frontend-ocaml-dev_0.4.0-4+b2_sh4.deb
 8ee3c8f01a12dfc62986c434956c6fd8088ccfe5 495168 libpsmt2-frontend-ocaml_0.4.0-4+b2_sh4.deb
 0ed73502086bb0c8f367f0e2a26e1e9134d3c7e3 25488 psmt2-frontend-dbgsym_0.4.0-4+b2_sh4.deb
 c7e7138531a8af2e98e8a4e662bfae70439fd348 207012 psmt2-frontend_0.4.0-4+b2_sh4.deb
Checksums-Sha256:
 579cabb9567ce62fad4ced0d8c5a93b4b99beead849f004eb4b666f79aefecdf 1679680 libpsmt2-frontend-ocaml-dev_0.4.0-4+b2_sh4.deb
 81771fb1b10b931df4e45bec9d3598cad6d10da39e250ca81230960fcbed1942 495168 libpsmt2-frontend-ocaml_0.4.0-4+b2_sh4.deb
 d46578a959bac4432ccecd206306285e29620851db52d5cc3170a89de0a7344b 25488 psmt2-frontend-dbgsym_0.4.0-4+b2_sh4.deb
 3349ec5b81f8a2f51782edeb7fd3d2be5792aec55de58c8f01bc4f0c9614045b 207012 psmt2-frontend_0.4.0-4+b2_sh4.deb
Build-Origin: Debian
Build-Architecture: sh4
Build-Date: Mon, 27 Jan 2025 14:27:30 +0000
Build-Path: /build/psmt2-frontend-ZvvzLc/psmt2-frontend-0.4.0
Build-Tainted-By:
 usr-local-has-programs
Installed-Build-Depends:
 autoconf (= 2.72-3),
 automake (= 1:1.17-1),
 autopoint (= 0.23.1-1),
 autotools-dev (= 20220109.1),
 base-files (= 13.6),
 base-passwd (= 3.6.6),
 bash (= 5.2.37-1),
 binutils (= 2.43.50.20241230-1),
 binutils-common (= 2.43.50.20241230-1),
 binutils-sh4-linux-gnu (= 2.43.50.20241230-1),
 bsdextrautils (= 2.40.4-1),
 bsdutils (= 1:2.40.4-1),
 build-essential (= 12.12),
 bzip2 (= 1.0.8-6),
 coreutils (= 9.5-1),
 cpp (= 4:14.2.0-1),
 cpp-14 (= 14.2.0-7),
 cpp-14-sh4-linux-gnu (= 14.2.0-7),
 cpp-sh4-linux-gnu (= 4:14.2.0-1),
 dash (= 0.5.12-11),
 debconf (= 1.5.89),
 debhelper (= 13.24.1),
 debianutils (= 5.21),
 dh-autoreconf (= 20),
 dh-ocaml (= 2.4),
 dh-strip-nondeterminism (= 1.14.1-1),
 diffutils (= 1:3.10-2),
 dpkg (= 1.22.14),
 dpkg-dev (= 1.22.14),
 dwz (= 0.15-1+b2),
 file (= 1:5.45-3+b1),
 findutils (= 4.10.0-3),
 g++ (= 4:14.2.0-1),
 g++-14 (= 14.2.0-7),
 g++-14-sh4-linux-gnu (= 14.2.0-7),
 g++-sh4-linux-gnu (= 4:14.2.0-1),
 gcc (= 4:14.2.0-1),
 gcc-14 (= 14.2.0-7),
 gcc-14-base (= 14.2.0-7),
 gcc-14-sh4-linux-gnu (= 14.2.0-7),
 gcc-sh4-linux-gnu (= 4:14.2.0-1),
 gettext (= 0.23.1-1),
 gettext-base (= 0.23.1-1),
 grep (= 3.11-4),
 groff-base (= 1.23.0-7),
 gzip (= 1.13-1),
 hostname (= 3.25),
 init-system-helpers (= 1.68),
 intltool-debian (= 0.35.0+20060710.6),
 libacl1 (= 2.3.2-2+b1),
 libarchive-zip-perl (= 1.68-1),
 libatomic1 (= 14.2.0-7),
 libattr1 (= 1:2.5.2-2),
 libaudit-common (= 1:4.0.2-2),
 libaudit1 (= 1:4.0.2-2+b1),
 libbinutils (= 2.43.50.20241230-1),
 libblkid1 (= 2.40.4-1),
 libbz2-1.0 (= 1.0.8-6),
 libc-bin (= 2.40-3+sh4),
 libc-dev-bin (= 2.40-3+sh4),
 libc6 (= 2.40-3+sh4),
 libc6-dev (= 2.40-3+sh4),
 libcap-ng0 (= 0.8.5-4),
 libcap2 (= 1:2.66-5+b1),
 libcc1-0 (= 14.2.0-7),
 libcompiler-libs-ocaml-dev (= 5.3.0-1),
 libconfig-tiny-perl (= 2.30-1),
 libcrypt-dev (= 1:4.4.38-1),
 libcrypt1 (= 1:4.4.38-1),
 libctf-nobfd0 (= 2.43.50.20241230-1),
 libctf0 (= 2.43.50.20241230-1),
 libdb5.3t64 (= 5.3.28+dfsg2-9),
 libdebconfclient0 (= 0.277),
 libdebhelper-perl (= 13.24.1),
 libdpkg-perl (= 1.22.14),
 libelf1t64 (= 0.192-4),
 libfile-stripnondeterminism-perl (= 1.14.1-1),
 libgcc-14-dev (= 14.2.0-7),
 libgcc-s1 (= 14.2.0-7),
 libgdbm-compat4t64 (= 1.24-2),
 libgdbm6t64 (= 1.24-2),
 libgmp10 (= 2:6.3.0+dfsg-3),
 libgomp1 (= 14.2.0-7),
 libicu72 (= 72.1-6),
 libisl23 (= 0.27-1),
 libitm1 (= 14.2.0-7),
 libjansson4 (= 2.14-2+b1),
 liblzma5 (= 5.6.3-1+b1),
 libmagic-mgc (= 1:5.45-3+b1),
 libmagic1t64 (= 1:5.45-3+b1),
 libmd0 (= 1.1.0-2+b1),
 libmenhir-ocaml-dev (= 20240715+ds-1+b1),
 libmount1 (= 2.40.4-1),
 libmpc3 (= 1.3.1-1+b1),
 libmpfr6 (= 4.2.1-1+b1),
 libncurses-dev (= 6.5-2+b1),
 libncurses6 (= 6.5-2+b1),
 libncursesw6 (= 6.5-2+b1),
 libpam-modules (= 1.5.3-7+b1),
 libpam-modules-bin (= 1.5.3-7+b1),
 libpam-runtime (= 1.5.3-7),
 libpam0g (= 1.5.3-7+b1),
 libpcre2-8-0 (= 10.44-5),
 libperl5.40 (= 5.40.0-8),
 libpipeline1 (= 1.5.8-1),
 libselinux1 (= 3.7-3+b1),
 libsframe1 (= 2.43.50.20241230-1),
 libsmartcols1 (= 2.40.4-1),
 libssl3t64 (= 3.4.0-2),
 libstdc++-14-dev (= 14.2.0-7),
 libstdc++6 (= 14.2.0-7),
 libstdlib-ocaml (= 5.3.0-1),
 libstdlib-ocaml-dev (= 5.3.0-1),
 libsystemd0 (= 257.2-3),
 libtinfo6 (= 6.5-2+b1),
 libtool (= 2.5.4-2),
 libuchardet0 (= 0.0.8-1+b1),
 libudev1 (= 257.2-3),
 libunistring5 (= 1.3-1),
 libuuid1 (= 2.40.4-1),
 libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1),
 libzstd-dev (= 1.5.6+dfsg-2),
 libzstd1 (= 1.5.6+dfsg-2),
 linux-libc-dev (= 6.12.11-1),
 m4 (= 1.4.19-5),
 make (= 4.4.1-1),
 man-db (= 2.13.0-1),
 mawk (= 1.3.4.20240905-1),
 menhir (= 20240715+ds-1+b1),
 ncurses-base (= 6.5-2),
 ncurses-bin (= 6.5-2+b1),
 ocaml (= 5.3.0-1),
 ocaml-base (= 5.3.0-1),
 ocaml-dune (= 3.17.1-2+b1),
 ocaml-interp (= 5.3.0-1),
 openssl-provider-legacy (= 3.4.0-2),
 patch (= 2.7.6-7),
 perl (= 5.40.0-8),
 perl-base (= 5.40.0-8),
 perl-modules-5.40 (= 5.40.0-8),
 po-debconf (= 1.0.21+nmu1),
 rpcsvc-proto (= 1.4.3-1),
 sed (= 4.9-2),
 sensible-utils (= 0.0.24),
 sysvinit-utils (= 3.13-1),
 tar (= 1.35+dfsg-3.1),
 util-linux (= 2.40.4-1),
 xz-utils (= 5.6.3-1+b1),
 zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1)
Environment:
 DEB_BUILD_OPTIONS="nobench nocheck parallel=2"
 LANG="C.UTF-8"
 LC_COLLATE="C.UTF-8"
 LC_CTYPE="C.UTF-8"
 SOURCE_DATE_EPOCH="1737987849"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEaGt4gwTH9Ryd2SumVgx+UhU/gv0FAmeXl+MACgkQVgx+UhU/
gv2LQA//X/Snp+TJXf5rE5ZtnNLfvich35wEazot2KWWtbRfn5eJpVJRvVZ1j0oL
PyHF6/zeAJyw1BjP+RHdmcbPaqFeuDl6e6QFxqH+dBpsq7x5BQ/373+jw9TfWPgP
+/80EpJ/gHOiKOQPgi0cmGwAspgMSmoKr1QTUeMrfeaitSkj7VNDruGU/FTZ+UZ4
IfRIxQrB/LxENwYgxjQm9koYORJQQffeNNmOCwR4H0Ic6CnwERqgFu9HWbXQ3oss
SSk/vVpjPg0XLSVS1KfO+T0gl5DN+XcedpcJ7LqgKlXquNETEut6MXcdsEpQcevK
ITgNSJ3K/ltt+G2BXzx63lkAFh26aP5CC/CJ/RTWe91B2Wi9sXmtQD3gDZfjUYmx
ZlcYVc29SQJhDKxDOQsJ9eMo4cSYP51oAL5EkYxoPnL3O3aV1QRcI2Zjn0nNCtb7
+kVHG+FbLgxjWmewpFmTe0s2CR7+j3/0d7kWE4f04rH88GYiEDUwxhTRCCsVoa3V
DrxevkEzUIh6kEHViVzPEhXZV7jVsWEUuLc1FzSa6F8LqhAfYz02nxO2XFThTXbt
D3VlEzO6lFrPTdPVdowaTzGK3GBtJ/ELqnbj1yDTEnnkm5BPpqPknsEIUIqLo6On
mqKrWuTjNnu7vzABy+mK7BhfoSZY+BuE6AqlzhWaATFaYIasKGM=
=avvY
-----END PGP SIGNATURE-----