Source
why
Version
2.38-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 12 May 2017 22:12:48 +0000
Build-Path
/build/why-2.38/2nd

First submitted
Fri, 12 May 2017 22:15:35 +0000
SHA1 of .buildinfo
beed2d08e0fee8977495098b2f1e731f51217ffd

Binaries

libwhy-coq (libwhy-coq_2.38-1_all.deb)
SHA1: 7b5b159610c561f53476febcbe475fb0666375b7
SHA256: bc4762765fb544205be51b10902c00503cf26f42719f7fcbe5bc27890188e906

Size: 50,746 bytes
why (why_2.38-1_i386.deb)
SHA1: 268a00a3f412dc0c539be8c1ad1abf8de16b0fad
SHA256: 5d92e6dc2d4d7161ad6c17f052ad49101fa122a8ed64590f0d5a6602288a705e

Size: 2,982,542 bytes

Other checksums

why-dbgsym_2.38-1_i386.deb
SHA1: dfef39bc856f08425e92767e13c5bf6b089bf86f
Size: 81,392 bytes

Submissions

Submitted
Fri, 12 May 2017 22:15:36 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.38-1=/build/why-2.38/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1493015131"