cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 26 Apr 2021 01:32:28 +0000
Build-Path
/build/cvc4-1.6

First submitted
Mon, 23 Mar 2020 21:47:00 +0000
SHA1 of .buildinfo
2c7452a6ded3616e066e017800bd7a6df55c009e

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: fbb35652b5d2f4767e2b3c5fe5296b3cfef3bc75
SHA256: ad113619b0f0798af8dbefdfa2cd035731bc69729ada96859089465214c40def

Size: 139,480 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 64cc997be1c2ed648c103667cb2387c891ee11a1
SHA256: 7918b8ef3694fd96ad7d730778ff5065389c46ca9957602f15259e2da7ae3ea1

Size: 4,511,312 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 821e981141b4f6d6d193408b97423b84a9c1e727
SHA256: 011245d60cbe103a135d911496a4b1f47302b72d7c785fd841ceeea248670a77

Size: 7,278,932 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: f4fb0e0154e95092e76a4b8f4f090fe9f9a66c47
SHA256: a17f2e3d3c0fe4a748e5efe6fa49f6580de5e45bf38d7f0b5b75f7634824cc90

Size: 368,388 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: fb197c3f65ac70c146eb3e8806284924d99fb7f8
Size: 6,583,488 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: b115d9aee1843c86a7dc5ff5ab152bed51f192ab
Size: 156,923,536 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: c9bdb70f2d12ce26a05aae64e76eee3010db8ac2
Size: 3,719,680 bytes

Submissions

mfynjsui
Submitted
Mon, 23 Mar 2020 21:47:01 +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"