Source
why
Version
2.38-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 30 Jun 2017 17:50:44 +0000
Build-Path
/build/1st/why-2.38

First submitted
Fri, 30 Jun 2017 18:22:45 +0000
SHA1 of .buildinfo
d371cc58989164e8e0ab6692c446f3fdd097ae36

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: b2e0f4b661c2bf5d6e137c0aa4ece9f98865c387
SHA256: c9002a7ee1bee75cccb88831f49dc1ff11e690c341250e8528b60de885631d0b

Size: 2,980,590 bytes

Other checksums

why-dbgsym_2.38-1_i386.deb
SHA1: d91d9ff563a9ad832412b175367815fb1321527c
Size: 81,276 bytes

Submissions

Submitted
Fri, 30 Jun 2017 18:22:46 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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