cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 3 Sep 2021 10:09:26 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 1 Aug 2020 05:46:41 +0000
SHA1 of .buildinfo
fa636aff7820a3a610ad85f8abe3d703700af371

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 7441890082c05f8015f82c26e605260052c7b827
SHA256: d7d4163a66622e6a39c861981271974edecfe835c153178aa29b3784edb39238

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

Size: 4,511,976 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

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: f1ae9d0ca9b714c784aea068366182898d7aa425
Size: 6,587,304 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: a74cfdf25a9d8370515b05e04d55fd2e9f3833fa
Size: 156,948,292 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 8ebb65ee341d655f1c30e89346fa205f6aa0f30a
Size: 3,823,100 bytes

Submissions

tcyvkioo
Submitted
Sat, 1 Aug 2020 05:46:41 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"