Format: 1.0 Source: creduce Binary: creduce Architecture: hurd-i386 Version: 2.9~20181016-1 Checksums-Md5: 83b4d2b4bca108a0d0b2b2679c875071 94696108 creduce-dbgsym_2.9~20181016-1_hurd-i386.deb 255e1cbaef0f98d8787bf78dbed7ca8f 5972000 creduce_2.9~20181016-1_hurd-i386.deb Checksums-Sha1: 9113d381a3842abe92c6cbc08e2182108c8cd4a5 94696108 creduce-dbgsym_2.9~20181016-1_hurd-i386.deb 1555576b3e612a41f7f6bca759a5fad513a46224 5972000 creduce_2.9~20181016-1_hurd-i386.deb Checksums-Sha256: d2c0e4555badf2e72b981e0cfad206c477f6928050e2215182f13417c5aea49c 94696108 creduce-dbgsym_2.9~20181016-1_hurd-i386.deb 0b307f0c5e15314f48583df429e0df1a4cc1dce9b2ae7bf4a1931f7c3612827e 5972000 creduce_2.9~20181016-1_hurd-i386.deb Build-Origin: Debian Build-Architecture: hurd-i386 Build-Date: Thu, 22 Nov 2018 12:40:19 +0000 Build-Path: /build/creduce-w44I3H/creduce-2.9~20181016 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-7), binutils-common (= 2.31.1-7), binutils-i686-gnu (= 2.31.1-7), 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~+rc2-5), clang-format-7 (= 1:7.0.1~+rc2-5), coreutils (= 8.30-1), cpp (= 4:8.2.0-2), cpp-8 (= 8.2.0-9), dash (= 0.5.7-4), debconf (= 1.5.69), debhelper (= 11.5.3), debianutils (= 4.8.6), dh-autoreconf (= 19), dh-strip-nondeterminism (= 0.45.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-9), gcc (= 4:8.2.0-2), gcc-8 (= 8.2.0-9), gcc-8-base (= 8.2.0-9), 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.55), 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-9), libattr1 (= 1:2.4.47-2+b1), libbenchmark-timer-perl (= 0.7112-1), libbinutils (= 2.31.1-7), libblkid1 (= 2.32.1-0.2), libbsd-dev (= 0.9.1-1), libbsd0 (= 0.9.1-1), libbz2-1.0 (= 1.0.6-9), libc-bin (= 2.27-8), libc-dev-bin (= 2.27-8), libc0.3 (= 2.27-8), libc0.3-dev (= 2.27-8), libcc1-0 (= 8.2.0-9), libclang-7-dev (= 1:7.0.1~+rc2-5), libclang-common-7-dev (= 1:7.0.1~+rc2-5), libclang1-7 (= 1:7.0.1~+rc2-5), 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-8), libffi6 (= 3.2.1-8), libfile-stripnondeterminism-perl (= 0.45.0-1), libfile-which-perl (= 1.22-1), libfindlib-ocaml (= 1.7.3-2+b1), libgcc-8-dev (= 8.2.0-9), libgcc1 (= 1:8.2.0-9), libgcrypt20 (= 1.8.4-3), libgdbm-compat4 (= 1.18.1-1), libgdbm6 (= 1.18.1-1), libgetopt-tabular-perl (= 0.3-2), libglib2.0-0 (= 2.58.1-2), libgmp10 (= 2:6.1.2+dfsg-3), libgomp1 (= 8.2.0-9), libgpg-error0 (= 1.32-3), libicu63 (= 63.1-4), libisl19 (= 0.20-2), libllvm7 (= 1:7.0.1~+rc2-5), 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-9), libobjc4 (= 8.2.0-9), libocamlgraph-ocaml-dev (= 1.8.6-1+b5), 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.0-3), libpipeline1 (= 1.5.0-2), libpython-stdlib (= 2.7.15-3), libpython2-stdlib (= 2.7.15-3), libpython2.7-minimal (= 2.7.15-4), libpython2.7-stdlib (= 2.7.15-4), libquadmath0 (= 8.2.0-9), libreadline7 (= 7.0-5), libregexp-common-perl (= 2017060201-1), libsigsegv2 (= 2.12-2), libsmartcols1 (= 2.32.1-0.2), libsqlite3-0 (= 3.25.3-1), libssl1.1 (= 1.1.1-2), libstdc++-8-dev (= 8.2.0-9), libstdc++6 (= 8.2.0-9), 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.32.1-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~+rc2-5), llvm-7-dev (= 1:7.0.1~+rc2-5), llvm-7-runtime (= 1:7.0.1~+rc2-5), login (= 1:4.5-1.1), lsb-base (= 9.20170808), m4 (= 1.4.18-1), 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.0-3), perl-base (= 5.28.0-3), perl-modules-5.28 (= 5.28.0-3), 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-4), python2.7-minimal (= 2.7.15-4), readline-common (= 7.0-5), sed (= 4.5-2), sensible-utils (= 0.0.12), startpar (= 0.59-4), sysv-rc (= 2.88dsf-59.11), sysvinit-utils (= 2.88dsf-59.11), 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_GB.UTF-8" LC_ALL="POSIX" SOURCE_DATE_EPOCH="1539677317"