Source
why
Version
2.40-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 16 Jun 2019 16:03:59 +0000
Build-Path
/build/1st/why-2.40

First submitted
Mon, 14 May 2018 10:07:35 +0000
SHA1 of .buildinfo
e144187fec7af94899a3d1513ffd5c78fbe30ddd

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: 40a8593988311e975e373b63572f94af8121b49f
SHA256: e2a4f560e3c9d4c56bf676f57d7c98079ee1e09cdb7b1e2913768b9b56548779

Size: 51,828 bytes
why (why_2.40-3_amd64.deb)
SHA1: 587ab2408a6403cae786ef211973bb40b4631589
SHA256: 125a795ccb733fb67474e5ab84adb997ce4620692bb2fb179f685f4c29df5a8c

Size: 3,412,608 bytes

Other checksums

why-dbgsym_2.40-3_amd64.deb
SHA1: 401363dc55125083bc709948d919609d33c22af3
Size: 102,188 bytes

Submissions

Submitted
Mon, 14 May 2018 10:07:36 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.40-3=/build/1st/why-2.40"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1526201719"