2.40-3
all arm64
Debian
arm64
Fri, 13 Sep 2019 01:13:01 +0000
/build/why-2.40/2nd
591b6e9ee66ba537f7b8816cf8c95f293b8ab0ac
libwhy-coq_2.40-3_all.deb
)
d910eec388727fa6dd0e6d186c924189f7b9897b
9ff215b0499bb68a7d4d7c9d9c88cd6151a1e6de21a632720778db80ef19a10d
why_2.40-3_arm64.deb
)
791ed12ad262bcb34b555a2c61465bcb6ade6a14
3ce7b04691aad5ff8b164bec1f6dd680adcccc65d6f2f4fc3d17445fab488f95
why-dbgsym_2.40-3_arm64.deb
5a2c8b86eec2a2694af3210d3fdb9fc2c8bd99d2
0xAAA3AE5F86A5D0BA
codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1526201719"