cvc5_1.0.3-1_amd64.buildinfo (view)

Source
cvc5
Version
1.0.3-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 7 Mar 2024 21:48:28 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Fri, 3 Feb 2023 16:47:54 +0000
SHA1 of .buildinfo
f0dc0cc8e57a5a4f70243fe0d5f8324303716dbc

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: 2d7fe7ff18b78c91d8ab6e9a949aba928263fb20
SHA256: f0a73952e4aed8462d81dcd584b19d7730ede223a50130a68fe76f399e9448fe

Size: 107,500 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: 73ae6b51109681dd768d6a6dc8abdbe273243aa8
SHA256: cd382d76410abbbcdec0293cf2894e072bdb31bf6c48556f052da33c5ea6a057

Size: 2,544,384 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: e699892fd1b43cf6df2601ba55478388b50183f3
SHA256: ea8ac6307195de1f687ee77bfa2f1d43dac0dcbd404347dba3a85936adf2272b

Size: 5,842,676 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: acf5d34201a7ebee0f6bbc21eaee10a7bc6ef763
SHA256: 5f5da13fc16e8a5b8987488afe53078148d60e3c970fec5c1e82cf2df0c18d29

Size: 169,520,156 bytes
libcvc5-dev (libcvc5-dev_1.0.3-1_amd64.deb)
SHA1: bd6c85c710c0a11fed4b6e56e7a2eec7d8bacb3a
SHA256: 4fe154341f1e0f7627360e0a13ae594d29a03fe7eb51e0f30f1cb0cee3021149

Size: 58,584 bytes
libcvc5parser1 (libcvc5parser1_1.0.3-1_amd64.deb)
SHA1: baec19a9aeaebbe89c02d7666fada9d2408b9fb1
SHA256: 6824e04645513563191c5fd98dc5d4c0bd0d2bb117a02b814d7473bcb8f8dd9a

Size: 306,296 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 0af463e7d833ffcd255dfb4e2cdfe3306b4f3436
SHA256: d72aa2fd05ecfbf446ee9a0666f5b5195b23307105adddd853772412195f0952

Size: 5,028,084 bytes

Other checksums

Submissions

gmf7vmab
Submitted
Fri, 3 Feb 2023 16:47:54 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1671500150"