why_2.40-3_i386.buildinfo (view)

Source
why
Version
2.40-3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 13 May 2018 12:04:07 +0000
Build-Path
/build/why-FTCjNj/why-2.40

First submitted
Fri, 26 Oct 2018 12:40:59 +0000
SHA1 of .buildinfo
ce06ed1b57747b3d4c931d9174c8418c454b838a

Binaries

libwhy-coq ()
why (why_2.40-3_i386.deb)
SHA1: bb3365d11b557305c8f651e01e6511397601b8f2
SHA256: 27986a6bef6c34b6460b567e2acd3fb7a7461704e3f0035b4d8c5168e78979c0

Size: 3,161,156 bytes

Other checksums

why-dbgsym_2.40-3_i386.deb
SHA1: e8f5281ec6a573e620c90765dee05262a3e81bd4
Size: 100,616 bytes

Submissions

4d7cpahv
Submitted
Fri, 26 Oct 2018 12:41:00 +0000
Signed by
0xF9DB3F7D36830DF3

Environment


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