why_2.39-2_all.buildinfo (view)

Source
why
Version
2.39-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 14 Jan 2019 03:44:45 +0000
Build-Path
/build/why-2.39/2nd

First submitted
Mon, 11 Dec 2017 21:24:42 +0000
SHA1 of .buildinfo
3082a751e36fbca1f42e374f24c7bbf2c8afc3d5

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: 486f803d4acb8fb89bfebf7d0e3b1bf73d12d58e
SHA256: 71f3a5fed368ec89a61032b958a85f7764a6968d2e6d032177eaee3de4a62075

Size: 3,482,324 bytes

Other checksums

why-dbgsym_2.39-2_amd64.deb
SHA1: b012fa61281ba4a104c571381acc9e3b0f7cd320
Size: 103,384 bytes

Submissions

buxtu7z9
Submitted
Mon, 11 Dec 2017 21:24:44 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507789552"