Source
why
Version
2.40-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 13 May 2018 04:41:38 +0000
Build-Path
/build/1st/why-2.40

First submitted
Sun, 13 May 2018 04:51:00 +0000
SHA1 of .buildinfo
5b0d354072fb7628813aede724c21093aa3e5780

Binaries

libwhy-coq (libwhy-coq_2.40-2_all.deb)
SHA1: aa6252af401b11c12e4dd6fe47f264b1376666c3
SHA256: 1655e63f7f66554448fa0d13a24ef821977b2d9e9208c06e741c7a792e0a993d

Size: 51,396 bytes
why (why_2.40-2_i386.deb)
SHA1: 548c1e874bbd3d72c1b0b5e8bc1c45898742369c
SHA256: 5988ee4d84002961c20b03e3b454dd93b21f0ae893f86f32f788575b5160f434

Size: 3,160,416 bytes

Other checksums

why-dbgsym_2.40-2_i386.deb
SHA1: 357127d9d6a75571e7089da850f5d3949031450a
Size: 99,820 bytes

Submissions

Submitted
Sun, 13 May 2018 04:51:00 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.40-2=/build/1st/why-2.40"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1526128582"