cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 21 Jan 2021 00:31:12 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Thu, 19 Dec 2019 20:08:39 +0000
SHA1 of .buildinfo
2930056bf7b1dcf4deed42353a481c260a7322ce

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: ff37244c3846c90c9eb3734428c97830bf49a640
SHA256: 0d01755ad25a5405b59abe9d52290f385638c1c4a2565f79b098e0d5a8d60b7d

Size: 4,511,332 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: e82014b5a1bb0eacc21eb81b932a90341ce7268d
SHA256: 1e02f22cf1728374aa23f5af43fcb583e1cd1ce83dcf06bd991c6652249acff9

Size: 7,280,860 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 6744bb123a4b505831fe24b7bc1a89c823afec7d
SHA256: 87c6e97847665107c5726c5819d82168e3e8dd4612677acbfea1a679aa58e7da

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: 7d6ed6a6e614c5c40084000d0733302f5ead8191
Size: 156,411,276 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 8de6c05a5d081f0d11750a0cea6f3a3dd4c2b467
Size: 3,690,928 bytes

Submissions

kf47sjej
Submitted
Thu, 19 Dec 2019 20:08:39 +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"