why (2.39-1)_2.39-1+b1_amd64.buildinfo (view)

Source
why (2.39-1)
Version
2.39-1+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 26 Sep 2017 23:23:59 +0000
Build-Path
/build/why-H6nN3H/why-2.39

First submitted
Sat, 27 Oct 2018 12:56:57 +0000
SHA1 of .buildinfo
563690028a6f6d15772446e1e9747b1dbc667a4f

Binaries

libwhy-coq ()
why (why_2.39-1+b1_amd64.deb)
SHA1: f0e374dec95951e6c4ede35a525148cf45bd9da7
SHA256: 4247616f7fdf96fcd4978c273fd7c9cdf527bee93fa039ea045055e9e8b7a2d2

Size: 3,485,688 bytes

Other checksums

why-dbgsym_2.39-1+b1_amd64.deb
SHA1: 6998d9688fd3c2e0b09a3e17a2c76211353a0a0e
Size: 102,816 bytes

Submissions

ijdyh7yg
Submitted
Sat, 27 Oct 2018 12:56:58 +0000
Signed by
0x46CAF9BAF7575C4A

Environment


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