2.39-2
all armhf
Debian
armhf
Sun, 31 Dec 2017 21:27:42 +0000
/build/why-2.39/2nd
8a26e74af24b5a90ce5c8be2f89aa338a42fc7a2
libwhy-coq_2.39-2_all.deb
)
02d6357295e4e6524a8c61a989671412c9f4690a
5cce23a1bdf0c77931abb02bca15b48fed4e807125eb9601933c782f3508584c
why_2.39-2_armhf.deb
)
b2b0aa75a5c77918cc1e64b71291e6fa7542a064
e4581f4954b55ffd3912d200ee595a03c5146cde401bbe46d069b0af541ea5c4
why-dbgsym_2.39-2_armhf.deb
b44a59c2a1129729316106364a0d58080a39cc39
0xC7E7F3E4B48B3CE6
opi2b (Automatically generated key for signing .buildinfo files)
BUILD_PATH_PREFIX_MAP="why_2.39-2=/build/why-2.39/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507789552"