cvc4 (1.6-2)_1.6-2+b2_i386.buildinfo (view)

Source
cvc4 (1.6-2)
Version
1.6-2+b2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 14 Jul 2019 18:16:09 +0000
Build-Path
/build/cvc4-IaOCs9/cvc4-1.6

First submitted
Mon, 15 Jul 2019 00:11:13 +0000
SHA1 of .buildinfo
58f8add7ac2945522212f77b630b6bac17606d74

Binaries

cvc4 (cvc4_1.6-2+b2_i386.deb)
SHA1: 3bbf3c4fadb10d010354363d3f5b6966cc76f93e
SHA256: bc23b7854e925ea960a5ede362da3896ae923046052df54b288f2a02441feaf7

Size: 142,816 bytes
libcvc4-5 (libcvc4-5_1.6-2+b2_i386.deb)
SHA1: b92fad3b940a231c60018ec21e141cabc5fb9729
SHA256: 7c0d217ee8608afe89edfda3f865d03bde82bae95acac9e2491e73c619700222

Size: 4,643,164 bytes
libcvc4-dev (libcvc4-dev_1.6-2+b2_i386.deb)
SHA1: d80d7961e4eb2d722b7ce47f9bc71dfca8c744e2
SHA256: 4fe602e2ca5c075e162921df2126c731e9aa5da8c340c3c2657dd7fe2c9d60dd

Size: 7,345,252 bytes
libcvc4parser5 (libcvc4parser5_1.6-2+b2_i386.deb)
SHA1: 352b48d2c738dfe9900a04f6835201b0e9260987
SHA256: 1f9edebcae7765274031d661547db837ffa2e897f278bc9974af4209a28c1ee4

Size: 390,716 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2+b2_i386.deb
SHA1: 6fa5c012a15fc87ba63fa3eb6d4f17a044bc1cef
Size: 6,006,456 bytes
libcvc4-5-dbgsym_1.6-2+b2_i386.deb
SHA1: 5889de5bde1d5e2173a01073a86e40c96a833e79
Size: 148,836,996 bytes
cvc4-dbgsym_1.6-2+b2_i386.deb
SHA1: 20e4d08b84dd9ae51bd888beb4cb47bfc8d55fe1
Size: 3,517,176 bytes

Submissions

agauuxys
Submitted
Mon, 15 Jul 2019 00:11:13 +0000
Signed by
0xB6798C98C3897D0D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1563126598"