Source
why
Version
2.39-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 28 Jan 2018 21:51:59 +0000
Build-Path
/build/1st/why-2.39

First submitted
Sun, 28 Jan 2018 22:00:58 +0000
SHA1 of .buildinfo
bf7d95256bee3524c87dc25cfd183ab3e7e39e7a

Binaries

libwhy-coq (libwhy-coq_2.39-2_all.deb)
SHA1: 02d6357295e4e6524a8c61a989671412c9f4690a
SHA256: 5cce23a1bdf0c77931abb02bca15b48fed4e807125eb9601933c782f3508584c

Size: 51,104 bytes
why (why_2.39-2_armhf.deb)
SHA1: c58569f96e7d063d148765c47ae722a594ce5aa1
SHA256: 1a713a630f1544f6a06bfcb5b4924911804cea481f11b0ac493d43d63d6a7c4d

Size: 3,299,984 bytes

Other checksums

why-dbgsym_2.39-2_armhf.deb
SHA1: 7d52567b075625e3361ffd6ff0be647c6595cad0
Size: 101,788 bytes

Submissions

Submitted
Sun, 28 Jan 2018 22:01:00 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.39-2=/build/1st/why-2.39"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507789552"