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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 2 Jun 2020 16:38:50 +0000
Build-Path
/build/cvc4-0ffQyD/cvc4-1.6

First submitted
Tue, 2 Jun 2020 18:26:28 +0000
SHA1 of .buildinfo
84fee76f36de15a6d8e3dd149c89f1ab955ba73c

Binaries

cvc4 (cvc4_1.6-2+b3_amd64.deb)
SHA1: d78748fa222ca6d8d2db76200166664b674cedbc
SHA256: 07a2630222f79e5b27ae7a896a82bc82aabc524313aa1558585c5c09c2fb5518

Size: 141,248 bytes
libcvc4-5 (libcvc4-5_1.6-2+b3_amd64.deb)
SHA1: c862392c5e517d827e81112e85461b553b993f4e
SHA256: b3156514605c57f1296f8ed391ff6c8e8028cc1761dd9242e849a8da784f1c8b

Size: 4,510,656 bytes
libcvc4-dev (libcvc4-dev_1.6-2+b3_amd64.deb)
SHA1: 2d990249a4d2095c6321c7661d29030151557062
SHA256: 52ee1dd4e2793eb71efe25534d6899fab4a2a3978260983959e06a6d68f11408

Size: 7,274,380 bytes
libcvc4parser5 (libcvc4parser5_1.6-2+b3_amd64.deb)
SHA1: f2879fa74e9e99a4c83c71a83763f8845cec1387
SHA256: 8064ad9b31d37f15bcb808318cc6322247495fb55cd74d05ddf64699061194ba

Size: 368,620 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2+b3_amd64.deb
SHA1: f40e270a2f9671a5bf898dfedc7036cabc46b9a7
Size: 6,585,192 bytes
libcvc4-5-dbgsym_1.6-2+b3_amd64.deb
SHA1: 669e35b51f41d969f69e92f49682b57a9df5564b
Size: 156,933,352 bytes
cvc4-dbgsym_1.6-2+b3_amd64.deb
SHA1: e247cd3ae306af5ac130c2e345bdbef338529561
Size: 3,835,372 bytes

Submissions

qa3vkzgg
Submitted
Tue, 2 Jun 2020 18:26:29 +0000
Signed by
0x27D29D008F31F3CA

Environment


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