cvc5_1.0.3-1_ppc64el.buildinfo (view)

Source
cvc5
Version
1.0.3-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 20 Dec 2022 05:38:44 +0000
Build-Path
/build/cvc5-PshUF8/cvc5-1.0.3

First submitted
Tue, 20 Dec 2022 12:10:34 +0000
SHA1 of .buildinfo
fb1c5cdb2276f40070990d4785b5c31c79b3596a

Binaries

cvc5 (cvc5_1.0.3-1_ppc64el.deb)
SHA1: 403e908ebeb06b1c1cae72bd2a94dd71ffd42cbf
SHA256: df6644a3606a0c40963284bf8a3531da87210dd989eb024fa58d6ecba3a29279

Size: 105,020 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_ppc64el.deb)
SHA1: 473b1cfcf785dfe0c93796da89479d9c0f21d122
SHA256: 4820d45b54d7903675059f1015a685bdc1b75640f6fbbca47c8bc91a22dd4ae6

Size: 2,550,812 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_ppc64el.deb)
SHA1: 96bab9f6df89e809e83a38dfdddab257c91ea4ce
SHA256: 8e537c5e34cbc168c666e82198f5143e63363ac14558558ea848b150d789c5d0

Size: 5,588,964 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_ppc64el.deb)
SHA1: b15ee97155eacaf637cb6029365dd2c18175c827
SHA256: 7f0e0b35fcbf77f8c436124049864d16c87216016535a7caeac6b8a3105ab61d

Size: 168,356,284 bytes
libcvc5-dev (libcvc5-dev_1.0.3-1_ppc64el.deb)
SHA1: 53562fe21711988dc96b5e58c263ea61d944c9f4
SHA256: 5a0e16e5bc0efd29af6d381886505fdc24a184ff716071eaca6adc20b4e6c373

Size: 58,600 bytes
libcvc5parser1 (libcvc5parser1_1.0.3-1_ppc64el.deb)
SHA1: 86f0da7ffc5af1ac3653020a480995b5f931aef9
SHA256: 1557e67f622c92415fda840eef2cc7f4cbc778d2141c14b74e716e8be48ccb95

Size: 304,436 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_ppc64el.deb)
SHA1: 99d729507ba1a17178ad6f149cb8b839ee78142b
SHA256: fb5fc0d1b3a69e95c0648ce4ca1be4b67271a33e9446618df8b9b39701814abc

Size: 5,003,856 bytes

Other checksums

Submissions

ijawwp34
Submitted
Tue, 20 Dec 2022 12:10:35 +0000
Signed by
0x667113CDA6A60D2C

Environment


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