coq-hierarchy-builder_1.2.1-7_ppc64el.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.2.1-7
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 12 May 2022 07:00:31 +0000
Build-Path
/build/coq-hierarchy-builder-R9vije/coq-hierarchy-builder-1.2.1

First submitted
Thu, 12 May 2022 12:10:44 +0000
SHA1 of .buildinfo
1c4409756a411b4a7acbe92e6ac40c11ebb2aff8

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-7_ppc64el.deb)
SHA1: 72bb1eb344323fb22808278fab410ed8d389fc94
SHA256: 7cf0091feb3b66a2e8bab3e5536478555ecf334e6decf6459de2f5fa0a9f6fd7

Size: 618,572 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-7_ppc64el.deb)
SHA1: a9681f49eb0db61abf9a6c933aeed82eeb76d2eb
SHA256: ab85cb1a5d541a3a76e841df3bfa20a290310317cd820568e0bb45c440528ac6

Size: 221,452 bytes

Other checksums

Submissions

n4h4npg9
Submitted
Thu, 12 May 2022 12:10:44 +0000
Signed by
0x434BE1F07F07C6FC

Environment


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