why_2.38-1_all.buildinfo (view)

Source
why
Version
2.38-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 26 Aug 2018 10:48:53 +0000
Build-Path
/build/why-2.38/2nd

First submitted
Mon, 24 Jul 2017 04:28:03 +0000
SHA1 of .buildinfo
f63bd37f847c482eeb8b2b5cecc5ac4c4188654a

Binaries

libwhy-coq (libwhy-coq_2.38-1_all.deb)
SHA1: 9be4dde744ea329eb0f315a8023b0d722571cfc5
SHA256: cd42d213279a2ae5f5ec2ed767d831efd0a7b960d38b6737ea942aec52706bf9

Size: 51,018 bytes
why (why_2.38-1_amd64.deb)
SHA1: 6c6a83fc3b64dc1e1d2a84304bb9cc1ba7b05a32
SHA256: ff9058c0e2a474c72cba1c3a8d36dfe52075198d7f1127bd9efe72b633aa4f9c

Size: 3,129,970 bytes

Other checksums

why-dbgsym_2.38-1_amd64.deb
SHA1: 92987a17413bf112e0eea66a4d5591924e24b80e
Size: 83,666 bytes

Submissions

7kpoa39y
Submitted
Mon, 24 Jul 2017 04:28:05 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.38-1=/build/why-2.38/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1493015131"