cvc4_1.8-2_arm64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 10 Jun 2023 03:32:14 +0000
Build-Path
/build/2/cvc4-1.8/2nd

First submitted
Sat, 7 May 2022 23:39:53 +0000
SHA1 of .buildinfo
daed911770d17a78d8f4f671112ca68f898ce444

Binaries

cvc4 (cvc4_1.8-2_arm64.deb)
SHA1: a9e2bb6493ed7749dad1dba400435c5df4440e98
SHA256: f43669c858915fb5a279b0107124f5f8361feee03dfbdd3b79a20aa38ead2b71

Size: 75,936 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_arm64.deb)
SHA1: e9f736a86278897948e2ac5006898bb6bb7ad2dd
SHA256: f8e51dc4dd5061fe1566ecaf14f45732aed2221f3e37777265ca3055638c996a

Size: 994,344 bytes
libcvc4-7 (libcvc4-7_1.8-2_arm64.deb)
SHA1: f5adf29a1b0ebf07808ce59d598b4435a77bb87d
SHA256: 69b9eefb228831462a2a6c49452c1bf3aa8f5ffc0ed1c9f6c808c1ae9cd98393

Size: 4,931,020 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_arm64.deb)
SHA1: be20fed13f86d7394527673ae47f9315d145ff84
SHA256: 321e58127d8937610299ee96056ffd6c6c2c682dafce7baf791b0ebf0665cfd2

Size: 186,121,892 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: 91c1c64f4bd54c5e0ae1f6ac41bf5d9221abfd0b
SHA256: 65e491acfdebc6c3b7aaafafe272751e3c97ef0be26a2cbb22c7265c9abe9687

Size: 325,524 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_arm64.deb)
SHA1: 07ac36d3219cf713e8bc7c4fce3cf46aefe7841a
SHA256: 59a2fb2b2b541538e31f52987a7871e5e35af8668542a7c5a355d3fc44a8f65b

Size: 5,221,748 bytes

Other checksums

Submissions

h9kjpzq3
Submitted
Sat, 7 May 2022 23:39:53 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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"