cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 4 May 2020 01:27:19 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Mon, 4 May 2020 03:55:36 +0000
SHA1 of .buildinfo
74f165922928af3a51cf1eb2bf2e571d1c05912e

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 1ada554057b8882a09c84812da3f4452a1e1d97d
SHA256: e30e8a1c3dd8ffe94d6183086aace817918de504d8bb2c1936381d11ad31c976

Size: 139,600 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: f9ac5e7dd6c0949e62d257a49e49f2b4af2ebb5d
SHA256: 2cd4ec784a8a9f76b71075f93b61b3c1face2dcacee79265908f1c45a38f07fd

Size: 4,510,144 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 70ea7599dd301591ddc3978f49d59fd08255cc19
SHA256: b9bfb4449cffed70be9b50e6f5c5b1442ae76622161dd522f2415742f00291d7

Size: 7,270,344 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: cf514a5aaff2cf165eaf649d4761f16624538ce9
SHA256: daddab46101dc0976ffe2e4da3f2ed8675454115a5afae87c112fa7cdeede529

Size: 367,472 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: a6b8d836789572c3d0ed5baed52c6c532a1c3e0d
Size: 6,585,040 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 5925bf56247db598b7c8bdd23bc0787008915559
Size: 156,933,508 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: f96f4dca28f3f3f0888cc61f8750ec0a81ede8a1
Size: 3,718,372 bytes

Submissions

nyrodjmp
Submitted
Mon, 4 May 2020 03:55:36 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"