cvc4_1.8-3_arm64.buildinfo (view)

Source
cvc4
Version
1.8-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 11 Apr 2024 10:00:29 +0000
Build-Path
/build/cvc4-1.8

First submitted
Fri, 10 Mar 2023 06:04:29 +0000
SHA1 of .buildinfo
f5aee1cb04c97429009523558f33c4c6b93cbfb7

Binaries

cvc4 (cvc4_1.8-3_arm64.deb)
SHA1: 49328d36614d56fb9e48ac3d0325ab9fdd2df3e5
SHA256: 2cb70d7e6d2a06e3e0f893c4354b6348bbf48514c7ddbb55415f041a05bf0980

Size: 75,572 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-3_arm64.deb)
SHA1: 8ac1314be59f08fb7915859f7f82c4fe2d0071cc
SHA256: 40827d50a8a4cb815fe95ec29b5ad7dd80e766f010679836f5cc63cce48a61f5

Size: 1,008,784 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: a1d69ab122383a3a9deb1edba035c209c59f9680
SHA256: efbad2ab837070fcab1d1f98ba2d36eb5bab03d5360677536b5484bd75fd28cd

Size: 323,088 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-3_arm64.deb)
SHA1: dcbbb236befe15417aeacea67c5e5427da386b7c
SHA256: 33890fa9801deff81d03c0dae0204207ffd13ab60e4227850e1feb2e0a432d1c

Size: 5,291,264 bytes

Other checksums

Submissions

xhh3roi7
Submitted
Fri, 10 Mar 2023 06:04:30 +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="1667069380"