Source
why
Version
2.39-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 14 Dec 2018 10:42:34 +0000
Build-Path
/build/1st/why-2.39

First submitted
Sat, 11 Nov 2017 04:33:18 +0000
SHA1 of .buildinfo
fc450cc56779b164007ba8de0c2dfa07fe52165a

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: acc0f5be32165c2b60bb04bd2cdaa16ddf0e0496
SHA256: 65fc6f152f0f90f8ddd2a61f3bfe7470a77c6d882e82289c9a9e834c11ded8d6

Size: 3,486,732 bytes

Other checksums

why-dbgsym_2.39-2_amd64.deb
SHA1: 4293c0dd7c9ddbda637c047cc71a8ec8ce2dcf13
Size: 103,368 bytes

Submissions

Submitted
Sat, 11 Nov 2017 04:33:19 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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