2.40-2
all i386
Debian
i386
Sun, 13 May 2018 04:41:38 +0000
/build/1st/why-2.40
5b0d354072fb7628813aede724c21093aa3e5780
libwhy-coq_2.40-2_all.deb
)
aa6252af401b11c12e4dd6fe47f264b1376666c3
1655e63f7f66554448fa0d13a24ef821977b2d9e9208c06e741c7a792e0a993d
why_2.40-2_i386.deb
)
548c1e874bbd3d72c1b0b5e8bc1c45898742369c
5988ee4d84002961c20b03e3b454dd93b21f0ae893f86f32f788575b5160f434
why-dbgsym_2.40-2_i386.deb
357127d9d6a75571e7089da850f5d3949031450a
0xA6B59AB7CD69D4AC
profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)
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"