coq-bignums (8.17.0-2)_8.17.0-2+b1_ppc64el.buildinfo (view)

Source
coq-bignums (8.17.0-2)
Version
8.17.0-2+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 13 Feb 2023 05:05:38 +0000
Build-Path
/build/coq-bignums-y4tz9Z/coq-bignums-8.17.0

First submitted
Mon, 13 Feb 2023 06:29:30 +0000
SHA1 of .buildinfo
94514d5a2a63d025b25a57402630b3210496ba4a

Binaries

libcoq-bignums (libcoq-bignums_8.17.0-2+b1_ppc64el.deb)
SHA1: fc4ea61cd61aee221459523a0ea5511b5c41342e
SHA256: 054a8531fa3e8419b0afd57dbc12504d2fb38a449bc11606fcb155ebbd2a841d

Size: 1,824,500 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.17.0-2+b1_ppc64el.deb)
SHA1: 49f2046e5e8bd04616ca022938a56ac671d99fa0
SHA256: 7335cf0862ea89ac7498cabd67f5a77882a252b2a9e564102339f9196dad6cf6

Size: 3,712 bytes

Other checksums

Submissions

eihsne9f
Submitted
Mon, 13 Feb 2023 06:29:30 +0000
Signed by
0x667113CDA6A60D2C

Environment


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