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, 9 Mar 2023 13:37:13 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Thu, 9 Mar 2023 15:07:17 +0000
SHA1 of .buildinfo
b7d9b1a2d0bf5e876d093f524d69163e7ac1129d

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: 3fa3afdfab029078ccb9fe9e37fa35727abd9700
SHA256: d29522b55adf43bcf1e6d31c27d0eab9eb5e2fa7077b3cfe0f4fb0a37aefef33

Size: 5,841,744 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 7f347a33d5e6f09e52a20e30713ee42886cef855
SHA256: 0fe451c0a1d23b803f988ce43e090ed09af0d334a66217259450786434dc0f30

Size: 169,520,064 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

gfnq97gj
Submitted
Thu, 9 Mar 2023 15:07:17 +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="1671500150"