why_2.40-4_all.buildinfo (view)

Source
why
Version
2.40-4
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 6 May 2020 13:02:28 +0000
Build-Path
/build/why-2.40/2nd

First submitted
Thu, 4 Apr 2019 06:44:04 +0000
SHA1 of .buildinfo
e371a165983e590acb53a93993af1feb9c482c45

Binaries

libwhy-coq (libwhy-coq_2.40-4_all.deb)
SHA1: 575a2d11d059a99904768da0f5218f2f4e49e05d
SHA256: 5ea19d98e1fb8c7b775775644b0b17e425d46c07d2d0386362627d4592cad796

Size: 51,568 bytes
why (why_2.40-4_arm64.deb)
SHA1: 89894885500718559accf5ab236a5952f01e93ee
SHA256: 3f3e9fd58210ffa5390d15db545e2d67c6228b568f02dc9b286002a536586e47

Size: 3,749,984 bytes

Other checksums

why-dbgsym_2.40-4_arm64.deb
SHA1: 6a606f6de0896d1d97fe7a00f2468f707c6215de
Size: 138,708 bytes

Submissions

c3rbwshv
Submitted
Thu, 4 Apr 2019 06:44:04 +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="1550876695"