why_2.39-2_all.buildinfo (view)

Source
why
Version
2.39-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 12 Oct 2017 21:31:08 +0000
Build-Path
/build/why-hoOVUm/why-2.39

First submitted
Fri, 26 Oct 2018 10:06:35 +0000
SHA1 of .buildinfo
3f3e448c5bdeedb2607a0bc65d8da910c2638f5f

Binaries

libwhy-coq (libwhy-coq_2.39-2_all.deb)
SHA1: d711de84f17e71aa6d890f16d2d08448195377fa
SHA256: 0824c197c5c92999e30234cffee160447d0362b429b81015644ef3146862c390

Size: 51,278 bytes
why ()

Other checksums

Submissions

rvfvek9a
Submitted
Fri, 26 Oct 2018 10:06:36 +0000
Signed by
0x77A935AC72C39EAB

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1507789552"