cvc5_1.0.5-1_ppc64el.buildinfo (view)

Source
cvc5
Version
1.0.5-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 20 Jun 2023 18:10:33 +0000
Build-Path
/build/cvc5-wPeoGK/cvc5-1.0.5

First submitted
Wed, 21 Jun 2023 00:12:13 +0000
SHA1 of .buildinfo
a3ccb913a39bf389b4b44ede45a3eed61867b913

Binaries

cvc5 (cvc5_1.0.5-1_ppc64el.deb)
SHA1: 4d10e1bddb2c209534af04a42e9d0ba0d16b889f
SHA256: 60cb32e3589b985be34751b5fe8a70f68640900ad197ff2add26664e8023c797

Size: 94,988 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_ppc64el.deb)
SHA1: ff4b39b7b07ea148671ae5693120ff7163b6292d
SHA256: fc3b7f0a081d8ae32d7ad18d89d4d4269eb6c4e11ea03281e1ffb37baa501afa

Size: 1,814,864 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_ppc64el.deb)
SHA1: 1664ab1f214d8448c37dc2f0ae46d2d3f6be74c0
SHA256: 7d94f6b61ab22e2f9d39b3ae26063421c7ab5fd5b2c47a7c3268fe5a2da4c4bb

Size: 5,645,344 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_ppc64el.deb)
SHA1: 61701dcc4b9a1004636c39ddd0dfc69de0a1e75e
SHA256: 67d97a3055ec054ab140a685a4362692ee23a3cecf4ecb492294c9ff9a8cb530

Size: 169,467,436 bytes
libcvc5-dev (libcvc5-dev_1.0.5-1_ppc64el.deb)
SHA1: e7fed953bfa07c52627165a9453ebcef6182fe00
SHA256: b9fa255cea8da260cdf267df269b4897e2b648666cd08ff096eec45f3f873f80

Size: 60,572 bytes
libcvc5parser1 (libcvc5parser1_1.0.5-1_ppc64el.deb)
SHA1: e8ed40b89bbd96f99e810863e5ad8a8de2eb8c24
SHA256: e7762df1a01e9930f770325cea99ec313c3a3c3a1be68cd814f4fc9528ced162

Size: 361,664 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_ppc64el.deb)
SHA1: 15bf7ada7c3bbf4f1c07f633e62e4c006ad71053
SHA256: 4b7348c8e915ea0ee00104568ec43e1b1cf449c85c35b43baba9ec737d59228a

Size: 6,133,708 bytes

Other checksums

Submissions

fkxfz94d
Submitted
Wed, 21 Jun 2023 00:12:13 +0000
Signed by
0xC96F0409A8F66F2A

Environment


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