why_2.40-3_all.buildinfo (view)

Source
why
Version
2.40-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 15 Jan 2020 06:33:22 +0000
Build-Path
/build/1st/why-2.40

First submitted
Thu, 13 Dec 2018 00:17:04 +0000
SHA1 of .buildinfo
820a6c1dd42c6fd8096c3ca0edfb90af9cc529cf

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: d910eec388727fa6dd0e6d186c924189f7b9897b
SHA256: 9ff215b0499bb68a7d4d7c9d9c88cd6151a1e6de21a632720778db80ef19a10d

Size: 51,796 bytes
why (why_2.40-3_arm64.deb)
SHA1: ebd28f9e1dc3300f450c633773117dd8a7a54127
SHA256: bceba168a40657fc0bce1abea917b12f61df17b9601e19d44a565af0c69fc99f

Size: 3,727,572 bytes

Other checksums

why-dbgsym_2.40-3_arm64.deb
SHA1: bd7007b7e009acf2725fea8b405004f2c1ffa50d
Size: 138,692 bytes

Submissions

rtbxrmr4
Submitted
Thu, 13 Dec 2018 00:17:05 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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"