cvc4_1.8-3_arm64.buildinfo (view)

Source
cvc4
Version
1.8-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 19 Feb 2024 02:31:02 +0000
Build-Path
/build/2/cvc4-1.8/2nd

First submitted
Mon, 16 Jan 2023 22:18:31 +0000
SHA1 of .buildinfo
95eaa656c24a2ae4cd88d52f338f1bbdb8e80867

Binaries

cvc4 (cvc4_1.8-3_arm64.deb)
SHA1: 02757386d2860d7f95e0ea22f3a6620b49c6f723
SHA256: b7922b6be1c734d5f76d00d7d6237b92a926eae163c675d8823119eae4fe31df

Size: 75,568 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-3_arm64.deb)
SHA1: eeb9fbd28169050eebe7858c845e294a0518bb16
SHA256: 8e8b62b2bdfcb505bdaeb7602ee9a0ae7b162ffcdcfd233471632c47481fd7da

Size: 1,008,740 bytes
libcvc4-7 (libcvc4-7_1.8-3_arm64.deb)
SHA1: ddf3f3399c1eceeceef9226a8788dff568a5d91c
SHA256: f66469b3e37ede7b0d5195d3ae08fe42b98412ca5c556f31a8657c03d25e108e

Size: 5,011,572 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-3_arm64.deb)
SHA1: 2d08a5adbbe6dabcd1ef99790ffd380905f0e128
SHA256: ce096735ba606afec135b2c1682cb8c48b5eae91c61573311b3e72a7b179b410

Size: 195,161,160 bytes
libcvc4-dev (libcvc4-dev_1.8-3_arm64.deb)
SHA1: 3143756bde7e898a4f619c458a3e74d60f7a8a59
SHA256: fdf4de50090768139b8e9844c9b45d8f9a408cf8686fc5370285bd1781ccc66d

Size: 131,176 bytes
libcvc4parser7 (libcvc4parser7_1.8-3_arm64.deb)
SHA1: fa312217a25aafe10a7ab9c8e05fedd771ed4743
SHA256: fac39ef957db614baf8ecbeb142c22cc27f2e82194e84ffe141d3df0815f2535

Size: 323,188 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-3_arm64.deb)
SHA1: c27e498eac0ab6497b6cd8f514c8553c458955d3
SHA256: bc51e5927cfd50230e68c98e3395443299c47c076e7c81816cc22cf111a8163d

Size: 5,292,004 bytes

Other checksums

Submissions

mn7stwwx
Submitted
Mon, 16 Jan 2023 22:18:32 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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="1667069380"