cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 9 Jan 2021 00:43:05 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 7 Dec 2019 20:47:07 +0000
SHA1 of .buildinfo
65d5a9034e853826c7a0bb6487e2342eddd5f2f2

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 95294fd84b4708cf7f8725efb7f06423e10d7faa
SHA256: 5b9afa9055c6cc47c81638f51fee88a4cd121ed2d98aa4c3b758578815c71ae3

Size: 139,596 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 8dec66d75b231eb0c28fffaca4d8e1d7c0f8712f
SHA256: 4538ab00dcb36215e9f5973100fe75bb2a20309d407bde6dd5a568cd5ef298e1

Size: 4,510,604 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 708e615f15391900f1e911820b63571a4a8f63bf
SHA256: a29b44a448397e9e972fce91626cad791a0d76d6842a7263ba121e4619bb8435

Size: 7,274,788 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 578f657d3d6c0a60ed96105faad9ff79c4923f57
SHA256: 5fe042ffc39b0901f719a305045672fdd4950d9887e7ee06397e029101b84b5b

Size: 367,584 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: f98a6a4caae044c13de31a70884495f6fa59425f
Size: 6,536,496 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 204361168d4ef7669b7f0e584063e9a7018c0510
Size: 156,411,524 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 8de6c05a5d081f0d11750a0cea6f3a3dd4c2b467
Size: 3,690,928 bytes

Submissions

7vodvicx
Submitted
Sat, 7 Dec 2019 20:47:08 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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