cvc5_1.0.5-1_amd64.buildinfo (view)

Source
cvc5
Version
1.0.5-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 24 Jun 2023 16:43:57 +0000
Build-Path
/build/cvc5-1.0.5

First submitted
Sat, 24 Jun 2023 19:32:15 +0000
SHA1 of .buildinfo
8186abd9c8d0f41a14b06684c730e0973998bb91

Binaries

cvc5 (cvc5_1.0.5-1_amd64.deb)
SHA1: 93c3a0fdd83ded44f092f0749dafd89e9220b26f
SHA256: 2ad3091d8697a7ba9b9bd04bbc330ca4518f8e9b70564bcba4fb0e9178aa5e1c

Size: 109,028 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_amd64.deb)
SHA1: aae176a22cc0c791001795ba742ecd4cc29b1f35
SHA256: ff4b185f17061c9d81e3626b231be8e7f128d2d0a5b8996431c73f91f68f9f86

Size: 2,549,684 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_amd64.deb)
SHA1: 053251bc10ef6aa6df6d33f9d0a3ac476f021db4
SHA256: 66b35747e1eb45ce62560e028a4295c218ee0bfa05c94d1e3989464880ea05c3

Size: 5,928,296 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_amd64.deb)
SHA1: 80dae75ec08e47fe98af6c1dc573311213f1ea7d
SHA256: bc542f3c4c669152b60d3e3448aa839a77e8faed2e4b6f6116dda6cdb6d2089d

Size: 172,653,140 bytes
libcvc5-dev (libcvc5-dev_1.0.5-1_amd64.deb)
SHA1: 09cac8393fe7a1586325aa1615d7c4a8aeed7ccc
SHA256: 41aeb75f103667f57342c6dba1d6c474d11ab55084f39a2399d218cfd8e88664

Size: 60,572 bytes
libcvc5parser1 (libcvc5parser1_1.0.5-1_amd64.deb)
SHA1: 4579f752996d80dad17f54999545e4de877f41e2
SHA256: abe2d37cb213d94491ee9d61a9aff72069c90bbde0cf9c3098e334640f3f2d2e

Size: 371,416 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_amd64.deb)
SHA1: 87dc54064b1d8d14890035248f32cc118a2bcdae
SHA256: f54a3b9b2b249921426579fb5b97b3177e50a5d4bfa48547708334e099af0325

Size: 6,482,104 bytes

Other checksums

Submissions

pwutho9m
Submitted
Sat, 24 Jun 2023 19:32:17 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1687277466"