2.40-3
all armhf
Debian
armhf
Mon, 22 Oct 2018 02:41:05 +0000
/build/why-2.40/2nd
d17ebb74a3ec0546ce5beb3b17caa4b653cc1d54
libwhy-coq_2.40-3_all.deb
)
10c39b65d929d0c7c0cd2530998c9104c0104d18
ee772b3c48d894890fd878e7d04894ad347cc1c1a148cdb820e67fce1ff26a49
why_2.40-3_armhf.deb
)
042f546a9146cde8e57e0041eaaa020ce5276e9a
54f0a94acaa426fd531ccd61489eef07a54d266f10377fde552129b12335f2fb
why-dbgsym_2.40-3_armhf.deb
f41202e5c34467519a7e340febfcff52fc14a0db
0x684E31FF38B7D0B7
jtk1a (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1526201719"