2.40-2
all armhf
Debian
armhf
Sat, 12 May 2018 20:57:25 +0000
/build/1st/why-2.40
692195f83c839aab95e0e23aef84c582a3a2ea82
libwhy-coq_2.40-2_all.deb
)
baed64f584114dd37340fcf85a8522c7981ea30b
11db524bbafbfa1fbf5d2ce080aa2e8cde1e598dba2da649563121be9ff50d5f
why_2.40-2_armhf.deb
)
27fb65fcdcccdc229ed732b237fd22f4d607e329
7384d392626df9ce8e7e8a3870cfba4590c85fcf77b1aa1bd6315a40441aa497
why-dbgsym_2.40-2_armhf.deb
0e89be4f302ff714cb059ee7ba2887c719c9fa20
0x3B7B0B0B40A455E9
opi2a (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=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1526128582"