why_2.36-5_all.buildinfo (view)

Source
why
Version
2.36-5
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 30 Mar 2017 16:56:02 +0000
Build-Path
/build/1st/why-2.36

First submitted
Thu, 30 Mar 2017 17:00:37 +0000
SHA1 of .buildinfo
9f1d39d6a74771ee5e32605cc01903b452a527a0

Binaries

libwhy-coq (libwhy-coq_2.36-5_all.deb)
SHA1: f8c9e0e0ada4ee82128bc295c66a8463b3a69b60
SHA256: 4516a99ef379569f1d55c5c43e8fd2e7b62532278d32faba4710a3f9eb889c22

Size: 50,794 bytes
why (why_2.36-5_arm64.deb)
SHA1: ae16e2db501e0e70f434be42853a9eb0a9450583
SHA256: 766c5ba5cc34f18b5ec8ece7319e210b89a610ce82474d0f4c65772e56aa5a87

Size: 1,496,248 bytes

Other checksums

Submissions

znki4qgx
Submitted
Thu, 30 Mar 2017 17:00:38 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482840798"