Source
why
Version
2.36-5
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 30 Jan 2018 00:40:17 +0000
Build-Path
/build/why-2.36/2nd

First submitted
Tue, 27 Dec 2016 18:18:04 +0000
SHA1 of .buildinfo
d09539a16bfc9443493740383cbb42c58c4448e1

Binaries

libwhy-coq (libwhy-coq_2.36-5_all.deb)
SHA1: 0720e81bfbcd353e74703c8fae27dc3683a2196b
SHA256: dec769a268a530872df9cab378b7eb6be3f4afb78ef5e9d0ab697b173ef5c165

Size: 49,774 bytes
why (why_2.36-5_i386.deb)
SHA1: e0985e1f807ba46d90304cbe24f4e3f8f4f6a601
SHA256: d107f014f6924f183517d2c9b9001fb5a5af9ea37933c741eedbe39f5eb9cf24

Size: 1,409,592 bytes

Other checksums

Submissions

Submitted
Tue, 27 Dec 2016 18:18:05 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482840798"