Source
why
Version
2.36-5
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 15 Apr 2017 22:03:47 +0000
Build-Path
/build/1st/why-2.36

First submitted
Sat, 15 Apr 2017 22:26:23 +0000
SHA1 of .buildinfo
2a3a3cc91572cd5be074b2866287eba5f6129ed1

Binaries

libwhy-coq (libwhy-coq_2.36-5_all.deb)
SHA1: 21d896fe6b325380ebf76f89ff76d1669fc36ded
SHA256: 212b50797b3a8cfbcea4adb148d5e890b54a3d0d6f91dbe6147b95c258374b62

Size: 50,490 bytes
why (why_2.36-5_armhf.deb)
SHA1: 43075ff459f053d014f4aa22239254b882667829
SHA256: 094f22cc6ca8eeecd515be787cdfe234210cf674c0e3d1c4cf518e22048f44c7

Size: 1,620,818 bytes

Other checksums

Submissions

Submitted
Sat, 15 Apr 2017 22:26:25 +0000
Signed by
0x4DA7D98C89CA6113 hb0 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.36-5=/build/1st/why-2.36"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482840798"