cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 26 Sep 2018 18:29:15 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Wed, 26 Sep 2018 20:29:34 +0000
SHA1 of .buildinfo
44e53a7bf56388b26641315752de02485771c755

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 3df0f70b9178d694b63813e1a87c6546bbec097a
SHA256: f8f1078b493b94763652aa9e17784688196af963b0ed3c4721973ab429c3c0c3

Size: 140,268 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 168c40a8806e26af983b4ceae66ae120395ae761
SHA256: f541f01655c11f29fde1c348d19202a7c7e12e48b0d33d3f0dad4c7bf2e54308

Size: 4,058,368 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 45dbbab06708374dec93697e264eadc98dd0d71d
SHA256: 27ecd77ab9b4e8e94d712cdbc8a93db47edfc0f92cdff99f4ffb5530747c4870

Size: 6,713,504 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 1b1fb481eaedbcbf86bb8e0064b29408f11ba3b9
SHA256: f6c651ade30beea5ae1f7716191a374d7b9e593d7b33445d921f82c7b89d743e

Size: 362,676 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 0130a105e3a10bdf34d30b6aeff21086bda68086
Size: 6,231,248 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 2a695dec88f08c20cd1c5c830a6612608dc93f4b
Size: 151,566,584 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 260155820afa86dd3f50180f776e4dcb3fe356af
Size: 3,556,676 bytes

Submissions

ijgi4tv7
Submitted
Wed, 26 Sep 2018 20:29:35 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"