Source
why
Version
2.39-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 3 Jan 2018 01:22:18 +0000
Build-Path
/build/why-2.39

First submitted
Wed, 3 Jan 2018 01:25:03 +0000
SHA1 of .buildinfo
b7bf55bcee945fd9adc4d22b2296a6a8ab715959

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: 80375500d9f55e4c4729143c70f35feda583594d
SHA256: 837a18ad2a999551440d0fb69a6da9acb80229417dbc54bf03bd5efcde7b0095

Size: 3,302,192 bytes

Other checksums

why-dbgsym_2.39-2_armhf.deb
SHA1: fee83896a8c2d19ee5bad3d6680ac1cfb8bb6af5
Size: 101,692 bytes

Submissions

Submitted
Wed, 3 Jan 2018 01:25:03 +0000
Signed by
0x0F806CEEB6CD263E odxu4c-armhf-rb.debian.net (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="1507789552"