why_2.40-4_all.buildinfo (view)

Source
why
Version
2.40-4
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 2 Jun 2020 04:31:10 +0000
Build-Path
/build/why-2.40/2nd

First submitted
Tue, 30 Apr 2019 22:11:04 +0000
SHA1 of .buildinfo
35333f2411183d985d03cc57fade5db2bed75389

Binaries

libwhy-coq (libwhy-coq_2.40-4_all.deb)
SHA1: 963031e1b681f3c3ca9f30fed7583ef74ffc5193
SHA256: 8168efd3f03c8b7b9d1f15f2df0a399e2a92968435ccf31ca99961c3ca0021a5

Size: 51,532 bytes
why (why_2.40-4_amd64.deb)
SHA1: 70c137a20a26c2e895c728451281782df61ccf89
SHA256: 5b45030a9f3467dfc2150e02c02d0dd058491a22aeb6542d256ece109deb1193

Size: 3,422,292 bytes

Other checksums

why-dbgsym_2.40-4_amd64.deb
SHA1: f63570118b5060d6cd7176bc6e1e76bd60cdd23e
Size: 102,088 bytes

Submissions

3cjdmvzb
Submitted
Tue, 30 Apr 2019 22:11:04 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1550876695"