cvc4_1.8-3_arm64.buildinfo (view)

Source
cvc4
Version
1.8-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 30 Oct 2022 12:35:23 +0000
Build-Path
/build/1st/cvc4-1.8

First submitted
Sun, 30 Oct 2022 15:58:38 +0000
SHA1 of .buildinfo
f22d7a3c3030e49741d6e17c9366826eae4106a0

Binaries

cvc4 (cvc4_1.8-3_arm64.deb)
SHA1: b494691256cee818c45f44913317f90534f0c247
SHA256: e68000f29d41a196d7a81e3ceb2d1d035a561917cbb1c1d2d7eeff603bf1769c

Size: 75,572 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-3_arm64.deb)
SHA1: 8cad682bae7dd24342e61137a28e587ff44527ed
SHA256: 3e7e838006d3dee36db52902474f3faa2b9cb818e46473ee5013ee1e6ccd6735

Size: 1,008,664 bytes
libcvc4-7 (libcvc4-7_1.8-3_arm64.deb)
SHA1: 8ca8100239c79b8b17b8843997fc2238eda2ee3d
SHA256: 702f22bbd7d0642e55993c68a7ce8437a10094e81e3bcc77d7d6b7510d7eeab1

Size: 5,011,576 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-3_arm64.deb)
SHA1: aa18dd0ea72558e6f640b8199cbdb86bc5c4eced
SHA256: 7b1fa275339148785cc0f3a3f90833c9f3a02be28cecfb3b017e2266dd7e7bb7

Size: 195,159,780 bytes
libcvc4-dev (libcvc4-dev_1.8-3_arm64.deb)
SHA1: 655ea036a334d6e027106f6d297cebae35a294b9
SHA256: c3bb2c7c6c7f1fa150e3ebef48cadb63683786781ac8d7740335530c8fc87c39

Size: 131,120 bytes
libcvc4parser7 (libcvc4parser7_1.8-3_arm64.deb)
SHA1: f420f4caabfb4153c002b914b1d0e9f6113a5c78
SHA256: 4d02db1fa5847cab6b5b19e39a2c2599f422187f307a6df3d7f565e420f205a5

Size: 323,152 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-3_arm64.deb)
SHA1: 076b073121172da07defc748dc347358058fab39
SHA256: 68b97ee5c4041663abe14f429c0c0708e013f9c23924b4741557246ac576c2bc

Size: 5,291,412 bytes

Other checksums

Submissions

bc4haaw3
Submitted
Sun, 30 Oct 2022 15:58: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="1667069380"