Format: 1.0 Source: creduce Binary: creduce Architecture: amd64 source Version: 2.7~20170317-1 Checksums-Md5: 2d97d1e1a40eafce91954eb239dda1ec 1219 creduce_2.7~20170317-1.dsc 446752d79977692382a90b6b77de1c74 73747834 creduce-dbgsym_2.7~20170317-1_amd64.deb 5751978c797d2b25ab5ad18a9df406d2 5361838 creduce_2.7~20170317-1_amd64.deb Checksums-Sha1: deabc78f085838b178dc456761bf5b8d1a5a8d3c 1219 creduce_2.7~20170317-1.dsc 3b3c7fad6b507cb45ab595318ec92f424610831e 73747834 creduce-dbgsym_2.7~20170317-1_amd64.deb 5bce323bf5d6edc3f0d413cced5253cb77c2cb3c 5361838 creduce_2.7~20170317-1_amd64.deb Checksums-Sha256: e9eae9a9db45eabab90b3e4a93b589ce0d571663b4936f008e98445dd5e28c1d 1219 creduce_2.7~20170317-1.dsc 0d2292a7a11a42080796dc92a5a600c51b7260ca766409ca9038ddc4aa0f7163 73747834 creduce-dbgsym_2.7~20170317-1_amd64.deb 73d7821da89b98a706294bab4e684630cd02d7d04355abff1b7dc0ec644d3016 5361838 creduce_2.7~20170317-1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Mon, 22 May 2017 01:58:38 +0000 Build-Path: /build/creduce-mMIV6s/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.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.61), 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), libasan3 (= 6.3.0-18), 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), libcilkrts5 (= 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), libgc1c2 (= 1:7.4.2-8), 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), libitm1 (= 6.3.0-18), libjsoncpp1 (= 1.7.4-3), libllvm4.0 (= 1:4.0.1~+rc1-1), liblsan0 (= 6.3.0-18), 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), libmpx2 (= 6.3.0-18), 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.26 (= 5.26.0~rc1-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), libquadmath0 (= 6.3.0-18), 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+b2), libsystemd0 (= 232-23), libterm-readkey-perl (= 2.37-1+b1), libtimedate-perl (= 2.3000-2), libtinfo-dev (= 6.0+20161126-1), libtinfo5 (= 6.0+20161126-1), libtool (= 2.4.6-2), libtsan0 (= 6.3.0-18), libubsan0 (= 6.3.0-18), 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.26.0~rc1-1), perl-base (= 5.26.0~rc1-1), perl-modules-5.26 (= 5.26.0~rc1-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-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" LANG="en_GB.UTF-8" LC_ALL="POSIX" SOURCE_DATE_EPOCH="1489747742"