Source
why
Version
2.36-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 13 Dec 2016 09:00:57 +0000
Build-Path
/build/1st/why-2.36

First submitted
Tue, 13 Dec 2016 09:12:22 +0000
SHA1 of .buildinfo
49c2557efac825e4390a18b85f956baff9558009

Binaries

libwhy-coq (libwhy-coq_2.36-2_all.deb)
SHA1: ab545dc7c40f129260109a5e74f91229751142c5
SHA256: b1303684a7381b3764ea2f9cd519dc3ef867eae7f597250da3b9a22fe5c6c41a

Size: 49,508 bytes
why (why_2.36-2_armhf.deb)
SHA1: 2b26077565a80d1711633bbce38034ecdcdd3b6b
SHA256: 499eadd2c23fcf3ad3238dafff97179586bf5abcdad265a3e5294b729a598179

Size: 3,560,846 bytes

Other checksums

why-dbgsym_2.36-2_armhf.deb
SHA1: 7651e9d179490aa23efdc912061fc0c63678048e
Size: 95,142 bytes

Submissions

Submitted
Tue, 13 Dec 2016 09:12:23 +0000
Signed by
0xF7F2097D55C669EF bbx15 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1476300810"