Source
coq-corn (8.16.0-1)
Version
8.16.0-1+b2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 30 Nov 2022 04:29:20 +0000
Build-Path
/build/coq-corn-rD9pWq/coq-corn-8.16.0

First submitted
Wed, 30 Nov 2022 06:19:12 +0000
SHA1 of .buildinfo
cb8b72c34bd344e62a6464a816c4b953d099ba3b

Binaries

libcoq-corn (libcoq-corn_8.16.0-1+b2_ppc64el.deb)
SHA1: d343bc782100983c664fd99c1402a7e5c43cfe84
SHA256: 117bf733916ee113e88a2695db533fd0a07d27f298b33abc3386091517e794d0

Size: 11,320,328 bytes

Other checksums

Submissions

Submitted
Wed, 30 Nov 2022 06:19:12 +0000
Signed by
0x667113CDA6A60D2C

Environment


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