why_2.40-3_all.buildinfo (view)

Source
why
Version
2.40-3
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 13 May 2018 09:57:35 +0000
Build-Path
/build/why-CCWCMf/why-2.40

First submitted
Fri, 26 Oct 2018 12:39:48 +0000
SHA1 of .buildinfo
6cee0d897deac536f3689ef184a8657baf519cc2

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: 40a8593988311e975e373b63572f94af8121b49f
SHA256: e2a4f560e3c9d4c56bf676f57d7c98079ee1e09cdb7b1e2913768b9b56548779

Size: 51,828 bytes
why ()

Other checksums

Submissions

z7nakeia
Submitted
Fri, 26 Oct 2018 12:39:48 +0000
Signed by
0xCA7713A5EE6054CA

Environment


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