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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 18 Apr 2022 14:41:31 +0000
Build-Path
/build/coq-hierarchy-builder-1onIEO/coq-hierarchy-builder-1.2.1

First submitted
Mon, 18 Apr 2022 18:11:21 +0000
SHA1 of .buildinfo
207a460056b40a979191590a54d9bdbbc592e577

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-4_ppc64el.deb)
SHA1: 4c691fd5af1f162dd93987dac9245fcc5bd6c2f5
SHA256: fe89e0c67974e9dae980ded95d2409e7ba504ff2be4b6ad67fcbbe7472ef6f79

Size: 618,724 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-4_ppc64el.deb)
SHA1: c2f7b8586c51aaf96df75501901d502950c9b5e8
SHA256: 338fe5fbafb95576922c98501fd21006abbabeaa0b9990da8c5a869a679ba739

Size: 221,416 bytes

Other checksums

Submissions

i3ppwjhj
Submitted
Mon, 18 Apr 2022 18:11:21 +0000
Signed by
0x4137458F517F7954

Environment


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