cvc4_1.8-2_arm64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 11 Aug 2023 21:50:47 +0000
Build-Path
/build/cvc4-1.8

First submitted
Sat, 9 Jul 2022 20:35:20 +0000
SHA1 of .buildinfo
c2e1b794ca259c4caf7311ec3df42bced52dbf67

Binaries

cvc4 (cvc4_1.8-2_arm64.deb)
SHA1: 5e5d0543aae1e96247debd2e2dc6b08771015191
SHA256: 08e0496b4a1e7ab5322a8bdee2c70346e026cdbf1667d7ab1bcf3990f882cb13

Size: 76,232 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_arm64.deb)
SHA1: ae39af440b5c1307dc982779f3a9aa648f024ecc
SHA256: fa5c4a4e892d143f2e1c172d095bc4db4bba38315c932289b30c7973d83ddba1

Size: 994,760 bytes
libcvc4-7 (libcvc4-7_1.8-2_arm64.deb)
SHA1: 8c74c9209c364b416d1f3f15453ad9d9af0964c0
SHA256: 73a17f2e8ac1498d3f02ddd5dc3a882cabb8f59dbee7a93014145d230803d278

Size: 4,931,884 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_arm64.deb)
SHA1: 35af9c37a5ca1d44c1d89a7245f342ecdeabcfcd
SHA256: f3705bb25635e622e47b24175bbfba8325ed147183bdc45768112797c8b73c24

Size: 186,111,844 bytes
libcvc4-dev (libcvc4-dev_1.8-2_arm64.deb)
SHA1: dca06cce01371f350fd0d662b947a913f78ef0e7
SHA256: 860d7b9addbc9946aa232a9161b4ffabfb9dfcff2247a151e61e12facdd8b364

Size: 131,268 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_arm64.deb)
SHA1: a049f5d3c688923a5bc3116bc7d7f73337dd8a9e
SHA256: 093a18f89b193fe122bb54781b57562306f830b6a3c19b4e1de6d04e3c403ae0

Size: 325,492 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_arm64.deb)
SHA1: 8af66e0f80e196dd0c8a28af68cacbcb0831e1c8
SHA256: 25a430cf4756c6a473ef44388e07d37db4eaf9e43e06c33dd1e14b72749ebe36

Size: 5,221,740 bytes

Other checksums

Submissions

tmfvuqah
Submitted
Sat, 9 Jul 2022 20:35:20 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600360149"