cvc5_1.0.5-1_arm64.buildinfo (view)

Source
cvc5
Version
1.0.5-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 25 Jul 2024 09:58:45 +0000
Build-Path
/build/1st/cvc5-1.0.5

First submitted
Fri, 23 Jun 2023 06:50:13 +0000
SHA1 of .buildinfo
09ea2324478fa08d14ccf107e57dccdcba97a399

Binaries

cvc5 (cvc5_1.0.5-1_arm64.deb)
SHA1: 95180fb0778d134e355eb6c417374a8fae17d826
SHA256: b67c7412081f6b35a79514ed4e7ff992bc921a97ca9bed790574c23eb88d0f1d

Size: 88,188 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_arm64.deb)
SHA1: ce41a2525bd00ffe3c69c1296d44e7f7bedf4d61
SHA256: 033865e1d7d946394201e3bacf028bf2c02d07566b069917dc0400f7fcc29b6a

Size: 1,800,424 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_arm64.deb)
SHA1: e45266169d01fafe18d80e2dfdc5de4ae2f3e0b2
SHA256: de8c59f8f763d553676dbd966f722bbdf077b38fc7e4a03eacf41d3659ccd6bd

Size: 4,987,020 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_arm64.deb)
SHA1: 9f5bf2a6c388a18797795f4975e10631a94dbf92
SHA256: 8bc9db809bf4303c7d3cb10395d453e4566b2b9a598072c82fe4598228bf55e4

Size: 166,873,700 bytes
libcvc5-dev (libcvc5-dev_1.0.5-1_arm64.deb)
SHA1: 1a708e93649e4a253da91b04e71b0ebf3d57335e
SHA256: 183da36c9a48162014dd3c4304f653597960943ab7c789983830be17f6d7924b

Size: 60,568 bytes
libcvc5parser1 (libcvc5parser1_1.0.5-1_arm64.deb)
SHA1: 7d5abe500294b53be5499e762f77472020ea38d7
SHA256: c11fd84934a535fba0bea91f4918303a1780275c0ea1ea0e15485e7eeb72547d

Size: 319,600 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_arm64.deb)
SHA1: ad9cfce8c05b4b326a5a765268d03ea33e55fdee
SHA256: 19b76cca11f371bf4e88695e3ff68345e3f365c73ae00952897a606745ca909f

Size: 5,962,360 bytes

Other checksums

Submissions

dhhtsmcj
Submitted
Fri, 23 Jun 2023 06:50:14 +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="1687277466"