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, 20 Jun 2018 21:14:30 +0000
Build-Path
/build/why-2.40

First submitted
Wed, 20 Jun 2018 21:16:22 +0000
SHA1 of .buildinfo
9160d417fb1b78f0c026795ace6c4ccd7a205fb4

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: aecd147a1985fd1bdbad5ad2c36c0e43134d8000
SHA256: 72e03fbe5c191f624590e0ca1544d4ed4013592828719da9f02ae10dd0523992

Size: 51,484 bytes
why (why_2.40-3_armhf.deb)
SHA1: d4b894933fb9c2f6060d24b239091948a4548a7d
SHA256: 6fd3127c04df1049199f93618c07b5d2012d877905533273a3386f471066d853

Size: 3,239,812 bytes

Other checksums

why-dbgsym_2.40-3_armhf.deb
SHA1: 1bbc51f5c4659ae279b3a5ba33885dc9630f60e7
Size: 100,936 bytes

Submissions

ewk4fzim
Submitted
Wed, 20 Jun 2018 21:16:22 +0000
Signed by
0x00C8B57F4FD162BC odu3a (Automatically generated key for signing .buildinfo files)

Environment


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