why_2.40-3_all.buildinfo (view)

Source
why
Version
2.40-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 1 Feb 2020 09:11:16 +0000
Build-Path
/build/why-2.40

First submitted
Sun, 30 Dec 2018 02:49:40 +0000
SHA1 of .buildinfo
66849986754ae5bfe1d00bb9ccdafe9ea8bc0fc6

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: c83b591637a23f464206cbda799f6534d340ad1f
SHA256: 4b86a3a7bcd38038c4c81e26f7a3dcefd6f9e1b23d14cd166cc19d1f2332d3b2

Size: 51,732 bytes
why (why_2.40-3_amd64.deb)
SHA1: 226dc797731053d8952487e9841bae772795e4fa
SHA256: 340fff0acbf6c6d2f400b080e195860f045e5850b117c747fa713e09f531b2b5

Size: 3,418,512 bytes

Other checksums

why-dbgsym_2.40-3_amd64.deb
SHA1: d0cda413520913e178168eef6d90d0eaf20a70ba
Size: 102,536 bytes

Submissions

gvozjzbz
Submitted
Sun, 30 Dec 2018 02:49:41 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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="1526201719"