cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 12 Oct 2019 22:07:50 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Sun, 9 Sep 2018 18:18:35 +0000
SHA1 of .buildinfo
c0eff773898dada1a79c3046e59fde21e4a5be3a

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 972acb3f0375d2e5c6e7728745fe5fca092808fa
SHA256: 373661c6df782acf3c7a37dd837756405d097d8a471985ef1462d2e0dfbd2d33

Size: 143,172 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 8f009275cf29be39246c8e05ac3760b7e1d27265
SHA256: 7ef93904a670c68227f8980c83471bda3da2fe9b08af624e2f4d1e6875ca000e

Size: 4,506,380 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 09eb80e47fbc2d0ac35e44e3253743069321156b
SHA256: f568850b19bec4cafeb61ab49ee05acc972f14531f6762ca6f2f6452d59b1159

Size: 7,211,696 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: 83a56682a536a2abb158aca48ad7c6a9c76e2b70
SHA256: 2eb876db84ae042e8c83fb03241c8d1205530d9ef1cfb3a308437614cca3de8e

Size: 390,596 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: 22e128fad6c337b530d99bbed773444e75d0cfa3
Size: 5,968,996 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 5a84141c7b887759abec33230ef7e7f2bf2630a9
Size: 147,809,784 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 6f65f0207061a6c6405d2cab4906e00c7227dae1
Size: 3,479,612 bytes

Submissions

aknjn44f
Submitted
Sun, 9 Sep 2018 18:18:35 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1534078846"