why_2.40-4_all.buildinfo (view)

Source
why
Version
2.40-4
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 27 Jun 2020 17:36:32 +0000
Build-Path
/build/1st/why-2.40

First submitted
Sun, 26 May 2019 11:21:12 +0000
SHA1 of .buildinfo
717592a03c267a38711779cb45c2d47b4ff1e40b

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: f668421fb9ca0f81ce067cdca942f0e027d4ba68
SHA256: 5eae7708b2c02430774de10807c627e542f8f15c534a5b9bb71343c4aeaedf32

Size: 3,744,044 bytes

Other checksums

why-dbgsym_2.40-4_arm64.deb
SHA1: bb95afaf8946c03fbcfcd0accd71a7aa7aa1cf82
Size: 138,688 bytes

Submissions

3eee3gty
Submitted
Sun, 26 May 2019 11:21:12 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"