why_2.39-2_all.buildinfo (view)

Source
why
Version
2.39-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 3 Jan 2018 08:38:11 +0000
Build-Path
/build/why-2.39

First submitted
Wed, 3 Jan 2018 08:40:39 +0000
SHA1 of .buildinfo
f23de17b4882eeeb1e1bf1cf4ada722c9ad3351a

Binaries

libwhy-coq (libwhy-coq_2.39-2_all.deb)
SHA1: 448d5965f0e17458153f0bc3df7836b2b42c2950
SHA256: 735a6bd56a1b253f53a32f24e73f15b2de7974f84059cfc70657bdf93f1de14c

Size: 51,388 bytes
why (why_2.39-2_arm64.deb)
SHA1: 0cb009e42704f4081e2a8f1ee0c0a54282bac1bc
SHA256: ae7167805c5e3a915c2361f8cbe3f930b3df173477f35775dd6ef4e7a20dc582

Size: 3,794,556 bytes

Other checksums

why-dbgsym_2.39-2_arm64.deb
SHA1: ef82dc05eeedff33afcdf1fc12e952146aae9db3
Size: 139,312 bytes

Submissions

3mmtouon
Submitted
Wed, 3 Jan 2018 08:40:39 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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