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

Format: 1.0
Source: gecode-snapshot
Binary: gecode-flatzinc gecode-flatzinc-dbgsym
Architecture: alpha
Version: 6.2.0+git20260120-2
Checksums-Md5:
 f851cd6c51b910a0fbe4e3aec738a337 54412252 gecode-flatzinc-dbgsym_6.2.0+git20260120-2_alpha.deb
 682e15277c3b90270e4e5474fd82998d 2798932 gecode-flatzinc_6.2.0+git20260120-2_alpha.deb
Checksums-Sha1:
 90856da08a2ce465c90aa61137a7ec23fc08cc60 54412252 gecode-flatzinc-dbgsym_6.2.0+git20260120-2_alpha.deb
 90b3dfb9474412987f5be4d1b2a3c4d8859445e6 2798932 gecode-flatzinc_6.2.0+git20260120-2_alpha.deb
Checksums-Sha256:
 ac304e61bf6ce32440d60a73cd7c5c1795335ce0697390e7eef8cd737bd3149e 54412252 gecode-flatzinc-dbgsym_6.2.0+git20260120-2_alpha.deb
 415f06388f58a1ee47749615710846d2cefe63e1fe7030a94b127ab92dbc8555 2798932 gecode-flatzinc_6.2.0+git20260120-2_alpha.deb
Build-Origin: Debian
Build-Architecture: alpha
Build-Date: Tue, 19 May 2026 09:31:41 +0000
Build-Path: /build/reproducible-path/gecode-snapshot-6.2.0+git20260120
Build-Tainted-By:
 usr-local-has-programs
Installed-Build-Depends:
 autoconf (= 2.73-2),
 automake (= 1:1.18.1-4),
 autopoint (= 0.23.2-2),
 autotools-dev (= 20240727.1+nmu1),
 base-files (= 14.0),
 base-passwd (= 3.6.8),
 bash (= 5.3-3),
 binutils (= 2.46-3),
 binutils-alpha-linux-gnu (= 2.46-3),
 binutils-common (= 2.46-3),
 bison (= 2:3.8.2+dfsg-1+b3),
 bsdextrautils (= 2.42-6),
 build-essential (= 12.12),
 bzip2 (= 1.0.8-6+b2),
 coreutils (= 9.10-1),
 cpp (= 4:15.2.0-5+b1),
 cpp-15 (= 15.2.0-17),
 cpp-15-alpha-linux-gnu (= 15.2.0-17),
 cpp-alpha-linux-gnu (= 4:15.2.0-5+b1),
 dash (= 0.5.12-12),
 debconf (= 1.5.92),
 debhelper (= 13.31),
 debianutils (= 5.23.2),
 dh-autoreconf (= 22),
 dh-strip-nondeterminism (= 1.15.0-1),
 diffutils (= 1:3.10-4),
 dpkg (= 1.23.7),
 dpkg-dev (= 1.23.7),
 dwz (= 0.16-4),
 file (= 1:5.46-5+b2),
 findutils (= 4.10.0-4),
 flex (= 2.6.4-8.2+b3),
 fontconfig (= 2.17.1-5),
 fontconfig-config (= 2.17.1-5),
 fonts-dejavu-core (= 2.37-9),
 fonts-dejavu-mono (= 2.37-9),
 g++ (= 4:15.2.0-5+b1),
 g++-15 (= 15.2.0-17),
 g++-15-alpha-linux-gnu (= 15.2.0-17),
 g++-alpha-linux-gnu (= 4:15.2.0-5+b1),
 gcc (= 4:15.2.0-5+b1),
 gcc-15 (= 15.2.0-17),
 gcc-15-alpha-linux-gnu (= 15.2.0-17),
 gcc-15-base (= 15.2.0-17),
 gcc-16-base (= 16.1.0-1),
 gcc-alpha-linux-gnu (= 4:15.2.0-5+b1),
 gettext (= 0.23.2-1),
 gettext-base (= 0.23.2-1),
 grep (= 3.11-4),
 groff-base (= 1.24.1-1),
 gzip (= 1.13-1),
 hostname (= 3.25),
 init-system-helpers (= 1.69),
 intltool-debian (= 0.35.0+20060710.6),
 libacl1 (= 2.3.2-3),
 libarchive-zip-perl (= 1.68-1),
 libatomic1 (= 16.1.0-1),
 libattr1 (= 1:2.5.2-4),
 libaudit-common (= 1:4.1.2-1),
 libaudit1 (= 1:4.1.2-1+b1),
 libavahi-client3 (= 0.8-18),
 libavahi-common-data (= 0.8-18),
 libavahi-common3 (= 0.8-18),
 libb2-1 (= 0.98.1-1.1),
 libbinutils (= 2.46-3),
 libblkid1 (= 2.42-6),
 libboost-dev (= 1.90.0.2),
 libboost1.90-dev (= 1.90.0-6),
 libbrotli1 (= 1.2.0-3),
 libbz2-1.0 (= 1.0.8-6+b2),
 libc-bin (= 2.42-4),
 libc-dev-bin (= 2.42-4),
 libc-gconv-modules-extra (= 2.42-4),
 libc6.1 (= 2.42-4),
 libc6.1-dev (= 2.42-4),
 libcap-ng0 (= 0.9.3-1),
 libcc1-0 (= 16.1.0-1),
 libcom-err2 (= 1.47.4-1),
 libcrypt-dev (= 1:4.5.1-1),
 libcrypt1 (= 1:4.5.1-1),
 libctf-nobfd0 (= 2.46-3),
 libctf0 (= 2.46-3),
 libcups2t64 (= 2.4.18-1),
 libcurl3t64-gnutls (= 8.20.0-2),
 libdb5.3t64 (= 5.3.28+dfsg2-11),
 libdbus-1-3 (= 1.16.2-4),
 libdebconfclient0 (= 0.283),
 libdebhelper-perl (= 13.31),
 libdouble-conversion3 (= 3.4.0-1+b1),
 libdpkg-perl (= 1.23.7),
 libdrm-common (= 2.4.131-1),
 libdrm2 (= 2.4.131-1+b1),
 libduktape207 (= 2.7.0-2+b2),
 libegl-mesa0 (= 26.0.6-1),
 libegl1 (= 1.7.0-3+b1),
 libelf1t64 (= 0.195-1),
 libevdev2 (= 1.13.6+dfsg-2),
 libexpat1 (= 2.8.0-2),
 libffi8 (= 3.5.2-4),
 libfile-stripnondeterminism-perl (= 1.15.0-1),
 libfontconfig1 (= 2.17.1-5),
 libfreetype6 (= 2.14.3+dfsg-1),
 libgbm1 (= 26.0.6-1),
 libgcc-15-dev (= 15.2.0-17),
 libgcc-s1 (= 16.1.0-1),
 libgdbm-compat4t64 (= 1.26-1+b2),
 libgdbm6t64 (= 1.26-1+b2),
 libgl-dev (= 1.7.0-3+b1),
 libgl1 (= 1.7.0-3+b1),
 libgl1-mesa-dri (= 26.0.6-1),
 libglib2.0-0t64 (= 2.88.1-2),
 libglvnd0 (= 1.7.0-3+b1),
 libglx-dev (= 1.7.0-3+b1),
 libglx-mesa0 (= 26.0.6-1),
 libglx0 (= 1.7.0-3+b1),
 libgmp-dev (= 2:6.3.0+dfsg-5+b2),
 libgmp10 (= 2:6.3.0+dfsg-5+b2),
 libgmpxx4ldbl (= 2:6.3.0+dfsg-5+b2),
 libgnutls30t64 (= 3.8.13-1),
 libgomp1 (= 16.1.0-1),
 libgraphite2-3 (= 1.3.14-13),
 libgssapi-krb5-2 (= 1.22.1-2),
 libgudev-1.0-0 (= 237-2),
 libharfbuzz0b (= 12.3.2-2+b2),
 libhogweed6t64 (= 3.10.2-1),
 libice6 (= 2:1.1.1-1+b2),
 libicu78 (= 78.3-2),
 libidn2-0 (= 2.3.8-5),
 libinput-bin (= 1.31.1-1),
 libinput10 (= 1.31.1-1),
 libisl23 (= 0.27-2),
 libitm1 (= 16.1.0-1),
 libjansson4 (= 2.14-2+b2),
 libjpeg62-turbo (= 1:3.1.3-4),
 libk5crypto3 (= 1.22.1-2),
 libkeyutils1 (= 1.6.3-6+b2),
 libkrb5-3 (= 1.22.1-2),
 libkrb5support0 (= 1.22.1-2),
 libldap2 (= 2.6.10+dfsg-1+b2),
 liblzma5 (= 5.8.3-1),
 libmagic-mgc (= 1:5.46-5+b2),
 libmagic1t64 (= 1:5.46-5+b2),
 libmd0 (= 1.2.0-1),
 libmd4c0 (= 0.5.2-2+b2),
 libmount1 (= 2.42-6),
 libmpc3 (= 1.3.1-3),
 libmpfr-dev (= 4.2.2-3),
 libmpfr6 (= 4.2.2-3),
 libmtdev1t64 (= 1.1.7-1+b2),
 libncursesw6 (= 6.6+20251231-1+b1),
 libnettle8t64 (= 3.10.2-1),
 libnghttp2-14 (= 1.69.0-1),
 libnghttp3-9 (= 1.15.0-1),
 libngtcp2-16 (= 1.22.1-1),
 libngtcp2-crypto-gnutls8 (= 1.22.1-1),
 libopengl-dev (= 1.7.0-3+b1),
 libopengl0 (= 1.7.0-3+b1),
 libp11-kit0 (= 0.26.2-2),
 libpam-modules (= 1.7.0-5+b2),
 libpam-modules-bin (= 1.7.0-5+b2),
 libpam-runtime (= 1.7.0-5),
 libpam0g (= 1.7.0-5+b2),
 libpcre2-16-0 (= 10.46-1+b2),
 libpcre2-8-0 (= 10.46-1+b2),
 libperl5.40 (= 5.40.1-7),
 libpipeline1 (= 1.5.8-3),
 libpng16-16t64 (= 1.6.58-1),
 libproxy1v5 (= 0.5.12-1),
 libpsl5t64 (= 0.21.5-1),
 libpython3-stdlib (= 3.13.9-3+b1),
 libpython3.13-minimal (= 3.13.12-1),
 libpython3.13-stdlib (= 3.13.12-1),
 libqt6concurrent6 (= 6.10.2+dfsg-12),
 libqt6core6t64 (= 6.10.2+dfsg-12),
 libqt6dbus6 (= 6.10.2+dfsg-12),
 libqt6gui6 (= 6.10.2+dfsg-12),
 libqt6network6 (= 6.10.2+dfsg-12),
 libqt6opengl6 (= 6.10.2+dfsg-12),
 libqt6openglwidgets6 (= 6.10.2+dfsg-12),
 libqt6printsupport6 (= 6.10.2+dfsg-12),
 libqt6sql6 (= 6.10.2+dfsg-12),
 libqt6test6 (= 6.10.2+dfsg-12),
 libqt6waylandclient6 (= 6.10.2+dfsg-12),
 libqt6widgets6 (= 6.10.2+dfsg-12),
 libqt6wlshellintegration6 (= 6.10.2+dfsg-12),
 libqt6xml6 (= 6.10.2+dfsg-12),
 libreadline8t64 (= 8.3-4),
 libsasl2-2 (= 2.1.28+dfsg1-11),
 libsasl2-modules-db (= 2.1.28+dfsg1-11),
 libselinux1 (= 3.8.1-1),
 libsensors-config (= 1:3.6.2-2),
 libsensors5 (= 1:3.6.2-2+b2),
 libsframe3 (= 2.46-3),
 libsm6 (= 2:1.2.6-1+b2),
 libsmartcols1 (= 2.42-6),
 libsqlite3-0 (= 3.46.1-9+b1),
 libssh2-1t64 (= 1.11.1-3),
 libssl3t64 (= 3.6.2-1),
 libstdc++-15-dev (= 15.2.0-17),
 libstdc++6 (= 16.1.0-1),
 libsystemd0 (= 260.1-1),
 libtasn1-6 (= 4.21.0-2+b1),
 libtinfo6 (= 6.6+20251231-1+b1),
 libtool (= 2.5.4-11),
 libts0t64 (= 1.22-1.1+b2),
 libuchardet0 (= 0.0.8-2+b2),
 libudev1 (= 260.1-1),
 libunistring5 (= 1.4.2-1),
 libuuid1 (= 2.42-6),
 libvulkan-dev (= 1.4.341.0-1),
 libvulkan1 (= 1.4.341.0-1),
 libwacom-common (= 2.18.0-1),
 libwacom9 (= 2.13.0-1),
 libwayland-client0 (= 1.24.0-2+b2),
 libwayland-cursor0 (= 1.24.0-2+b2),
 libwayland-egl1 (= 1.24.0-2+b2),
 libx11-6 (= 2:1.8.13-1),
 libx11-data (= 2:1.8.13-1),
 libx11-dev (= 2:1.8.13-1),
 libx11-xcb1 (= 2:1.8.13-1),
 libxau-dev (= 1:1.0.11-1+b2),
 libxau6 (= 1:1.0.11-1+b2),
 libxcb-cursor0 (= 0.1.6-1),
 libxcb-dri3-0 (= 1.17.0-2+b3),
 libxcb-glx0 (= 1.17.0-2+b3),
 libxcb-icccm4 (= 0.4.2-1+b2),
 libxcb-image0 (= 0.4.0-2+b2),
 libxcb-keysyms1 (= 0.4.1-1+b2),
 libxcb-present0 (= 1.17.0-2+b3),
 libxcb-randr0 (= 1.17.0-2+b3),
 libxcb-render-util0 (= 0.3.10-1+b2),
 libxcb-render0 (= 1.17.0-2+b3),
 libxcb-shape0 (= 1.17.0-2+b3),
 libxcb-shm0 (= 1.17.0-2+b3),
 libxcb-sync1 (= 1.17.0-2+b3),
 libxcb-util1 (= 0.4.1-1+b2),
 libxcb-xfixes0 (= 1.17.0-2+b3),
 libxcb-xinput0 (= 1.17.0-2+b3),
 libxcb-xkb1 (= 1.17.0-2+b3),
 libxcb1 (= 1.17.0-2+b3),
 libxcb1-dev (= 1.17.0-2+b3),
 libxdmcp-dev (= 1:1.1.5-2+b1),
 libxdmcp6 (= 1:1.1.5-2+b1),
 libxext6 (= 2:1.3.4-1+b4),
 libxkbcommon-x11-0 (= 1.13.1-1),
 libxkbcommon0 (= 1.13.1-1),
 libxml2-16 (= 2.15.2+dfsg-0.1),
 libxshmfence1 (= 1.3.3-1+b2),
 libxxf86vm1 (= 1:1.1.4-2+b1),
 libzstd1 (= 1.5.7+dfsg-3+b2),
 linux-libc-dev (= 7.0.7-1),
 m4 (= 1.4.21-1),
 make (= 4.4.1-3),
 man-db (= 2.13.1-1),
 mawk (= 1.3.4.20260302-1),
 media-types (= 14.0.0),
 mesa-libgallium (= 26.0.6-1),
 ncurses-base (= 6.6+20251231-1),
 ncurses-bin (= 6.6+20251231-1+b1),
 netbase (= 6.5),
 openssl-provider-legacy (= 3.6.2-1),
 patch (= 2.8-2),
 perl (= 5.40.1-7),
 perl-base (= 5.40.1-7),
 perl-modules-5.40 (= 5.40.1-7),
 po-debconf (= 1.0.22),
 python3 (= 3.13.9-3+b1),
 python3-minimal (= 3.13.9-3+b1),
 python3.13 (= 3.13.12-1),
 python3.13-minimal (= 3.13.12-1),
 qmake6 (= 6.10.2+dfsg-12),
 qmake6-bin (= 6.10.2+dfsg-12),
 qt6-base-dev (= 6.10.2+dfsg-12),
 qt6-base-dev-tools (= 6.10.2+dfsg-12),
 qt6-qpa-plugins (= 6.10.2+dfsg-12),
 qtpaths6 (= 6.10.2+dfsg-12),
 qtpaths6-bin (= 6.10.2+dfsg-12),
 readline-common (= 8.3-4),
 rpcsvc-proto (= 1.4.3-1),
 sed (= 4.9-3),
 sensible-utils (= 0.0.26),
 shared-mime-info (= 2.4-5+b3),
 sysvinit-utils (= 3.18-1),
 tar (= 1.35+dfsg-4),
 tzdata (= 2026b-1),
 util-linux (= 2.42-6),
 x11-common (= 1:7.7+26),
 x11proto-dev (= 2025.1-1),
 xkb-data (= 2.47-1),
 xorg-sgml-doctools (= 1:1.12.1-1),
 xtrans-dev (= 1.6.0-1),
 xz-utils (= 5.8.3-1),
 zlib1g (= 1:1.3.dfsg+really1.3.2-3)
Environment:
 DEB_BUILD_OPTIONS="parallel=3"
 LANG="C.UTF-8"
 LC_COLLATE="C.UTF-8"
 LC_CTYPE="C.UTF-8"
 SOURCE_DATE_EPOCH="1779165993"

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

iQIzBAEBCgAdFiEEcK1jcisqPq01YUYejKLqX4dpRrQFAmoMLhkACgkQjKLqX4dp
RrSP+Q//a30MpbeXzRSB9QjfS3rBvwQkgv590EndxgsYu+tm0ngurTa1907wQqe2
4mtSlyN9287hPc2uZXatz7zHjpXDDaPzc1Wl/fyzG+HVdRaANN9hxIw4KQNZ3Efn
u/VmBISa3Ywb+FjXtxeys1Kp7oHo8UlxWfJZvnugaHrE54MxI8FmsBSQCyyY6vQo
kDAeT9JgnIrF0OKo97V2UbgaK+0Kg2+9z/WtiWvK302ISOXVDxQj8WfZkaBsT2iv
sJVY5iuQaPpZxI5AoZEJh8ukmGmIXxmDtz6YJR/5UQToeYa/aw8e2rJmMWyhwAyo
jZh2SNT3y7B82lZkvJajV9CiWKB4qeSz/k2VAwROupXeUjMWYA5qzWmG9BXwRom8
VZ0APhPGRymGrpoYR7PY1BVq3MlwjiNbp5zp0/Om6qDq1B5/JXy0s9CwRTrNKHiB
unnwFO2FwPMe7dkNvVrnJ2lwIePWq+qELT7Ve3bn1nUJQtFGXD8ahsnx1uxvEWa0
rwtiz6yswMLITgxGQy6t5PWlBSF1oy/rPm32kzDY5lpT8aMuHZnWiSNnRH+s4lE5
ZyAUt5fHzwSf8KzWKXTcy0+2JllQ43Bs/b/X8QVRY1EUQuNIIFlmqiUN9F52QixZ
G9qTIRgxHmkvT/ijAUwoGhYbrfnp0z+KUUPrLjcQyXk2Ja1r8CI=
=ljRS
-----END PGP SIGNATURE-----