why_2.40-4_i386.buildinfo (view)

Source
why
Version
2.40-4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 22 Feb 2019 23:45:49 +0000
Build-Path
/build/why-Zr4VS3/why-2.40

First submitted
Sat, 23 Feb 2019 02:10:25 +0000
SHA1 of .buildinfo
7323a149639d5868d7458953bf33e58028a7ff15

Binaries

libwhy-coq ()
why (why_2.40-4_i386.deb)
SHA1: ba5ad3377d1ed63957cd1c0d583b983d73eb4054
SHA256: 4759cefb2b67ccb54e70d5cfdc760da52c5206351fa5ef6d65678a8af0430712

Size: 3,169,008 bytes

Other checksums

why-dbgsym_2.40-4_i386.deb
SHA1: 528a48d9008f167cda6af2ad373c374e4f57ddca
Size: 99,588 bytes

Submissions

9itioegk
Submitted
Sat, 23 Feb 2019 02:10:26 +0000
Signed by
0xB6798C98C3897D0D

Environment


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