cvc4_1.8-2_arm64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 25 Apr 2021 17:58:02 +0000
Build-Path
/build/2/cvc4-1.8/2nd

First submitted
Sun, 25 Apr 2021 22:12:13 +0000
SHA1 of .buildinfo
b693adf7c558514d938364d5af6a55316dc88620

Binaries

cvc4 (cvc4_1.8-2_arm64.deb)
SHA1: 3f740dd922dd8a2c6b72ff9025a2863f10bbaad3
SHA256: f84d1412f4fa6b4226360e17364659c6c367a8fa324d0fb56be5e1013d135686

Size: 76,140 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_arm64.deb)
SHA1: 875af7c41e249425620bf421575910ae82670362
SHA256: 953db084a4a7cc0a0dab3d2d0133eaea37c4659ad76d527cea6107dd08b69c81

Size: 981,792 bytes
libcvc4-7 (libcvc4-7_1.8-2_arm64.deb)
SHA1: 8b195d9e2330297f33e3384fe35a6dc408cb0d41
SHA256: 4510bf3b0fdbe8a681d0f05ef63374b75f2923ee57dd913a39241b21ced77b9a

Size: 4,778,576 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_arm64.deb)
SHA1: 84cdb0a7625cd488d24e5dbf0dc6d932f3b82ef0
SHA256: 662592d5bc6a865fee1cc7e2b40133a50319131615f6fab59d1ba8d8fac100b1

Size: 183,318,148 bytes
libcvc4-dev (libcvc4-dev_1.8-2_arm64.deb)
SHA1: 9f0bd18e1034d66223fc702ce78ec5695cc29e98
SHA256: 8c22ec9bdf90be7c801195352dd490272cd1517a52b3d35c39350f50bf85b555

Size: 131,272 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_arm64.deb)
SHA1: ee95e78fd6286c645adb4d7e1a5b3061d774333d
SHA256: 3e966e2097a03ed220e46fd6f2679fa363a7670f6df31c696bb21584ea43dc36

Size: 326,800 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_arm64.deb)
SHA1: 5a6bd9d9b8b3c55a6415d50e623271420ba3922f
SHA256: 10cc07385d0334d3c367d0a5f404e856d03296d2fad9dd05e886770325dd718e

Size: 5,056,800 bytes

Other checksums

Submissions

ejuiodey
Submitted
Sun, 25 Apr 2021 22:12:14 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1600360149"