cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 21 Mar 2021 23:51:42 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Tue, 15 Jan 2019 14:41:43 +0000
SHA1 of .buildinfo
e957473e2d0ac42524d9993624bc00268fadff5c

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: a447de0852d6fd78ef3d5515385c7c223a4683e3
SHA256: bdb9f831cf7eea20eba760fae80d3d4824cd35ae2a0a3ae7c6d53bb4fa24eac1

Size: 135,684 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 3d6eb814766a6bf33b36e5bad61b5c5fc9c5e751
SHA256: b540ac4373d5f788065950a95ce12738310fefe5860660b145629dba411f20d9

Size: 4,057,972 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: fd1a02843e4c8aefa9b95c261d57883871b3b8ba
SHA256: 97f452c81b2c204234fb48fa203975a871516574e57039274fd6540b97b73daa

Size: 6,713,320 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: cbd954c1cb2180b5a1914ceeb45e8b7af9bc8400
SHA256: 826424324066ee0022de3aeb4e2726eb6e8f62a920d30b564d792a3686c6d657

Size: 362,796 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 4b891fc561e8b3ce2fa5bea17cdc86aed3ed7558
Size: 6,265,864 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: db69ab6f6a3494ffeed6d58a46096bb6092fc170
Size: 152,442,360 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: d4c274230d56549d29b4f3ec6fc76ca39c700483
Size: 3,584,100 bytes

Submissions

ejfgd7ht
Submitted
Tue, 15 Jan 2019 14:41:43 +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="1534078846"