cvc5_1.0.2-1_ppc64el.buildinfo (view)

Source
cvc5
Version
1.0.2-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 10 Dec 2022 19:51:00 +0000
Build-Path
/build/cvc5-sbAy6s/cvc5-1.0.2

First submitted
Sun, 11 Dec 2022 00:15:15 +0000
SHA1 of .buildinfo
b22014c6dc9ff300a084bd2a030b10b000a64b74

Binaries

cvc5 (cvc5_1.0.2-1_ppc64el.deb)
SHA1: abd4a8c75f19fd0d56da92aeec6a25eb82e6e0ee
SHA256: 381aea9a9950aa27a3978b074dde161111f68f1e3209c2626d8b71a10e164bdd

Size: 104,100 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.2-1_ppc64el.deb)
SHA1: e93cf754a24a0485fe41ea63fa71f83d5dbe20df
SHA256: 823c2102fec8cc7e453bc8d6e7b7f902ce9ba6eb0e7a33a843d1cfa57a609610

Size: 2,547,076 bytes
libcvc5-1 (libcvc5-1_1.0.2-1_ppc64el.deb)
SHA1: 5424f6e5b2aa728b25576371609da689e2c9d106
SHA256: c5e4a8de91b77d577998ce65ba7aebc1e69518f3855e3a49617b6bb9e4ab684d

Size: 5,594,576 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.2-1_ppc64el.deb)
SHA1: 61845b018c914a0934e22ec3a7daf74f3994e522
SHA256: a11a675b4e638a6db273abb4dd748f14d9bc3a89b529519efa1898fa5054ecdb

Size: 165,544,476 bytes
libcvc5-dev (libcvc5-dev_1.0.2-1_ppc64el.deb)
SHA1: 382c1b1a7dd230b3ab0b1336f89c2e840f9ce002
SHA256: fda234156c70eb7384305076b3d0a578f8bd900e905b94d6c777c667bba89652

Size: 57,804 bytes
libcvc5parser1 (libcvc5parser1_1.0.2-1_ppc64el.deb)
SHA1: 830d1fbbf05c659bddb42ec4f072f3413dcc6bd1
SHA256: 5082f2363f435249b2602102aa4dd98683e0a9956d49657928da322634d6f6a5

Size: 263,208 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.2-1_ppc64el.deb)
SHA1: da6766f64f7f72cf9faf8f3d67772837c6111b1d
SHA256: 882510775dea99d8fab727f03e8bac9233272dc9aa3c95a4e80c765f7aacb4f0

Size: 4,274,732 bytes

Other checksums

Submissions

wakyui9q
Submitted
Sun, 11 Dec 2022 00:15:15 +0000
Signed by
0x667113CDA6A60D2C

Environment


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