cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 11 Jun 2021 14:27:37 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 9 May 2020 10:04:53 +0000
SHA1 of .buildinfo
e19f9a777ee1db7a4e9b44d7a48f36d3c84f6bfa

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 8cff2e930e74a519b76a7f4fedbe9909e2f4becb
SHA256: 02dc722738894306ed0c13b6d78a09f963ec9fa22da6d6c2fb8eb8ddd0480705

Size: 138,040 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: acad911d1e7c40eed3279bb205f7d878dc4a14a9
SHA256: b895431e7b288f8af208753ab4206296433487c1c42ca9c03504e0cfdb7fe866

Size: 4,165,916 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: f08ccfd6f89f6265f3b269cca9e094f83181b1d6
SHA256: 18c178416da9fa465326a9331e529c918406745e795059cde0d3b8d067021187

Size: 6,821,628 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 903020c376addf2fee81b0155eb1c6d9090ce1f4
SHA256: 94e4f29ed8fa93f684d02fb88982e15a6be2283532ef25c9b3073b8ff81648b6

Size: 362,200 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 78dcee6580e6d9453a7f7338e68edf1ccb7535e2
Size: 6,259,312 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 5ef464a512bfcf7aef7c87dcc6916f62b8e21c40
Size: 152,731,712 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 86c142e12d2ae3aa8afbba350df9ed8c50fe58ba
Size: 3,600,168 bytes

Submissions

9kpdrjpm
Submitted
Sat, 9 May 2020 10:04:54 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"