Source
coq-corn (8.16.0-2)
Version
8.16.0-2+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 14 Feb 2023 12:54:58 +0000
Build-Path
/build/coq-corn-L6REOS/coq-corn-8.16.0

First submitted
Tue, 14 Feb 2023 18:12:39 +0000
SHA1 of .buildinfo
92d7347575fca0ddecad854fa11ad03d8bd1eed8

Binaries

libcoq-corn (libcoq-corn_8.16.0-2+b1_ppc64el.deb)
SHA1: 27160b76cd108299ba33b3783ca1add4331190fb
SHA256: cf501740305400b1c5aa7da592599c4f3a1cdb4fb2c7775c9bdd8e131567264d

Size: 11,319,304 bytes

Other checksums

Submissions

Submitted
Tue, 14 Feb 2023 18:12:39 +0000
Signed by
0x667113CDA6A60D2C

Environment


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