why_2.39-2_all.buildinfo (view)

Source
why
Version
2.39-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 1 Feb 2018 18:50:23 +0000
Build-Path
/build/why-2.39

First submitted
Thu, 1 Feb 2018 19:03:22 +0000
SHA1 of .buildinfo
1e394dd09a0101a937c0cd0334c4aa6b8f8dbce2

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: 65416fd0300d39b02ba088c2fde69ccee2665ea2
SHA256: 6f48dcd55140bcd4dc1b4ba2009f42e03f31a2fbd139b02a0e93cfacf664f121

Size: 3,301,336 bytes

Other checksums

why-dbgsym_2.39-2_armhf.deb
SHA1: bc9165d29767b8d30676a66efa459253ce972d6e
Size: 101,908 bytes

Submissions

cqawsgir
Submitted
Thu, 1 Feb 2018 19:03:23 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (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="1507789552"