cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 12 May 2021 12:43:55 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Thu, 9 Apr 2020 08:49:46 +0000
SHA1 of .buildinfo
a93cb57690162d3abe03ffd02a89f2cf7b90a82d

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: e19d6d676260c8ab281d686d6b9ce05687e873e0
SHA256: c389d7fff496be286f14c98d1b7be6af5a44b6ccbf78cac019d33c795836eb43

Size: 139,372 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: b439961efa34863b43ff1a752d4e796852e42f4e
SHA256: c1340c4464453847ec339c8f0f5a8cd2770b9cd5b6ee7144ede91f451c48a0bf

Size: 4,511,024 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 3622a1c36a255ded90a8244ec0f77eb5e321e1ac
SHA256: 8e14ffe82edeecfd06f79c7717e201fd6fc31a8839191e27dcea7e99c692a0be

Size: 7,270,896 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: beb9b46bcfe90e37e1df67966440f09a91718a3c
SHA256: f48beb1ac5f6c19a1fdac04f93bf30e0830c60606fd475267f5886c1c7978dca

Size: 367,972 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 96c43b55a55fd5f8f6419d7794950f303d78fb95
Size: 6,584,648 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 221db34f0b163154a25d8c933ff3dfd82287420c
Size: 156,926,972 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: eb3459bd6b5330e8eb0b0fb791e5cb2175295ce5
Size: 3,718,720 bytes

Submissions

ebnmpfe4
Submitted
Thu, 9 Apr 2020 08:49:46 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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"