cvc5_1.0.3-1_arm64.buildinfo (view)

Source
cvc5
Version
1.0.3-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 23 Dec 2022 00:10:24 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Fri, 23 Dec 2022 02:39:37 +0000
SHA1 of .buildinfo
dc42bfe55bf5966c2ed1f681f4cddb0c9247c01f

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: 09aac0b32142f4f168581c4182a244e84fc728b9
SHA256: 357e129b0fd3150e567da87c2b8a4b540beb0f0fdffca420c770acf173096173

Size: 97,544 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: b7f4f7568f5dea1addc0d8aabc470af3e258a1ab
SHA256: dbf2561fb4d0c34cefa0c1624070b2b150173b3297d16af72765710dd26286f6

Size: 2,522,856 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: 49e525ea88c1e797c1a1c38161e7accc0db20479
SHA256: 17be2475e4c075be66667b5f53b953bd78d51d272c74378ce64db06b3ad6a680

Size: 4,944,084 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 0dc9532ad340b7152d3cdb50163ef4d8973e8b3d
SHA256: 4cedd88d83b52f31a218c382abebd5d500bebfdead7bf4fca322f2a7a3ce7fa8

Size: 165,903,228 bytes
libcvc5-dev (libcvc5-dev_1.0.3-1_arm64.deb)
SHA1: 7ddb81da21803a2ca6fd82ef8feb78e045233b65
SHA256: 53bd799580c1216c334e7e91a4d0c3cbae3218a8dc76548e725148b86f19bf95

Size: 58,576 bytes
libcvc5parser1 (libcvc5parser1_1.0.3-1_arm64.deb)
SHA1: 080ee0334d1fca6e19359580798897f5ac358705
SHA256: a57e840a0d83c4491d5786174a7f6e2f25f27df5078a0579af28155e54891925

Size: 273,656 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 10625237b60b22233cd32953632825ec65d387b5
SHA256: 2a184cdaf56a61e827964f41e1f446a67733e4b15d09123ae321ca1ee59440ca

Size: 4,867,072 bytes

Other checksums

Submissions

imqbmbmu
Submitted
Fri, 23 Dec 2022 02:39:38 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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="1671500150"