why_2.36-5_all.buildinfo (view)

Source
why
Version
2.36-5
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 30 Jan 2018 00:42:45 +0000
Build-Path
/build/why-2.36/2nd

First submitted
Tue, 27 Dec 2016 18:20:27 +0000
SHA1 of .buildinfo
60d10a646be1fd4bc472f2fb241766f0c40ae670

Binaries

libwhy-coq (libwhy-coq_2.36-5_all.deb)
SHA1: 50d441b1a076a002e42b0a7af5d0db81e1f7e17e
SHA256: d318ea512e244ad34efc964ec3bcb9d9b37170e943999ca76ae2ba9ed3651149

Size: 50,066 bytes
why (why_2.36-5_amd64.deb)
SHA1: f21af07b2506f87b4490e414d617eda8e9d9963e
SHA256: e81e183a6ec81ecdd8a092a6dcefc253aa4c87205972fd11acd6b32a667fbfa6

Size: 1,495,604 bytes

Other checksums

Submissions

4egxdwwh
Submitted
Tue, 27 Dec 2016 18:20:28 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482840798"