coq-hammer_1.3.2+8.15-1_ppc64el.buildinfo (view)

Source
coq-hammer
Version
1.3.2+8.15-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 19 Jul 2022 20:26:08 +0000
Build-Path
/build/coq-hammer-btkXqE/coq-hammer-1.3.2+8.15

First submitted
Wed, 20 Jul 2022 00:16:05 +0000
SHA1 of .buildinfo
3d9c015e0560373dfdd9d5ec24174349272ba825

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.15-1_ppc64el.deb)
SHA1: e9f2aa1f99da4a526e63eb2a559a1cd3715997ee
SHA256: b9fe0e36f817ad8b6489db5982c2cefc7afb1cab3eb7db53867ed3bf9b0f4edd

Size: 217,896 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.15-1_ppc64el.deb)
SHA1: 40a8e798bbe4db852a5382136f812bbf6892c4c6
SHA256: dcd3dcf554d88867296400446e37bfa52f3c52fccb93a65672bffabdf0226aef

Size: 27,768 bytes
libcoq-hammer-tactics (libcoq-hammer-tactics_1.3.2+8.15-1_ppc64el.deb)
SHA1: a0fc08238e2b8da8fe2b8cb8ac40d383ec1fc831
SHA256: 8db6a9a584d4bdec787a53f4e52c940b7ddadaabf028386aca634fed2b26132b

Size: 320,616 bytes
libcoq-hammer-tactics-dbgsym (libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_ppc64el.deb)
SHA1: 47b72ea80b7e6d11478c9fa84d6608641e6ac1dc
SHA256: c02a418aee7ee52322d5c4933ffe356634775f31c9f78c8a345b9acfd54db67b

Size: 18,108 bytes

Other checksums

Submissions

fmyrhx9r
Submitted
Wed, 20 Jul 2022 00:16:06 +0000
Signed by
0x4137458F517F7954

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1657895511"