cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 21 Jul 2020 22:15:04 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Wed, 22 Jul 2020 00:27:04 +0000
SHA1 of .buildinfo
1b553f8c8541dedd40b7aff52cee50af7e1c2dde

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 5acc1b02887d95294e70ab01a7df924a0ca5b950
SHA256: 85213ced9d27fa40e3ffc2f8e5c11556f7e048b44fdeba9ee317e45775f8ebad

Size: 141,324 bytes
cvc4-dbgsym (cvc4-dbgsym_1.6-2_amd64.deb)
SHA1: 8ebb65ee341d655f1c30e89346fa205f6aa0f30a
SHA256: d40f93133aaa470a614750dd00fb40f6efe050fb906f6526f0664438003511b6

Size: 3,823,100 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 4ca3b8394a79a29eb04f0ff842b45841be0e8404
SHA256: 6d8b14e5b4f38e36ac7f0e34d3bfebb5f8005ce37bbcbb0faf548cd3ad76d7c5

Size: 4,511,976 bytes
libcvc4-5-dbgsym (libcvc4-5-dbgsym_1.6-2_amd64.deb)
SHA1: a74cfdf25a9d8370515b05e04d55fd2e9f3833fa
SHA256: b281035e6caeb73e34c9dc190635319c6048712a6999b77d7c416c06a450a16d

Size: 156,948,292 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: abcb0536393af3391b4a1080132426282cc77b08
SHA256: 5d8a11fd109de4ba5e2d65cd60d6d65bcee44923bef3a4776a276e31503e8dff

Size: 7,275,204 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 84b73c8f323b7d7e4863dafe373c88b83d53ac94
SHA256: 8cd5c4e4ab53ccf1e2630defecf43fe1d3f6cd04e99e3be6579f1fdf6bf051b3

Size: 367,508 bytes
libcvc4parser5-dbgsym (libcvc4parser5-dbgsym_1.6-2_amd64.deb)
SHA1: f1ae9d0ca9b714c784aea068366182898d7aa425
SHA256: 2e465820da8b8ba5e0612af7b18c121753a35c586989e9e7005a74503c7f6e6c

Size: 6,587,304 bytes

Other checksums

Submissions

qcshnaum
Submitted
Wed, 22 Jul 2020 00:27:04 +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="1534078846"