Source
cvc4 (1.6-2)
Version
1.6-2+b3
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Thu, 4 Jun 2020 19:18:23 +0000
Build-Path
/build/cvc4-SbbLFK/cvc4-1.6

First submitted
Fri, 5 Jun 2020 00:11:50 +0000
SHA1 of .buildinfo
9843d0745d0a397dd61b658b0f59a8a6e4e8176f

Binaries

cvc4 (cvc4_1.6-2+b3_mipsel.deb)
SHA1: 2fcea8552bb199cd6c9263525d3e5ee6d9a2924e
SHA256: 3e88438d082d27a455170dcfc8b6e70181a3fbfdc66a94225d8e62560a3a999e

Size: 127,728 bytes
libcvc4-5 (libcvc4-5_1.6-2+b3_mipsel.deb)
SHA1: 3721057fd46552a70e510ea45e2a1992fa742867
SHA256: 99e1afb135a5a35333a1e63571a5c6f25945726be693769c9dbfb32253620198

Size: 3,474,736 bytes
libcvc4-dev (libcvc4-dev_1.6-2+b3_mipsel.deb)
SHA1: 5e1f04879e30bb942dbc8c5edac313c85d594a32
SHA256: 9f80dba2a08402137391e31cbfce3435648a49a728a928d1b65fc39521f0efa4

Size: 7,647,300 bytes
libcvc4parser5 (libcvc4parser5_1.6-2+b3_mipsel.deb)
SHA1: 1939d32f661cbc157fa4f5ac187f007427156dbc
SHA256: dc173b0cb6e0375efa511c380c8cbea91f8db8968d990e1c93d9a77fb880212b

Size: 304,656 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2+b3_mipsel.deb
SHA1: 3117531afa318616f88993321b897e425522de52
Size: 6,343,060 bytes
libcvc4-5-dbgsym_1.6-2+b3_mipsel.deb
SHA1: 8394a3936164595fac6227c0286a4c1941a90543
Size: 159,298,704 bytes
cvc4-dbgsym_1.6-2+b3_mipsel.deb
SHA1: 317dfa2e76db46668a0cd8ae4910ffb420446eec
Size: 3,744,640 bytes

Submissions

Submitted
Fri, 5 Jun 2020 00:11:50 +0000
Signed by
0xA97DC8BF05A693C3

Environment


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