2.40-3
all armhf
Debian
armhf
Fri, 21 Sep 2018 18:35:37 +0000
/build/why-2.40/2nd
caee8c0fa43798ce0987d9dd2557c79f43783ac8
libwhy-coq_2.40-3_all.deb
)
10c39b65d929d0c7c0cd2530998c9104c0104d18
ee772b3c48d894890fd878e7d04894ad347cc1c1a148cdb820e67fce1ff26a49
why_2.40-3_armhf.deb
)
5d2cdcc8686224cc42bb0aee7a20fe1cb089cf2a
79dce40a8d78f7333ce506ac3ce7499b2ae074c08e589eb2a6f2dd1fdb9d5c4d
why-dbgsym_2.40-3_armhf.deb
7da20900cd9cc2182526eebc3cdf460a6db85776
0x9538881E43D098FB
jtx1b (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1526201719"