Source
coqeal (1.1.1-1)
Version
1.1.1-1+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 16 Aug 2022 23:02:08 +0000
Build-Path
/build/coqeal-xEsip1/coqeal-1.1.1

First submitted
Wed, 17 Aug 2022 00:26:01 +0000
SHA1 of .buildinfo
6c4be66113c140a11311adf985e0658e32a2115b

Binaries

libcoq-coqeal (libcoq-coqeal_1.1.1-1+b1_ppc64el.deb)
SHA1: c6439e16c20dbd49e8e23afb6374c2b941f722cc
SHA256: a12961582c1454e52d07c9f04168a5eb477d80523412b30e84502b167b13b9c5

Size: 4,637,828 bytes

Other checksums

Submissions

Submitted
Wed, 17 Aug 2022 00:26:01 +0000
Signed by
0x667113CDA6A60D2C

Environment


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