why_2.39-2_all.buildinfo (view)

Source
why
Version
2.39-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 25 Oct 2017 14:45:28 +0000
Build-Path
/build/1st/why-2.39

First submitted
Wed, 25 Oct 2017 14:55:04 +0000
SHA1 of .buildinfo
9b461709c2896e01989a6ee3a6dd5db6746404e7

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: 74e98cbceb3b3023b6995a874d6aca6c096d8828
SHA256: 66d63d77c5f1d9b62ed7377fac7808d406283b9af3409aa8bc86cf66c49f9a25

Size: 3,486,652 bytes

Other checksums

why-dbgsym_2.39-2_amd64.deb
SHA1: 64ca2c8a058406d64f221b85b2b22d2fc9d9a43f
Size: 103,408 bytes

Submissions

qrybhnsb
Submitted
Wed, 25 Oct 2017 14:55:04 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507789552"