coq-ext-lib_0.11.6-1_ppc64el.buildinfo (view)

Source
coq-ext-lib
Version
0.11.6-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 6 Jul 2022 22:49:16 +0000
Build-Path
/build/coq-ext-lib-i8m6vT/coq-ext-lib-0.11.6

First submitted
Thu, 7 Jul 2022 00:25:45 +0000
SHA1 of .buildinfo
c0a8c42c313ce50ec71393a98d301479929cb39b

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.6-1_ppc64el.deb)
SHA1: 99fea4cd7c9d1bf73a1ccec3453a1ee9fbdfa8f6
SHA256: 02dc916bd982fc05b4530a75610a8119541baaf2adc6ac1569d4c9ec54f58101

Size: 763,828 bytes

Other checksums

Submissions

acoj9tgs
Submitted
Thu, 7 Jul 2022 00:25:45 +0000
Signed by
0x4137458F517F7954

Environment


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