Format: 1.0 Source: creduce Binary: creduce Architecture: mips Version: 2.7.0-1 Checksums-Md5: 8a65ee195515f02f5ccfd23b27a33f1b 79389828 creduce-dbgsym_2.7.0-1_mips.deb 87ab26962deea2f6fcde07b6769b26a3 5306830 creduce_2.7.0-1_mips.deb Checksums-Sha1: 87192ec689fdd93347a75a2de99eab54c2a619de 79389828 creduce-dbgsym_2.7.0-1_mips.deb 54a509c49378d4cae31bfe746364a51f37d5bade 5306830 creduce_2.7.0-1_mips.deb Checksums-Sha256: 0265b5742949a3eb827c01bd1c31e67c8dfb0d3b7e6d18e55332447d44e29bbb 79389828 creduce-dbgsym_2.7.0-1_mips.deb 5728b5bb8604e27ab7b26d483f6eddc822531a1ae6fae0478e86236179174270 5306830 creduce_2.7.0-1_mips.deb Build-Origin: Debian Build-Architecture: mips Build-Date: Mon, 22 May 2017 00:08:54 +0000 Build-Path: /build/creduce-VO_E7U/creduce-2.7.0 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.9), base-passwd (= 3.5.43), bash (= 4.4-5), binfmt-support (= 2.1.6-2), binutils (= 2.28-5), bsdmainutils (= 9.0.12+nmu1), bsdutils (= 1:2.29.2-1), build-essential (= 12.3), bzip2 (= 1.0.6-8.1), clang-4.0 (= 1:4.0.1~+rc1-1), clang-format-4.0 (= 1:4.0.1~+rc1-1), coreutils (= 8.26-3), cpp (= 4:6.3.0-4), cpp-6 (= 6.3.0-18), dash (= 0.5.8-2.4), debconf (= 1.5.60), debhelper (= 10.2.5), debianutils (= 4.8.1.1), dh-autoreconf (= 14), dh-strip-nondeterminism (= 0.033-2), diffutils (= 1:3.5-3), dpkg (= 1.18.24), dpkg-dev (= 1.18.24), e2fslibs (= 1.43.4-2), e2fsprogs (= 1.43.4-2), file (= 1:5.30-1), findutils (= 4.6.0+git+20161106-2), flex (= 2.6.1-1.3), frama-c-base (= 20161101+silicon+dfsg-5+b1), g++ (= 4:6.3.0-4), g++-6 (= 6.3.0-18), gcc (= 4:6.3.0-4), gcc-6 (= 6.3.0-18), gcc-6-base (= 6.3.0-18), 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.48), intltool-debian (= 0.35.0+20060710.4), libacl1 (= 2.2.52-3+b1), libarchive-zip-perl (= 1.59-1), libatomic1 (= 6.3.0-18), libattr1 (= 1:2.4.47-2+b2), libaudit-common (= 1:2.6.7-2), libaudit1 (= 1:2.6.7-2), libbenchmark-timer-perl (= 0.7107-1), libblkid1 (= 2.29.2-1), libbsd-dev (= 0.8.3-1), libbsd0 (= 0.8.3-1), libbz2-1.0 (= 1.0.6-8.1), libc-bin (= 2.24-10), libc-dev-bin (= 2.24-10), libc6 (= 2.24-10), libc6-dev (= 2.24-10), libcap-ng0 (= 0.7.7-3+b1), libcc1-0 (= 6.3.0-18), libclang-4.0-dev (= 1:4.0.1~+rc1-1), libclang-common-4.0-dev (= 1:4.0.1~+rc1-1), libclang1-4.0 (= 1:4.0.1~+rc1-1), libcomerr2 (= 1.43.4-2), libcroco3 (= 0.6.11-3), libdb5.3 (= 5.3.28-12+b1), libdebconfclient0 (= 0.227), libdpkg-perl (= 1.18.24), 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.2-1), libffi-dev (= 3.2.1-6), libffi6 (= 3.2.1-6), libfile-stripnondeterminism-perl (= 0.033-2), libfile-which-perl (= 1.21-1), libfindlib-ocaml (= 1.6.2-1+b1), libgcc-6-dev (= 6.3.0-18), libgcc1 (= 1:6.3.0-18), libgcrypt20 (= 1.7.6-1), libgdbm3 (= 1.8.3-14), libgetopt-tabular-perl (= 0.3-2), libglib2.0-0 (= 2.50.3-2), libgmp10 (= 2:6.1.2+dfsg-1), libgomp1 (= 6.3.0-18), libgpg-error0 (= 1.26-2), libicu57 (= 57.1-6), libisl15 (= 0.18-1), libjsoncpp1 (= 1.7.4-3), libllvm4.0 (= 1:4.0.1~+rc1-1), liblz4-1 (= 0.0~r131-2+b1), liblzma5 (= 5.2.2-1.2+b1), libmagic-mgc (= 1:5.30-1), libmagic1 (= 1:5.30-1), libmount1 (= 2.29.2-1), libmpc3 (= 1.0.3-1+b2), 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-18), libobjc4 (= 6.3.0-18), 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-3), libperl5.24 (= 5.24.1-2), 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-3), libregexp-common-perl (= 2016060801-1), libselinux1 (= 2.6-3+b1), libsemanage-common (= 2.6-2), libsemanage1 (= 2.6-2), libsepol1 (= 2.6-2), libsigsegv2 (= 2.10-5), libsmartcols1 (= 2.29.2-1), libsqlite3-0 (= 3.16.2-3), libss2 (= 1.43.4-2), libssl1.1 (= 1.1.0e-2), libstdc++-6-dev (= 6.3.0-18), libstdc++6 (= 6.3.0-18), libsys-cpu-perl (= 0.61-2+b1), libsystemd0 (= 232-23), 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), libudev1 (= 232-23), libunistring0 (= 0.9.6+really0.9.3-0.1), libustr-1.0-1 (= 1.0.4-6), libuuid1 (= 2.29.2-1), libxml2 (= 2.9.4+dfsg1-2.2), libzarith-ocaml (= 1.4.1-2), linux-libc-dev (= 4.9.25-1), llvm-4.0 (= 1:4.0.1~+rc1-1), llvm-4.0-dev (= 1:4.0.1~+rc1-1), llvm-4.0-runtime (= 1:4.0.1~+rc1-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.2-1), multiarch-support (= 2.24-10), 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-2), perl-base (= 5.24.1-2), perl-modules-5.24 (= 5.24.1-2), 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-3), sed (= 4.4-1), sensible-utils (= 0.0.9), sysvinit-utils (= 2.88dsf-59.9), tar (= 1.29b-1.1), util-linux (= 2.29.2-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=4" SOURCE_DATE_EPOCH="1495401177"