Source
z3
Version
4.4.1-0.5~exp1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 17 Apr 2019 21:18:45 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Wed, 17 Apr 2019 21:19:31 +0000
SHA1 of .buildinfo
b924a719cc66770b4d16c93efd45a2da289eb78a

Binaries

libz3-4 (libz3-4_4.4.1-0.5~exp1_arm64.deb)
SHA1: cab8fdb42e92ca45f7065e0bd5efb11ab701b305
SHA256: 37ab6a53c1b9d26dcd853a97e1d2f8c145dd40eaef88fce79d0846714e74a49e

Size: 4,560,940 bytes
libz3-cil (libz3-cil_4.4.1-0.5~exp1_arm64.deb)
SHA1: f31d54bfde2160adfdde03c1a0ed32150efe6e1a
SHA256: ff1be60a64a6aaa8a69403867910a2b66e26b899f1361a00a373cf99f57e596e

Size: 40,616 bytes
libz3-dev (libz3-dev_4.4.1-0.5~exp1_arm64.deb)
SHA1: b2a5e760b349a31c6eca5bf6e77b405e22c07cbd
SHA256: 1cc8d005dc6c59e205704986c1c8b1d58fdb8f3a485ef5aa16ebd7cb3020e367

Size: 79,524 bytes
libz3-java (libz3-java_4.4.1-0.5~exp1_arm64.deb)
SHA1: f7ca1346f92efa9c77fe38407fe0604472a8e328
SHA256: 41ac51b6774b0d7555ca20d25ae56995a6f250ad34ad346f4d3beb036c84c5d7

Size: 146,348 bytes
libz3-jni (libz3-jni_4.4.1-0.5~exp1_arm64.deb)
SHA1: 0c23f54c5475eee80637023bdea3c37253e270f9
SHA256: 4641f27f39b1001f6cee696c17e6144aca7cdc3c0de1c6ae9a20220a161f5916

Size: 29,848 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.5~exp1_arm64.deb)
SHA1: c69ad47aa07d06a342b15401de88555f76c4f8ed
SHA256: fcf99dc0dfd46dd5c8d0a6f92c3c536e23653b90c6d929735e3b93b8d3080bde

Size: 519,172 bytes
python-z3 (python-z3_4.4.1-0.5~exp1_arm64.deb)
SHA1: 455386fbd894109ed1c43ce67b9140a9a80877a4
SHA256: 53143dc27c8f0216ae45a52269c3b59c02cb82d0097e006c88f4c1f48fd2f396

Size: 67,028 bytes
z3 (z3_4.4.1-0.5~exp1_arm64.deb)
SHA1: a4dbe74ecda9f0dd48330f6d7e9bb6ad5cee75ff
SHA256: af02d3b103af90691446f47ece30359da19821cf219e0b1c633a32294e7dcfc6

Size: 4,566,720 bytes

Other checksums

z3-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 3d87a788173f6357cb974ac49ec138dd11f5bdcb
Size: 97,104,168 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 5308b631baf936c7d1c06a9467263e8e681f2708
Size: 204,496 bytes
libz3-jni-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 594a179f70cc2909259965e64ba26d187e7c5acf
Size: 170,160 bytes
libz3-4-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 17946062d067007828d89625edf2c27dc762ca02
Size: 96,524,896 bytes

Submissions

Submitted
Wed, 17 Apr 2019 21:19:32 +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="1555417831"