Format: 1.0 Source: creduce Binary: creduce Architecture: hurd-i386 Version: 2.9~20181211-1 Checksums-Md5: 88689d4642bb9c4ba1eb630a2f477b50 94918612 creduce-dbgsym_2.9~20181211-1_hurd-i386.deb 02b222690e47860965915dfe4c461295 5835552 creduce_2.9~20181211-1_hurd-i386.deb Checksums-Sha1: 261445a38ce1821ec2aaa9e08c8f4cfd6bf82b9e 94918612 creduce-dbgsym_2.9~20181211-1_hurd-i386.deb 85265ee0fb833f16de573d55d29a7a285860c62d 5835552 creduce_2.9~20181211-1_hurd-i386.deb Checksums-Sha256: 5a2df2fba4a30596b48361802fe90a82c17544072fe85e7652c4746a05ce2990 94918612 creduce-dbgsym_2.9~20181211-1_hurd-i386.deb 0a25c3126381f324efb04425e4cf5de581c38d3339b545b5f743eab5d8a23fd3 5835552 creduce_2.9~20181211-1_hurd-i386.deb Build-Origin: Debian Build-Architecture: hurd-i386 Build-Date: Tue, 11 Dec 2018 13:28:39 +0000 Build-Path: /build/creduce-j7lZtc/creduce-2.9~20181211 Installed-Build-Depends: autoconf (= 2.69-11), automake (= 1:1.16.1-4), autopoint (= 0.19.8.1-6), autotools-dev (= 20180224.1), base-files (= 10.1), base-passwd (= 3.5.45), bash (= 4.4.18-3.1), binfmt-support (= 2.1.8-2), binutils (= 2.31.1-10), binutils-common (= 2.31.1-10), binutils-i686-gnu (= 2.31.1-10), bsdmainutils (= 9.0.14), bsdutils (= 1:2.32.1-0.2), build-essential (= 12.5), bzip2 (= 1.0.6-9), clang-7 (= 1:7.0.1~+rc3-1), clang-format-7 (= 1:7.0.1~+rc3-1), coreutils (= 8.30-1), cpp (= 4:8.2.0-2), cpp-8 (= 8.2.0-12), dash (= 0.5.7-4), debconf (= 1.5.69), debhelper (= 11.5.3), debianutils (= 4.8.6), dh-autoreconf (= 19), dh-strip-nondeterminism (= 1.0.0-1), diffutils (= 1:3.6-1), dpkg (= 1.19.2), dpkg-dev (= 1.19.2), dwz (= 0.12-2), fdisk (= 2.32.1-0.2), file (= 1:5.34-2), findutils (= 4.6.0+git+20181018-1), flex (= 2.6.4-6.2), frama-c-base (= 20171101+sulfur+dfsg-2), g++ (= 4:8.2.0-2), g++-8 (= 8.2.0-12), gcc (= 4:8.2.0-2), gcc-8 (= 8.2.0-12), gcc-8-base (= 8.2.0-12), gettext (= 0.19.8.1-6), gettext-base (= 0.19.8.1-6), gnumach-dev (= 2:1.8+git20181103-1), grep (= 3.1-2), groff-base (= 1.22.3-10), gzip (= 1.9-2.1), hostname (= 3.21), hurd (= 1:0.9.git20181030-3), hurd-dev (= 1:0.9.git20181030-3), hurd-libs0.3 (= 1:0.9.git20181030-3), init-system-helpers (= 1.56), insserv (= 1.14.0-5.4), intltool-debian (= 0.35.0+20060710.4), libacl1 (= 2.2.52-3), libarchive-zip-perl (= 1.64-1), libatomic1 (= 8.2.0-12), libattr1 (= 1:2.4.47-2+b1), libbenchmark-timer-perl (= 0.7112-1), libbinutils (= 2.31.1-10), libblkid1 (= 2.33-0.2), libbsd-dev (= 0.9.1-1), libbsd0 (= 0.9.1-1), libbz2-1.0 (= 1.0.6-9), libc-bin (= 2.28-2), libc-dev-bin (= 2.28-2), libc0.3 (= 2.28-2), libc0.3-dev (= 2.28-2), libcc1-0 (= 8.2.0-12), libclang-7-dev (= 1:7.0.1~+rc3-1), libclang-common-7-dev (= 1:7.0.1~+rc3-1), libclang1-7 (= 1:7.0.1~+rc3-1), libcroco3 (= 0.6.12-2), libdaemon0 (= 0.14-7), libdb5.3 (= 5.3.28-13.1), libdebconfclient0 (= 0.245), libdpkg-perl (= 1.19.2), libedit-dev (= 3.1-20180525-1), libedit2 (= 3.1-20180525-1), libelf1 (= 0.170-0.5), libexpat1 (= 2.2.6-1), libexporter-lite-perl (= 0.08-1), libfdisk1 (= 2.32.1-0.2), libffi-dev (= 3.2.1-9), libffi6 (= 3.2.1-9), libfile-stripnondeterminism-perl (= 1.0.0-1), libfile-which-perl (= 1.22-1), libfindlib-ocaml (= 1.7.3-2+b1), libgcc-8-dev (= 8.2.0-12), libgcc1 (= 1:8.2.0-12), libgcrypt20 (= 1.8.4-4), libgdbm-compat4 (= 1.18.1-2), libgdbm6 (= 1.18.1-2), libgetopt-tabular-perl (= 0.3-2), libglib2.0-0 (= 2.58.1-2), libgmp10 (= 2:6.1.2+dfsg-4), libgomp1 (= 8.2.0-12), libgpg-error0 (= 1.32-3), libicu63 (= 63.1-5), libisl19 (= 0.20-2), libllvm7 (= 1:7.0.1~+rc3-1), liblwip0 (= 2.0.3-3), liblzma5 (= 5.2.2-1.3), libmagic-mgc (= 1:5.34-2), libmagic1 (= 1:5.34-2), libmount1 (= 2.32.1-0.2), libmpc3 (= 1.1.0-1), libmpfr6 (= 4.0.1-1), libncurses-dev (= 6.1+20181013-1), libncurses5 (= 6.1+20181013-1), libncurses6 (= 6.1+20181013-1), libncursesw6 (= 6.1+20181013-1), libobjc-8-dev (= 8.2.0-12), libobjc4 (= 8.2.0-12), libocamlgraph-ocaml-dev (= 1.8.8-1), libpam-modules (= 1.1.8-3.8), libpam-modules-bin (= 1.1.8-3.8), libpam-runtime (= 1.1.8-3.8), libpam0g (= 1.1.8-3.8), libparted2 (= 3.2-23), libpciaccess0 (= 0.14-1), libpcre3 (= 2:8.39-11), libperl5.28 (= 5.28.1-2), libpipeline1 (= 1.5.0-2), libpython-stdlib (= 2.7.15-3), libpython2-stdlib (= 2.7.15-3), libpython2.7-minimal (= 2.7.15-5), libpython2.7-stdlib (= 2.7.15-5), libquadmath0 (= 8.2.0-12), libreadline7 (= 7.0-5), libregexp-common-perl (= 2017060201-1), libsigsegv2 (= 2.12-2), libsmartcols1 (= 2.32.1-0.2), libsqlite3-0 (= 3.26.0-3), libssl1.1 (= 1.1.1a-1), libstdc++-8-dev (= 8.2.0-12), libstdc++6 (= 8.2.0-12), libterm-readkey-perl (= 2.37-1+b2), libtinfo-dev (= 6.1+20181013-1), libtinfo5 (= 6.1+20181013-1), libtinfo6 (= 6.1+20181013-1), libtool (= 2.4.6-6), libunistring2 (= 0.9.10-1), libuuid1 (= 2.33-0.2), libx11-6 (= 2:1.6.7-1), libx11-data (= 2:1.6.7-1), libxau6 (= 1:1.0.8-1+b2), libxcb1 (= 1.13.1-1), libxdmcp6 (= 1:1.1.2-3), libxml2 (= 2.9.4+dfsg1-7+b2), libzarith-ocaml (= 1.7-1), llvm-7 (= 1:7.0.1~+rc3-1), llvm-7-dev (= 1:7.0.1~+rc3-1), llvm-7-runtime (= 1:7.0.1~+rc3-1), login (= 1:4.5-1.1), lsb-base (= 10.2018112800), m4 (= 1.4.18-2), make (= 4.1-9.1), man-db (= 2.8.4-3), mawk (= 1.3.3-17+b1), mime-support (= 3.61), ncurses-base (= 6.1+20181013-1), ncurses-bin (= 6.1+20181013-1), netdde (= 0.0.20150828-5), ocaml-base-nox (= 4.05.0-10+b1), ocaml-compiler-libs (= 4.05.0-10+b1), ocaml-interp (= 4.05.0-10+b1), ocaml-nox (= 4.05.0-10+b1), patch (= 2.7.6-2), perl (= 5.28.1-2), perl-base (= 5.28.1-2), perl-modules-5.28 (= 5.28.1-2), po-debconf (= 1.0.21), python (= 2.7.15-3), python-minimal (= 2.7.15-3), python2 (= 2.7.15-3), python2-minimal (= 2.7.15-3), python2.7 (= 2.7.15-5), python2.7-minimal (= 2.7.15-5), readline-common (= 7.0-5), sed (= 4.5-2), sensible-utils (= 0.0.12), startpar (= 0.59-4), sysv-rc (= 2.93-1), sysvinit-utils (= 2.93-1), tar (= 1.29b-1.1), util-linux (= 2.32.1-0.2), xkb-data (= 2.23.1-1), xz-utils (= 5.2.2-1.3), zlib1g (= 1:1.2.11.dfsg-1), zlib1g-dev (= 1:1.2.11.dfsg-1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="en_US.UTF-8" LC_ALL="POSIX" SOURCE_DATE_EPOCH="1544527465"