why_2.39-2_all.buildinfo (view)

Source
why
Version
2.39-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 20 Oct 2017 01:06:45 +0000
Build-Path
/build/why-2.39/2nd

First submitted
Fri, 20 Oct 2017 01:08:59 +0000
SHA1 of .buildinfo
82c93e21a02f84130873dca7d7d39e242a0b9f59

Binaries

libwhy-coq (libwhy-coq_2.39-2_all.deb)
SHA1: d73d12753fa34597b504082309dfaf30ddbf2f5d
SHA256: 1932b35b465cc678b75b6e58ec16f4829ad9ee3800a3fbed10aac06a349e9f3e

Size: 51,356 bytes
why (why_2.39-2_amd64.deb)
SHA1: 65860d4c3e83a3413d84678d6f9d76db6a56f385
SHA256: ee80da18c7d6e556b724fd8ff2780c5885c6021b0ddcf2c75254d6d0a08d68b2

Size: 3,483,960 bytes

Other checksums

why-dbgsym_2.39-2_amd64.deb
SHA1: 6b25dc8fbd1ca3221881145455d190615b18ce1c
Size: 103,028 bytes

Submissions

hjb7kdki
Submitted
Fri, 20 Oct 2017 01:09:00 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.39-2=/build/why-2.39/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507789552"