cvc4_1.8-3_amd64.buildinfo (view)

Source
cvc4
Version
1.8-3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 18 May 2023 11:31:52 +0000
Build-Path
/build/cvc4-1.8

First submitted
Thu, 18 May 2023 14:12:45 +0000
SHA1 of .buildinfo
453c83954b845fc70e12302821ac037de9ff1e5c

Binaries

cvc4 (cvc4_1.8-3_amd64.deb)
SHA1: 15d80f0aa584752345694bda2831414985fe574b
SHA256: a2ecff4c79683b4db7f3e2629966e4968ff98b21bf34347f0a9f17509f29a5b1

Size: 80,656 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-3_amd64.deb)
SHA1: d334431a1e48594fde169e7e0288dd433f4d8490
SHA256: a9cc7d349bc5c1abef4f2dd6d107ffa0be4af6813debb360b81ef312c061551e

Size: 1,026,124 bytes
libcvc4-7 (libcvc4-7_1.8-3_amd64.deb)
SHA1: 13f71cb5daa0dca3ef1a43de02d1a3e3563e7267
SHA256: 04878b13b652e4c1914b120ec715a4c587521371ac78c127c2583405a69d2ecd

Size: 5,942,624 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-3_amd64.deb)
SHA1: 416870a10cd340cad0f728d0adc9d8ee5dce3c53
SHA256: cd7f0aadb9098d1cb28877fd448e9f92cb03ab2266014822983cfaca4547ed0e

Size: 200,650,208 bytes
libcvc4-dev (libcvc4-dev_1.8-3_amd64.deb)
SHA1: 58b2c94e03bf7cbe926af69da51c818dd687e587
SHA256: f5bb757a5dae91a3aee3916c0dd7029e9ee8631483b167c47f9f3f8e13866887

Size: 131,188 bytes
libcvc4parser7 (libcvc4parser7_1.8-3_amd64.deb)
SHA1: 3077448132941678b5f11dcdc44f9f9a3420c894
SHA256: 06190093241b70e27ce8c3034ffa1c701b1e25821a50896c958a6fc2781ac23b

Size: 362,000 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-3_amd64.deb)
SHA1: fd2a5236139f0aefd50169a52d4dbc937c6d7da1
SHA256: 1cefa42d30580c8e4a8c0fb0e8b25da71f4aa86ae5f67c9764265d5ba66dffeb

Size: 5,453,440 bytes

Other checksums

Submissions

citnyhdz
Submitted
Thu, 18 May 2023 14:12:45 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1667069380"