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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 6 Sep 2022 11:47:50 +0000
Build-Path
/build/coq-hierarchy-builder-7rwBg9/coq-hierarchy-builder-1.3.0

First submitted
Tue, 6 Sep 2022 12:15:07 +0000
SHA1 of .buildinfo
5c9a23fc419cea8b9a2710a20691bef9db795c6c

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.3.0-2_ppc64el.deb)
SHA1: 3a0dd1116fef9efcdb9fa3e577f64b07d2350398
SHA256: cb309fd4c7841bf1ea0e458cd598fc294a7f79f25565814addbc394cd76de4d6

Size: 618,944 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.3.0-2_ppc64el.deb)
SHA1: 1ff86b8bbeb2ef97cbe860dd0242e8b0064eee30
SHA256: 77bc00f5a105df0dc6407cd431ecc5004c1f17fd8b0b61b93fa47b178bfa7f8d

Size: 226,044 bytes

Other checksums

Submissions

muwquzpk
Submitted
Tue, 6 Sep 2022 12:15:07 +0000
Signed by
0x0823125B9FD67002

Environment


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