cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 29 Nov 2019 05:02:31 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 27 Oct 2018 00:40:05 +0000
SHA1 of .buildinfo
60b9eec751a2fa447309058a290a1754e10e21e6

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 5a9e6032bc627170ab3ab253644c1d6bff0d6abd
SHA256: cedac2f3a66cf3ab382a8658f51cbd739123b3a6f91dc357309b9d55c8fe6762

Size: 140,352 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 25911b189979944aca3cf9899814c4771fab0d87
SHA256: 2ddb3f67723fd7cdb1a178d2ec1657509e7b93e3e894064f04de9ed783fdcc2b

Size: 4,055,380 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 907570fbabdc12113aad407ea5e4fc8a350f292a
SHA256: 81d512acf25e377e1587dadb58327702c6526cf84bf752452680b7bff0b61a4a

Size: 6,714,612 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: fcc0db663510f89d93ff9a239d590a5e20868c1d
SHA256: ecd76f3cce729c79a8da156b30c85357e42c4c1368347aab64bea85e55fae0d7

Size: 362,568 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 2a9610069478f6a9670141d9fbb20fd87c3f11b1
Size: 6,220,796 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 674c69e0a36972b1846d83636a01dd9e52fa7893
Size: 151,331,516 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: a4d07b7cba807b85bef134e2ee40029d46df81fb
Size: 3,545,324 bytes

Submissions

nzxm7bqo
Submitted
Sat, 27 Oct 2018 00:40:05 +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"