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
Fri, 17 May 2024 05:59:13 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Sat, 15 Apr 2023 01:31:33 +0000
SHA1 of .buildinfo
6dd64ef5121bfdab5c2dedc9a78cae6c79ea0dd0

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: 34c7a02a5ac40a0c68bc1bc39106bcd6144052b3
SHA256: be7b7ff35f32cce1af504a03213300a2eba61da6ecb31ec9a600f369136155fd

Size: 5,844,412 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 38272fd58132b6dee057b996d6c333fa3adcca33
SHA256: 505cb9c0a4d3b9edf2070a74385d43aa65eeef40d3034eede3104f9a67012de7

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

yctkcngd
Submitted
Sat, 15 Apr 2023 01:31:33 +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"