paramcoq_1.1.3+coq8.16-2_ppc64el.buildinfo (view)

Source
paramcoq
Version
1.1.3+coq8.16-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 13 Sep 2022 07:30:36 +0000
Build-Path
/build/paramcoq-NoN1Fm/paramcoq-1.1.3+coq8.16

First submitted
Tue, 13 Sep 2022 12:10:34 +0000
SHA1 of .buildinfo
0c14988c88d9078a5d0927432d0ead477b157406

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.16-2_ppc64el.deb)
SHA1: ed56e2e6b5248ddec1feeee848cf284fbeeeb3a2
SHA256: 71172c73923f4a2d1ca785b101cebb5e92956f458c1a27a5e286ce3c62259018

Size: 116,468 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.16-2_ppc64el.deb)
SHA1: 24ba4121aa7b55b2c31b1d7b603c5fe746ed4172
SHA256: 7bcbf4e2566bdf093fc4ba188e2fac7a6687de7a769ffd0a1678c4518d3a1ac9

Size: 12,548 bytes

Other checksums

Submissions

hzpmnguz
Submitted
Tue, 13 Sep 2022 12:10:34 +0000
Signed by
0x0823125B9FD67002

Environment


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