Source
cvc4
Version
1.8-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 18 Sep 2020 02:14:50 +0000
Build-Path
/build/cvc4-bvfnfW/cvc4-1.8

First submitted
Fri, 18 Sep 2020 06:10:58 +0000
SHA1 of .buildinfo
255ade1ec88f7cd8e953db8fd0615ada512916b4

Binaries

cvc4 (cvc4_1.8-2_armhf.deb)
SHA1: 90da332efa87b560649a6bd7cb9a7fd83f734821
SHA256: fafd5ede9eedbadfe82bf3502d62f0bc9e267625f801b30a3845de071e628774

Size: 75,652 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_armhf.deb)
SHA1: f19914f4e3ef3e560ea2b685ffa1b242903d3c3c
SHA256: 55f9ab92376e9c19aa1a0a334439e84e9f1d1ee5210ca770a1d6207621c5f3a2

Size: 972,336 bytes
libcvc4-7 (libcvc4-7_1.8-2_armhf.deb)
SHA1: 46d4b7eaf0ee88985fa76a7256cc18281763723f
SHA256: b120a50085bd2d863cf8e5c44f421357bb17381a05112e33be9e6ae9800032a8

Size: 4,989,728 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_armhf.deb)
SHA1: bdf3387045437fdfee356f4fccb404eceecd922c
SHA256: e6b5a562ccb47025a35fdedcdaa99162a157eba27f6f66dc1ec745c47b5398f2

Size: 180,439,968 bytes
libcvc4-dev (libcvc4-dev_1.8-2_armhf.deb)
SHA1: 893ab43c6d54461746ee03e35804c2ef384d2ef8
SHA256: 54e8f4796d4ef13e0fc27703343743aea3b0bda3d35561ca81912091847d21fc

Size: 131,256 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_armhf.deb)
SHA1: 25b3a985c7a27e7c4ee49de69ec844d9c80e32de
SHA256: e608231d018463594419184fad58b5a7e41a91d4e0c078c326671edfb7a422d6

Size: 328,140 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_armhf.deb)
SHA1: e94e8533633f14a2767715a56b0df285ee7fadf7
SHA256: 24d20bf5e29d4e24242c3744411af734e8dce992b79543735c2b11d96a2b8bd7

Size: 4,998,544 bytes

Other checksums

Submissions

Submitted
Fri, 18 Sep 2020 06:10:59 +0000
Signed by
0x289DB3F819B2E0DD

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1600360149"