why_2.40-4_all.buildinfo (view)

Source
why
Version
2.40-4
Architecture
all amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 22 Feb 2019 23:09:05 +0000
Build-Path
/build/why-nrNwyb/why-2.40

First submitted
Sat, 23 Feb 2019 02:03:49 +0000
SHA1 of .buildinfo
0ae259faa1f78590b3dec60ba0058c3f9bff244f

Binaries

libwhy-coq (libwhy-coq_2.40-4_all.deb)
SHA1: 963031e1b681f3c3ca9f30fed7583ef74ffc5193
SHA256: 8168efd3f03c8b7b9d1f15f2df0a399e2a92968435ccf31ca99961c3ca0021a5

Size: 51,532 bytes
why (why_2.40-4_amd64.deb)
SHA1: 001a603091bfd5794629ff9f503fa9660563712a
SHA256: c887629dc78f52325c63ec88729e3cbbb66d133d08bcaa9bcd8c64552767f758

Size: 3,424,344 bytes

Other checksums

why_2.40-4.dsc
SHA1: ea13fdde29dbb722a2e9ae7a9ec663080ac6bea9
Size: 2,374 bytes
why-dbgsym_2.40-4_amd64.deb
SHA1: ddf6330cc3f774069c0ede6d4b29cc318b345e67
Size: 102,116 bytes

Submissions

rud7ua7b
Submitted
Sat, 23 Feb 2019 02:03:49 +0000
Signed by
0xE595159B9DC0EDC3 Benjamin Barenblat <bbarenblat@gmail.com>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="en_US.UTF-8"
LC_ALL="POSIX"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
MAKEFLAGS=" -j8"
SOURCE_DATE_EPOCH="1550876695"