Source
z3
Version
4.8.7-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 10 Dec 2019 11:14:12 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Tue, 10 Dec 2019 12:16:33 +0000
SHA1 of .buildinfo
1706a93f50fc7d13be6338a9340bcff3c10b50f9

Binaries

libz3-4 (libz3-4_4.8.7-2_arm64.deb)
SHA1: 9a8df52be54ce2c5e67da4e8e1d5b6289a9de02f
SHA256: cf0377315285f0c1a9cf3b0b9f831c2955c00003c7afb323a32d6ad60cfbb218

Size: 5,986,752 bytes
libz3-dev (libz3-dev_4.8.7-2_arm64.deb)
SHA1: f4cb8b99796aafd769c1edf43e7dae5e9aab96b0
SHA256: 77452911bd61438d4cbf4cf399fbca1d228c39835d906e74e85963bc7a97eb8e

Size: 86,744 bytes
libz3-java (libz3-java_4.8.7-2_arm64.deb)
SHA1: a085a4f3fff2428829ba75f1b8fbeb94aa5651ec
SHA256: a7676a93a4f95178d8b254f558d42acd81635c234e86dfae6e9bf34de4e39e1e

Size: 153,776 bytes
libz3-jni (libz3-jni_4.8.7-2_arm64.deb)
SHA1: d7c88e3841f95fd3ce239949f39df55c0fad8090
SHA256: 0c6f98ceebea06778517dfa4ae98322ee6b6d547754158e6e400a2c057b26309

Size: 30,592 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.7-2_arm64.deb)
SHA1: 6d28f616153284034d31f0aad9c0d98e34ad6d42
SHA256: f5b96883a61cb9a0cb9764fc19731e6cbc126894fcfc55cad0997c25db80a932

Size: 591,372 bytes
python3-z3 (python3-z3_4.8.7-2_arm64.deb)
SHA1: dae8b8cd0041c7c150a985bc6dde125a353000da
SHA256: b4bee0260519fc1c83b51db3faf8544d8b9910ce279f5e7af1a0f5d1111160db

Size: 76,416 bytes
z3 (z3_4.8.7-2_arm64.deb)
SHA1: 6a649dc6db8a3fb965edde679b21a074d5ecced9
SHA256: 3b0bcd4e216661828c8539e25c65c7ba31af0edf63c69fcf657a7a7d38b5c80e

Size: 6,102,604 bytes

Other checksums

z3-dbgsym_4.8.7-2_arm64.deb
SHA1: 16e5d95eb0bc2a671e3c7d305523627bd4a87cea
Size: 107,581,048 bytes
libz3-ocaml-dev-dbgsym_4.8.7-2_arm64.deb
SHA1: c536a8a27dc14831c97c375f51eb648f17888b9b
Size: 366,376 bytes
libz3-jni-dbgsym_4.8.7-2_arm64.deb
SHA1: e0e653d611577f6dbf7c1e8cf857dabffb086419
Size: 177,688 bytes
libz3-4-dbgsym_4.8.7-2_arm64.deb
SHA1: 3e6e8f4f36936211fe581a2fa4a487e2ddc05f8a
Size: 104,613,728 bytes

Submissions

Submitted
Tue, 10 Dec 2019 12:16:33 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1575895178"