coq-bignums (8.17.0-3)_8.17.0-3+b3_ppc64el.buildinfo (view)

Source
coq-bignums (8.17.0-3)
Version
8.17.0-3+b3
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Fri, 22 Sep 2023 12:33:59 +0000
Build-Path
/build/reproducible-path/coq-bignums-8.17.0

First submitted
Fri, 22 Sep 2023 18:12:26 +0000
SHA1 of .buildinfo
90959ca4c7cd94cd42633ee1527fbce7ee884af1

Binaries

libcoq-bignums (libcoq-bignums_8.17.0-3+b3_ppc64el.deb)
SHA1: a8549916d9200c57ce8da7bb4c01e6d4608cdc20
SHA256: fe11ea9afe64c722e3064bd8b19fc1fc729a38c2bf5a2ea4cbe3db811e94f3ba

Size: 1,825,056 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.17.0-3+b3_ppc64el.deb)
SHA1: 9b216a1f652f21a90504d6c032f7f2ab52dca524
SHA256: f8cbe43c78b6a97b231bb6bcd79c4913bb3bc98fa8e91c3d4142791652c5f99f

Size: 3,732 bytes

Other checksums

Submissions

bupe4soe
Submitted
Fri, 22 Sep 2023 18:12:27 +0000
Signed by
0xC96F0409A8F66F2A

Environment


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