Source
why
Version
2.39-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 7 Mar 2018 16:16:08 +0000
Build-Path
/build/why-2.39/2nd

First submitted
Wed, 7 Mar 2018 16:23:27 +0000
SHA1 of .buildinfo
d60162a8d92b8c88990d10c7fb63dcbd5b539080

Binaries

libwhy-coq (libwhy-coq_2.39-2_all.deb)
SHA1: 02d6357295e4e6524a8c61a989671412c9f4690a
SHA256: 5cce23a1bdf0c77931abb02bca15b48fed4e807125eb9601933c782f3508584c

Size: 51,104 bytes
why (why_2.39-2_armhf.deb)
SHA1: 456edc5db2460c61620bd0939a9c8b9e1cd7bf0f
SHA256: 582ee963140ba70566621a08243e6e8ed2751980740ed6d165d30e1187bb28e8

Size: 3,302,948 bytes

Other checksums

why-dbgsym_2.39-2_armhf.deb
SHA1: 4e761237fcb431470d34401d0a4a4fdf60848fac
Size: 101,504 bytes

Submissions

Submitted
Wed, 7 Mar 2018 16:23:27 +0000
Signed by
0x4EE7D57983E7F103 ff2b (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why_2.39-2=/build/why-2.39/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507789552"