why_2.40-3_all.buildinfo (view)

Source
why
Version
2.40-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 15 Feb 2020 00:04:03 +0000
Build-Path
/build/1st/why-2.40

First submitted
Sat, 12 Jan 2019 17:49:18 +0000
SHA1 of .buildinfo
2519f8769b5829ccb43754f57471bec8a85c6334

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: 00565015b2f5a0ff863f41de17437b46f866bf1a
SHA256: 49fa6426033178ce8cb79b90d69237a9e1eddffb063594730ae8b96ac6205927

Size: 51,792 bytes
why (why_2.40-3_arm64.deb)
SHA1: 81b69e89fa0700f6a52891db1dd4318652b305dc
SHA256: cba9b3419c6267d8d0e8d66a1bf943f4d16c64dc86f655e6a4bca156346ca77c

Size: 3,735,812 bytes

Other checksums

why-dbgsym_2.40-3_arm64.deb
SHA1: f7cd2ee10c7ab59ccf4251af7cdc39f5035cc031
Size: 138,792 bytes

Submissions

4esqdtb3
Submitted
Sat, 12 Jan 2019 17:49:19 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1526201719"