Format: 1.0 Source: creduce Binary: creduce Architecture: ppc64el Version: 2.7~20170317-1 Checksums-Md5: 4e2f7e6c5505f84e0273be6da526f0ed 74124664 creduce-dbgsym_2.7~20170317-1_ppc64el.deb 3ed74ccfca52aeec3de3e30fcff3ca45 4811982 creduce_2.7~20170317-1_ppc64el.deb Checksums-Sha1: f8cd47454f09a6f83a8b677bb60753672d574905 74124664 creduce-dbgsym_2.7~20170317-1_ppc64el.deb a253b75d8fbef2c9733d5c665a442589232ac834 4811982 creduce_2.7~20170317-1_ppc64el.deb Checksums-Sha256: d55d23cb597a77db5b76f58490ade889da02941e54d7943113a95e987a2c8980 74124664 creduce-dbgsym_2.7~20170317-1_ppc64el.deb 7a163485643b442a0ea65eecbedfb6af6495a410dff4cae4b7b9bc6a8406afa8 4811982 creduce_2.7~20170317-1_ppc64el.deb Build-Origin: Debian Build-Architecture: ppc64el Build-Date: Fri, 17 Mar 2017 11:51:52 +0000 Build-Path: /build/creduce-QZI0Il/creduce-2.7~20170317 Installed-Build-Depends: autoconf (= 2.69-10), automake (= 1:1.15-6), autopoint (= 0.19.8.1-2), autotools-dev (= 20161112.1), base-files (= 9.8), base-passwd (= 3.5.43), bash (= 4.4-4+b1), binfmt-support (= 2.1.6-2), binutils (= 2.28-2), bsdmainutils (= 9.0.12), bsdutils (= 1:2.29.1-1), build-essential (= 12.3), bzip2 (= 1.0.6-8.1), clang-4.0 (= 1:4.0-1), clang-format-4.0 (= 1:4.0-1), coreutils (= 8.26-3), cpp (= 4:6.3.0-1), cpp-6 (= 6.3.0-9), dash (= 0.5.8-2.4), debconf (= 1.5.60), debhelper (= 10.2.5), debianutils (= 4.8.1), dh-autoreconf (= 13), dh-strip-nondeterminism (= 0.032-1), diffutils (= 1:3.5-3), dpkg (= 1.18.23), dpkg-dev (= 1.18.23), e2fslibs (= 1.43.4-2), e2fsprogs (= 1.43.4-2), file (= 1:5.29-3), findutils (= 4.6.0+git+20161106-2), flex (= 2.6.1-1.3), frama-c-base (= 20161101+silicon+dfsg-5), g++ (= 4:6.3.0-1), g++-6 (= 6.3.0-9), gcc (= 4:6.3.0-1), gcc-6 (= 6.3.0-9), gcc-6-base (= 6.3.0-9), gettext (= 0.19.8.1-2), gettext-base (= 0.19.8.1-2), grep (= 2.27-2), groff-base (= 1.22.3-9), gzip (= 1.6-5+b1), hostname (= 3.18+b1), init-system-helpers (= 1.47), intltool-debian (= 0.35.0+20060710.4), libacl1 (= 2.2.52-3+b1), libarchive-zip-perl (= 1.59-1), libasan3 (= 6.3.0-9), libatomic1 (= 6.3.0-9), libattr1 (= 1:2.4.47-2+b2), libaudit-common (= 1:2.6.7-1), libaudit1 (= 1:2.6.7-1), libbenchmark-timer-perl (= 0.7107-1), libblkid1 (= 2.29.1-1), libbsd-dev (= 0.8.3-1), libbsd0 (= 0.8.3-1), libbz2-1.0 (= 1.0.6-8.1), libc-bin (= 2.24-9), libc-dev-bin (= 2.24-9), libc6 (= 2.24-9), libc6-dev (= 2.24-9), libcap-ng0 (= 0.7.7-3+b1), libcc1-0 (= 6.3.0-9), libclang-4.0-dev (= 1:4.0-1), libclang-common-4.0-dev (= 1:4.0-1), libclang1-4.0 (= 1:4.0-1), libcomerr2 (= 1.43.4-2), libcroco3 (= 0.6.11-2), libdb5.3 (= 5.3.28-12+b1), libdebconfclient0 (= 0.226), libdpkg-perl (= 1.18.23), libedit-dev (= 3.1-20160903-3), libedit2 (= 3.1-20160903-3), libexpat1 (= 2.2.0-2), libexporter-lite-perl (= 0.08-1), libfdisk1 (= 2.29.1-1), libffi-dev (= 3.2.1-6), libffi6 (= 3.2.1-6), libfile-stripnondeterminism-perl (= 0.032-1), libfile-which-perl (= 1.21-1), libfindlib-ocaml (= 1.6.2-1+b1), libgc1c2 (= 1:7.4.2-8), libgcc-6-dev (= 6.3.0-9), libgcc1 (= 1:6.3.0-9), libgcrypt20 (= 1.7.6-1), libgdbm3 (= 1.8.3-14), libgetopt-tabular-perl (= 0.3-2), libglib2.0-0 (= 2.50.3-1), libgmp10 (= 2:6.1.2+dfsg-1), libgomp1 (= 6.3.0-9), libgpg-error0 (= 1.26-2), libicu57 (= 57.1-5), libisl15 (= 0.18-1), libitm1 (= 6.3.0-9), libjsoncpp1 (= 1.7.4-3), libllvm4.0 (= 1:4.0-1), liblz4-1 (= 0.0~r131-2+b1), liblzma5 (= 5.2.2-1.2+b1), libmagic-mgc (= 1:5.29-3), libmagic1 (= 1:5.29-3), libmount1 (= 2.29.1-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-9), libobjc4 (= 6.3.0-9), 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.1), libperl5.24 (= 5.24.1-1), libpipeline1 (= 1.4.1-2), libpython-stdlib (= 2.7.13-2), libpython2.7-minimal (= 2.7.13-2), libpython2.7-stdlib (= 2.7.13-2), libreadline7 (= 7.0-2), 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-1), libsqlite3-0 (= 3.16.2-3), libss2 (= 1.43.4-2), libssl1.1 (= 1.1.0e-1), libstdc++-6-dev (= 6.3.0-9), libstdc++6 (= 6.3.0-9), libsys-cpu-perl (= 0.61-2+b1), libsystemd0 (= 232-20), 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-9), libudev1 (= 232-19), libunistring0 (= 0.9.6+really0.9.3-0.1), libustr-1.0-1 (= 1.0.4-6), libuuid1 (= 2.29.1-1), libxml2 (= 2.9.4+dfsg1-2.2), libzarith-ocaml (= 1.4.1-2), linux-libc-dev (= 4.9.13-1), llvm-4.0 (= 1:4.0-1), llvm-4.0-dev (= 1:4.0-1), llvm-4.0-runtime (= 1:4.0-1), login (= 1:4.4-4), lsb-base (= 9.20161125), m4 (= 1.4.18-1), make (= 4.1-9.1), man-db (= 2.7.6.1-2), mawk (= 1.3.3-17+b3), mime-support (= 3.60), mount (= 2.29.1-1), multiarch-support (= 2.24-9), 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-4), patch (= 2.7.5-1+b2), perl (= 5.24.1-1), perl-base (= 5.24.1-1), perl-modules-5.24 (= 5.24.1-1), po-debconf (= 1.0.20), python (= 2.7.13-2), python-minimal (= 2.7.13-2), python2.7 (= 2.7.13-2), python2.7-minimal (= 2.7.13-2), readline-common (= 7.0-2), sed (= 4.4-1), sensible-utils (= 0.0.9), sysvinit-utils (= 2.88dsf-59.9), tar (= 1.29b-1.1), util-linux (= 2.29.1-1), xz-utils (= 5.2.2-1.2+b1), zlib1g (= 1:1.2.8.dfsg-5), zlib1g-dev (= 1:1.2.8.dfsg-5) Environment: DEB_BUILD_OPTIONS="parallel=8" SOURCE_DATE_EPOCH="1489747742"