cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 24 Feb 2020 09:52:32 +0000
Build-Path
/build/cvc4-1.6

First submitted
Tue, 22 Jan 2019 06:18:50 +0000
SHA1 of .buildinfo
2eec51dd0ef5eb9aef900f8d6d263a5684644cd9

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 248fbc90ab0d1a602421bc0522ade8e6d3cad5c7
SHA256: d89c160391a94beac882a15f1bd97e166780c9aefb1e62b15c00b7ffaf0e9687

Size: 135,680 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

mvpao7xd
Submitted
Tue, 22 Jan 2019 06:18:50 +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"