Format: 0.2 Source: creduce Binary: creduce Architecture: ppc64el Version: 2.6.0-1 Checksums-Md5: 193e422a0d7e55db4295ed0dc686544c 72109188 creduce-dbgsym_2.6.0-1_ppc64el.deb ecb7a1414d561a3b87dbda47b66865f0 4594704 creduce_2.6.0-1_ppc64el.deb Checksums-Sha1: be0eab066c095f331305002947e867cb70f5086d 72109188 creduce-dbgsym_2.6.0-1_ppc64el.deb 8d768712b048f1eb663a7e41c044618032ea46eb 4594704 creduce_2.6.0-1_ppc64el.deb Checksums-Sha256: 5fbfb3f88161d020b0dc69144d2dc21f0f1f14f28b7de9bdd3e8095a750e6314 72109188 creduce-dbgsym_2.6.0-1_ppc64el.deb ea607f7e403c4963e99f4ef6ab4a9de2ca9a5964c150e830fc35fff304f47ee2 4594704 creduce_2.6.0-1_ppc64el.deb Build-Origin: Debian Build-Architecture: ppc64el Build-Date: Sun, 08 Jan 2017 22:47:38 +0000 Build-Path: /build/creduce-T1NUxC/creduce-2.6.0 Installed-Build-Depends: autoconf (= 2.69-10), automake (= 1:1.15-5), autopoint (= 0.19.8.1-1), autotools-dev (= 20161112.1), base-files (= 9.7), base-passwd (= 3.5.42), bash (= 4.4-2), binfmt-support (= 2.1.6-2), binutils (= 2.27.90.20161231-1), bsdmainutils (= 9.0.12), bsdutils (= 1:2.29-1), build-essential (= 12.2), bzip2 (= 1.0.6-8), clang-3.9 (= 1:3.9.1-1), clang-format-3.9 (= 1:3.9.1-1), coreutils (= 8.26-1), cpp (= 4:6.2.1-1), cpp-6 (= 6.3.0-2), dash (= 0.5.8-2.3), debconf (= 1.5.59), debhelper (= 10.2.3), debianutils (= 4.8.1), dh-autoreconf (= 13), dh-strip-nondeterminism (= 0.029-2), diffutils (= 1:3.5-1), dpkg (= 1.18.18), dpkg-dev (= 1.18.18), e2fslibs (= 1.43.3-1), e2fsprogs (= 1.43.3-1), file (= 1:5.29-2), findutils (= 4.6.0+git+20161106-1), flex (= 2.6.1-1.3), frama-c-base (= 20161101+silicon+dfsg-4), g++ (= 4:6.2.1-1), g++-6 (= 6.3.0-2), gcc (= 4:6.2.1-1), gcc-6 (= 6.3.0-2), gcc-6-base (= 6.3.0-2), gettext (= 0.19.8.1-1), gettext-base (= 0.19.8.1-1), grep (= 2.27-1), groff-base (= 1.22.3-9), gzip (= 1.6-5), hostname (= 3.18), init-system-helpers (= 1.46), intltool-debian (= 0.35.0+20060710.4), libacl1 (= 2.2.52-3), libarchive-zip-perl (= 1.59-1), libasan3 (= 6.3.0-2), libatomic1 (= 6.3.0-2), libattr1 (= 1:2.4.47-2), libaudit-common (= 1:2.6.7-1), libaudit1 (= 1:2.6.7-1), libbenchmark-timer-perl (= 0.7107-1), libblkid1 (= 2.29-1), libbsd-dev (= 0.8.3-1), libbsd0 (= 0.8.3-1), libbz2-1.0 (= 1.0.6-8), libc-bin (= 2.24-8), libc-dev-bin (= 2.24-8), libc6 (= 2.24-8), libc6-dev (= 2.24-8), libcap-ng0 (= 0.7.7-3), libcc1-0 (= 6.3.0-2), libclang-3.9-dev (= 1:3.9.1-1), libclang-common-3.9-dev (= 1:3.9.1-1), libclang1-3.9 (= 1:3.9.1-1), libcomerr2 (= 1.43.3-1), libcroco3 (= 0.6.11-2), libdb5.3 (= 5.3.28-12), libdebconfclient0 (= 0.219), libdpkg-perl (= 1.18.18), libedit-dev (= 3.1-20160903-2), libedit2 (= 3.1-20160903-2), libexpat1 (= 2.2.0-2), libexporter-lite-perl (= 0.08-1), libfdisk1 (= 2.29-1), libffi-dev (= 3.2.1-6), libffi6 (= 3.2.1-6), libfile-stripnondeterminism-perl (= 0.029-2), libfile-which-perl (= 1.21-1), libfindlib-ocaml (= 1.6.2-1), libgc1c2 (= 1:7.4.2-8), libgcc-6-dev (= 6.3.0-2), libgcc1 (= 1:6.3.0-2), libgcrypt20 (= 1.7.5-2), libgdbm3 (= 1.8.3-14), libgetopt-tabular-perl (= 0.3-2), libglib2.0-0 (= 2.50.2-2), libgmp10 (= 2:6.1.2+dfsg-1), libgomp1 (= 6.3.0-2), libgpg-error0 (= 1.26-1), libicu57 (= 57.1-5), libisl15 (= 0.18-1), libitm1 (= 6.3.0-2), libjsoncpp1 (= 1.7.4-3), libllvm3.9 (= 1:3.9.1-1), liblz4-1 (= 0.0~r131-2), liblzma5 (= 5.2.2-1.2), libmagic-mgc (= 1:5.29-2), libmagic1 (= 1:5.29-2), libmount1 (= 2.29-1), libmpc3 (= 1.0.3-1), libmpfr4 (= 3.1.5-1), libncurses5 (= 6.0+20161126-1), libncurses5-dev (= 6.0+20161126-1), libncursesw5 (= 6.0+20161126-1), libobjc-6-dev (= 6.3.0-2), libobjc4 (= 6.3.0-2), libocamlgraph-ocaml-dev (= 1.8.6-1+b2), libpam-modules (= 1.1.8-3.5), libpam-modules-bin (= 1.1.8-3.5), libpam-runtime (= 1.1.8-3.5), libpam0g (= 1.1.8-3.5), libpcre3 (= 2:8.39-2), libperl5.24 (= 5.24.1~rc4-1), libpipeline1 (= 1.4.1-2), libpython-stdlib (= 2.7.13-1), libpython2.7-minimal (= 2.7.13-1), libpython2.7-stdlib (= 2.7.13-1), libreadline7 (= 7.0-1), libregexp-common-perl (= 2016060801-1), libselinux1 (= 2.6-3), libsemanage-common (= 2.6-2), libsemanage1 (= 2.6-2), libsepol1 (= 2.6-2), libsigsegv2 (= 2.10-5), libsmartcols1 (= 2.29-1), libsqlite3-0 (= 3.16.2-1), libss2 (= 1.43.3-1), libssl1.1 (= 1.1.0c-2), libstdc++-6-dev (= 6.3.0-2), libstdc++6 (= 6.3.0-2), libsys-cpu-perl (= 0.61-2+b1), libsystemd0 (= 232-8), libterm-readkey-perl (= 2.37-1), libtimedate-perl (= 2.3000-2), libtinfo-dev (= 6.0+20161126-1), libtinfo5 (= 6.0+20161126-1), libtool (= 2.4.6-2), libubsan0 (= 6.3.0-2), libudev1 (= 232-8), libunistring0 (= 0.9.6+really0.9.3-0.1), libustr-1.0-1 (= 1.0.4-6), libuuid1 (= 2.29-1), libxml2 (= 2.9.4+dfsg1-2.1), libzarith-ocaml (= 1.4.1-1), linux-libc-dev (= 4.8.15-2), llvm-3.9 (= 1:3.9.1-1), llvm-3.9-dev (= 1:3.9.1-1), llvm-3.9-runtime (= 1:3.9.1-1), login (= 1:4.4-1), lsb-base (= 9.20161125), m4 (= 1.4.18-1), make (= 4.1-9), man-db (= 2.7.6.1-2), mawk (= 1.3.3-17+b1), mime-support (= 3.60), mount (= 2.29-1), ncurses-base (= 6.0+20161126-1), ncurses-bin (= 6.0+20161126-1), ocaml-base-nox (= 4.02.3-9), ocaml-compiler-libs (= 4.02.3-9), ocaml-interp (= 4.02.3-9), ocaml-nox (= 4.02.3-9), passwd (= 1:4.4-1), patch (= 2.7.5-1), perl (= 5.24.1~rc4-1), perl-base (= 5.24.1~rc4-1), perl-modules-5.24 (= 5.24.1~rc4-1), po-debconf (= 1.0.20), python (= 2.7.13-1), python2.7 (= 2.7.13-1), python2.7-minimal (= 2.7.13-1), readline-common (= 7.0-1), sed (= 4.3-3), sensible-utils (= 0.0.9), sysvinit-utils (= 2.88dsf-59.8), tar (= 1.29b-1.1), util-linux (= 2.29-1), xz-utils (= 5.2.2-1.2), zlib1g (= 1:1.2.8.dfsg-4), zlib1g-dev (= 1:1.2.8.dfsg-4) Environment: DEB_BUILD_OPTIONS="parallel=4" SOURCE_DATE_EPOCH="1483912538"