-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: hol-light Binary: hol-light Architecture: hurd-i386 Version: 1:3.0.0-2 Checksums-Md5: 1e6270312dcd8f0392ea71e21a3eebce 5537652 hol-light_3.0.0-2_hurd-i386.deb Checksums-Sha1: ea6b2aec5dd22ffe7a0e55661bf27d1c7997e3a5 5537652 hol-light_3.0.0-2_hurd-i386.deb Checksums-Sha256: 5ccfcb5f044e30e454d8677a1ccb3cfd23a853dc1cb9d641f9a598d528d011dd 5537652 hol-light_3.0.0-2_hurd-i386.deb Build-Origin: Debian Build-Architecture: hurd-i386 Build-Date: Fri, 07 Mar 2025 00:02:07 +0000 Build-Path: /build/reproducible-path/hol-light-3.0.0 Installed-Build-Depends: autoconf (= 2.72-3), automake (= 1:1.17-3), autopoint (= 0.23.1-1), autotools-dev (= 20220109.1), base-files (= 13.7), base-passwd (= 3.6.6), bash (= 5.2.37-1.1), binutils (= 2.44-3), binutils-common (= 2.44-3), binutils-i686-gnu (= 2.44-3), bsdextrautils (= 2.40.2-12), bsdutils (= 1:2.40.2-12), build-essential (= 12.12), bzip2 (= 1.0.8-6), camlp5 (= 8.03.01-1), coreutils (= 9.1-1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-17), cpp-14-i686-gnu (= 14.2.0-17), cpp-i686-gnu (= 4:14.2.0-1), dash (= 0.5.12-12), debconf (= 1.5.89), debhelper (= 13.24.1), debianutils (= 5.21), dh-autoreconf (= 20), dh-ocaml (= 2.4), dh-strip-nondeterminism (= 1.14.1-2), diffutils (= 1:3.7-5), dpkg (= 1.22.15), dpkg-dev (= 1.22.15), dwz (= 0.15-1+b1), file (= 1:5.45-3+b1), findutils (= 4.10.0-3), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-17), g++-14-i686-gnu (= 14.2.0-17), g++-i686-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-17), gcc-14-base (= 14.2.0-17), gcc-14-i686-gnu (= 14.2.0-17), gcc-i686-gnu (= 4:14.2.0-1), gettext (= 0.23.1-1), gettext-base (= 0.23.1-1), gnumach-dev (= 2:1.8+git20250304-1), grep (= 3.11-4+hurd.1), groff-base (= 1.23.0-7), gzip (= 1.12-1.2), hostname (= 3.25), hurd (= 1:0.9.git20250304-1), hurd-dev (= 1:0.9.git20250304-1), hurd-libs0.3 (= 1:0.9.git20250304-1), init-system-helpers (= 1.68), insserv (= 1.26.0-1), intltool-debian (= 0.35.0+20060710.6), less (= 643-1+hurd.1), libacl1 (= 2.3.2-2+b1), libacpica0 (= 0~20220331-4), libarchive-zip-perl (= 1.68-1), libastring-ocaml (= 0.8.5-2+b3), libastring-ocaml-dev (= 0.8.5-2+b3), libatomic1 (= 14.2.0-17), libattr1 (= 1:2.5.2-3), libbinutils (= 2.44-3), libblkid1 (= 2.40.2-12), libbos-ocaml (= 0.2.1-2+b17), libbos-ocaml-dev (= 0.2.1-2+b17), libbsd0 (= 0.12.2-2), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.41-4~0), libc-dev-bin (= 2.41-4~0), libc0.3 (= 2.41-4~0), libc0.3-dev (= 2.41-4~0), libcamlp-streams-ocaml (= 5.0.1-3+b4), libcamlp-streams-ocaml-dev (= 5.0.1-3+b4), libcc1-0 (= 14.2.0-17), libcmdliner-ocaml-dev (= 1.3.0-2+b3), libcompiler-libs-ocaml-dev (= 5.3.0-2+b1), libconfig-tiny-perl (= 2.30-1), libcrypt-dev (= 1:4.4.38-1), libcrypt1 (= 1:4.4.38-1), libctf-nobfd0 (= 2.44-3), libctf0 (= 2.44-3), libdaemon0 (= 0.14-7.1+b2), libdb5.3t64 (= 5.3.28+dfsg2-5+b1), libdebconfclient0 (= 0.277), libdebhelper-perl (= 13.24.1), libdpkg-perl (= 1.22.15), libelf1t64 (= 0.192-4), libev-dev (= 1:4.33-2.1+b1), libev4t64 (= 1:4.33-2.1+b1), libfile-stripnondeterminism-perl (= 1.14.1-2), libfindlib-ocaml (= 1.9.8-1), libfindlib-ocaml-dev (= 1.9.8-1), libfmt-ocaml (= 0.9.0-3+b4), libfmt-ocaml-dev (= 0.9.0-3+b4), libfpath-ocaml (= 0.7.3-3+b3), libfpath-ocaml-dev (= 0.7.3-3+b3), libgcc-14-dev (= 14.2.0-17), libgcc-s1 (= 14.2.0-17), libgcrypt20 (= 1.11.0-6), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libgen-ocaml (= 1.1-1+b3), libgen-ocaml-dev (= 1.1-1+b3), libgmp-dev (= 2:6.3.0+dfsg-3), libgmp10 (= 2:6.3.0+dfsg-3), libgmp3-dev (= 2:6.3.0+dfsg-3), libgmpxx4ldbl (= 2:6.3.0+dfsg-3), libgomp1 (= 14.2.0-17), libgpg-error0 (= 1.51-3), libgraphics-ocaml (= 5.1.2-3+b4), libgraphics-ocaml-dev (= 5.1.2-3+b4), libicu72 (= 72.1-6), libisl23 (= 0.27-1), libjansson4 (= 2.14-2+b1), libjs-of-ocaml (= 5.9.1-1), libjs-of-ocaml-dev (= 5.9.1-1), liblogs-ocaml (= 0.7.0-3+b17), liblogs-ocaml-dev (= 0.7.0-3+b17), liblwip0t64 (= 2.2.1+dfsg1-1), liblwt-log-ocaml (= 1.1.2-4+b12), liblwt-log-ocaml-dev (= 1.1.2-4+b12), liblwt-ocaml (= 5.9.0-1+b3), liblwt-ocaml-dev (= 5.9.0-1+b3), liblzma5 (= 5.6.4-1), 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+b2), libmount1 (= 2.40.2-12), libmpc3 (= 1.3.1-1+b1), libmpfr6 (= 4.2.1-1+b1), libncurses-dev (= 6.5+20250216-2), libncurses6 (= 6.5+20250216-2), libncursesw6 (= 6.5+20250216-2), libnum-ocaml (= 1.5-1+b2), libnum-ocaml-dev (= 1.5-1+b2), libocaml-compiler-libs-ocaml-dev (= 0.17.0-1+b2), libocplib-endian-ocaml (= 1.2-4+b3), libocplib-endian-ocaml-dev (= 1.2-4+b3), libpam-modules (= 1.7.0-2+hurd.1), libpam-modules-bin (= 1.7.0-2+hurd.1), libpam-runtime (= 1.7.0-3), libpam0g (= 1.7.0-2+hurd.1), libparted2t64 (= 3.6-5), libpciaccess0 (= 0.17-3+b3), libpcre2-8-0 (= 10.45-1), libperl5.40 (= 5.40.1-2), libpipeline1 (= 1.5.8-1), libppx-derivers-ocaml-dev (= 1.2.1-4+b4), libppxlib-ocaml-dev (= 0.35.0-1), libquadmath0 (= 14.2.0-17), libre-ocaml-dev (= 1.12.0+really1.11.0-1+b2), libreact-ocaml (= 1.2.2-1+b3), libreact-ocaml-dev (= 1.2.2-1+b3), libreactivedata-ocaml (= 0.3-4+b3), libreactivedata-ocaml-dev (= 0.3-4+b3), librresult-ocaml (= 0.7.0-2+b3), librresult-ocaml-dev (= 0.7.0-2+b3), libsedlex-ocaml (= 3.3-2), libsedlex-ocaml-dev (= 3.3-2), libsexplib0-ocaml (= 0.17.0-1+b1), libsexplib0-ocaml-dev (= 0.17.0-1+b1), libsframe1 (= 2.44-3), libsmartcols1 (= 2.40.2-12), libstdc++-14-dev (= 14.2.0-17), libstdc++6 (= 14.2.0-17), libstdlib-ocaml (= 5.3.0-2+b1), libstdlib-ocaml-dev (= 5.3.0-2+b1), libtinfo6 (= 6.5+20250216-2), libtool (= 2.5.4-4), libtyxml-ocaml (= 4.6.0-1), libtyxml-ocaml-dev (= 4.6.0-1), libuchardet0 (= 0.0.8-1+b1), libunistring5 (= 1.3-1), libuuid1 (= 2.40.2-12), libuutf-ocaml (= 1.0.3-1+b4), libuutf-ocaml-dev (= 1.0.3-1+b4), libx11-6 (= 2:1.8.10-2), libx11-data (= 2:1.8.10-2), libxau6 (= 1:1.0.11-1), libxcb1 (= 1.15-1), libxdmcp6 (= 1:1.1.5-1), libxkbcommon0 (= 1.7.0-2), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b2), libyojson-ocaml (= 2.2.2-1), libyojson-ocaml-dev (= 2.2.2-1), libzarith-ocaml (= 1.14-1+b2), libzarith-ocaml-dev (= 1.14-1+b2), libzstd-dev (= 1.5.6+dfsg-2), libzstd1 (= 1.5.6+dfsg-2), login.defs (= 1:4.17.3-1), m4 (= 1.4.19-5), make (= 4.4.1-1), man-db (= 2.13.0-1), mawk (= 1.3.4.20250131-1), ncurses-base (= 6.5+20250216-1), ncurses-bin (= 6.5+20250216-2), ocaml (= 5.3.0-2+b1), ocaml-base (= 5.3.0-2+b1), ocaml-compiler-libs (= 5.3.0-2), ocaml-findlib (= 1.9.8-1), ocaml-interp (= 5.3.0-2+b1), passwd (= 1:4.17.2-5+hurd.1), patch (= 2.7.6-7), perl (= 5.40.1-2), perl-base (= 5.40.1-2), perl-modules-5.40 (= 5.40.1-2), po-debconf (= 1.0.21+nmu1), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.24), startpar (= 0.66-1), sysv-rc (= 3.14-3), sysvinit-utils (= 3.14-3), tar (= 1.34+dfsg-1.4), util-linux (= 2.40.2-12), xkb-data (= 2.42-1), xz-utils (= 5.6.4-1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1734270580" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEegj4rSfIcf+S5yo+b7Q+Vlzag9oFAmfKN48ACgkQb7Q+Vlza g9o0AQ/+PDpTzpS7OjAjNfV6E5fHRbXBKBFnqN5nmAE8QjZJrO6T7C3BwGl0Rmwh afm+5EOuSbmGFis1jGdOPqklJmc1c2v7o79Q5B2oJ+JvyN+/1wZwqMUhgIk7IPGo 5CU5v66AlvjVDWIiy8eCxLg2EQnxDiXfSyypL3oFPL1B8VdIkSk3TDYgjFPOf19i JeBP8Ug4DdQZZjOFPJO6wXN7I0jRYVB72HBlGJ+yD89ebTzmDVMynW3Byl6b6HGX AmUeUbCJykMUmLXFNFIaUIkTY+/NCmDpzm/Lb3DIufDN+6yshRHp+6OhjmkJGPde n1eVeC9Gj3DiGc+fEa9k3iZqmSAzhvdfjLYwjHDxz1PtF6aRB0nKDR50DmiI/yPO AgnmIBeB5dGj18u+Xu/ZNswEx9pADwTDPnCmMERVh/xXjrX5QajGXILefGhBI/Sh qS+cujkLOYfvJgofd9TvHvh1ZtYhyrNnzaPXwWtv5vD5+6k5RI65EAl7jKejby3I J6FUPzXFlqh4OOx6jCkF9p0olFHQi+52FIIIU+tmHXWX/7062Naq9kfqasn9RQpZ 8ioybAFUgzUY7kmJmqMD624K5XEfjEFiSDCsHccjOQQi/mkWgRln9sM8N4OZkw1n E4BnlAGqIn3HAfogcLB0r6g6TZbF6uKuB4YRfvuBXdsFe+OETLI= =Zdw9 -----END PGP SIGNATURE-----