why_2.39-2_all.buildinfo (view)

Source
why
Version
2.39-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 2 Jan 2018 23:29:03 +0000
Build-Path
/build/why-2.39

First submitted
Tue, 2 Jan 2018 23:39:26 +0000
SHA1 of .buildinfo
7dd77961831e1d6e1559210a7fe4d3934a070a52

Binaries

libwhy-coq (libwhy-coq_2.39-2_all.deb)
SHA1: 55e21a274709ef48508dcf18126156d5fb0e705b
SHA256: 3efc57ef9271c1876435492bf022f0a15b0ecd4d996f81c491219116a0920c1e

Size: 51,376 bytes
why (why_2.39-2_amd64.deb)
SHA1: bf0d0923aa45c20b8977e0bfd82409fe4b2bd0cd
SHA256: cbdd5ea30742e17c8de6eec5db18809820f333c3bd5203495ac155301d20fff1

Size: 3,486,576 bytes

Other checksums

why-dbgsym_2.39-2_amd64.deb
SHA1: 4519fbe015619cfb2d7d8baa16d81b7abdfca8a6
Size: 102,964 bytes

Submissions

anvjdcrb
Submitted
Tue, 2 Jan 2018 23:39:27 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507789552"