why_2.40-3_all.buildinfo (view)

Source
why
Version
2.40-3
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 29 Aug 2018 05:03:07 +0000
Build-Path
/build/why-2.40

First submitted
Wed, 29 Aug 2018 05:11:34 +0000
SHA1 of .buildinfo
8f8e724e27ed061b9f108b058d194d455cce4b95

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: 10c39b65d929d0c7c0cd2530998c9104c0104d18
SHA256: ee772b3c48d894890fd878e7d04894ad347cc1c1a148cdb820e67fce1ff26a49

Size: 51,488 bytes
why (why_2.40-3_armhf.deb)
SHA1: 710ca6f7141497100f9aa647f63bf76f1657adc0
SHA256: 89403c0a563d2f2eba90209427450d7279e3050b825a4c812438295290f4ccbf

Size: 3,236,716 bytes

Other checksums

why-dbgsym_2.40-3_armhf.deb
SHA1: 9279fba2a47dfdabaf8ccf051fd779beeb83aa6d
Size: 100,784 bytes

Submissions

irypkpe4
Submitted
Wed, 29 Aug 2018 05:11:34 +0000
Signed by
0x3ED2935763F0D6A2 odxu4c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1526201719"