2.36-2
all armhf
Debian
armhf
Tue, 13 Dec 2016 09:00:57 +0000
/build/1st/why-2.36
49c2557efac825e4390a18b85f956baff9558009
libwhy-coq_2.36-2_all.deb
)
ab545dc7c40f129260109a5e74f91229751142c5
b1303684a7381b3764ea2f9cd519dc3ef867eae7f597250da3b9a22fe5c6c41a
why_2.36-2_armhf.deb
)
2b26077565a80d1711633bbce38034ecdcdd3b6b
499eadd2c23fcf3ad3238dafff97179586bf5abcdad265a3e5294b729a598179
why-dbgsym_2.36-2_armhf.deb
7651e9d179490aa23efdc912061fc0c63678048e
0xF7F2097D55C669EF
bbx15 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="parallel=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1476300810"