Source
why
Version
2.40-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 12 May 2018 20:57:25 +0000
Build-Path
/build/1st/why-2.40

First submitted
Sat, 12 May 2018 21:50:00 +0000
SHA1 of .buildinfo
692195f83c839aab95e0e23aef84c582a3a2ea82

Binaries

libwhy-coq (libwhy-coq_2.40-2_all.deb)
SHA1: baed64f584114dd37340fcf85a8522c7981ea30b
SHA256: 11db524bbafbfa1fbf5d2ce080aa2e8cde1e598dba2da649563121be9ff50d5f

Size: 51,424 bytes
why (why_2.40-2_armhf.deb)
SHA1: 27fb65fcdcccdc229ed732b237fd22f4d607e329
SHA256: 7384d392626df9ce8e7e8a3870cfba4590c85fcf77b1aa1bd6315a40441aa497

Size: 3,235,512 bytes

Other checksums

why-dbgsym_2.40-2_armhf.deb
SHA1: 0e89be4f302ff714cb059ee7ba2887c719c9fa20
Size: 100,936 bytes

Submissions

Submitted
Sat, 12 May 2018 21:50:01 +0000
Signed by
0x3B7B0B0B40A455E9 opi2a (Automatically generated key for signing .buildinfo files)

Environment


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