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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 13 Feb 2022 21:13:53 +0000
Build-Path
/build/coq-hierarchy-builder-a2faRT/coq-hierarchy-builder-1.2.1

First submitted
Mon, 14 Feb 2022 00:16:33 +0000
SHA1 of .buildinfo
bc8cbebf1471675199da7ca238edfb52e4290df9

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-2_ppc64el.deb)
SHA1: 0529cef524fb4c731fd0b3fda951c1279d967db4
SHA256: 1e595208fdb2eed76e041bcb7ca117b52366c5a194d93cccd4fc62302ee8d753

Size: 618,288 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-2_ppc64el.deb)
SHA1: 2536f6541365ded856e2e0dc3d606d1059912828
SHA256: 1866f0c459da136301fa24de5499bcbf1d2f2942f08bf4e3a09a517fe91762f1

Size: 221,376 bytes

Other checksums

Submissions

fxjbivbc
Submitted
Mon, 14 Feb 2022 00:16:33 +0000
Signed by
0x434BE1F07F07C6FC

Environment


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