why_2.40-3_all.buildinfo (view)

Source
why
Version
2.40-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 13 Dec 2018 00:13:27 +0000
Build-Path
/build/why-2.40/2nd

First submitted
Thu, 13 Dec 2018 00:17:06 +0000
SHA1 of .buildinfo
ce94648531f43aeecda73c201e051946d9249a57

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: e797802de826e701cd0ea03804001224dea26b63
SHA256: 37a8622ed4e3af8bfb34007355c68fb403892af96dab3529e1bdda77eb0fe9c7

Size: 3,727,988 bytes

Other checksums

why-dbgsym_2.40-3_arm64.deb
SHA1: 0f1d4c29c470c94323ed345be7e4a7d85ade9885
Size: 138,748 bytes

Submissions

kjxreegq
Submitted
Thu, 13 Dec 2018 00:17:06 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"