Source
z3
Version
4.8.6-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 11 Oct 2019 05:36:54 +0000
Build-Path
/build/1st/z3-4.8.6

First submitted
Fri, 11 Oct 2019 08:37:01 +0000
SHA1 of .buildinfo
6ac28dfef4d8d84bac13153ba3a106fde31d924a

Binaries

libz3-4 (libz3-4_4.8.6-1_armhf.deb)
SHA1: 3a8a9182287a9a2f9506b2c47676cb54d2ae095b
SHA256: 46b14eab6f51a2ea3e70c7f74def927c976250ba8c20730d5b79502e856da5f0

Size: 5,848,100 bytes
libz3-dev (libz3-dev_4.8.6-1_armhf.deb)
SHA1: 40b258ee6b96e8035c36c7011a1eb50db0dd6a4d
SHA256: be45a8384f68825d4dfff394d3b44499fe2095786fd08b54b31661aadcb08746

Size: 85,688 bytes
libz3-java (libz3-java_4.8.6-1_armhf.deb)
SHA1: 366fd213824778f2668c4d0c0747f3181f5bc8bb
SHA256: 3d4ca9ed8dd9e2f068acd820d1dca76131c034806f0ac5778d65efb054cf24f4

Size: 153,568 bytes
libz3-jni (libz3-jni_4.8.6-1_armhf.deb)
SHA1: 841537c529b4794927e0f024908f395f0079e644
SHA256: af8eee905fa40512b978c1cefe69cb0a4dc6626e57b43e8e77b840dd51c1b817

Size: 30,172 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-1_armhf.deb)
SHA1: 5960057aea75336127997849c4be5be905c9fa17
SHA256: 9b10d865baa00b01e084e4b9282392709478f4341d076bb61b337dc015af711b

Size: 473,036 bytes
python3-z3 (python3-z3_4.8.6-1_armhf.deb)
SHA1: 3761db90888c0afd4a035497993c172e6e2c73eb
SHA256: f32c3a9477940b0a17b1cfaa9c299fd12dd737c4bf1fe9244d338e2655bb4f5b

Size: 76,384 bytes
z3 (z3_4.8.6-1_armhf.deb)
SHA1: e5805d1ddc3d9353c6a8a4f1328e0b943b5446d1
SHA256: b5e0c7215392f433bc47667062370b5eb9376737c0572970c719dd41fa03a521

Size: 5,961,352 bytes

Other checksums

z3-dbgsym_4.8.6-1_armhf.deb
SHA1: 3a106430e3f4f7f59efe118062670745f2cd49e3
Size: 100,312,172 bytes
libz3-ocaml-dev-dbgsym_4.8.6-1_armhf.deb
SHA1: 0132b88170ebcb305e4bb55eba08c96f272416c6
Size: 364,072 bytes
libz3-jni-dbgsym_4.8.6-1_armhf.deb
SHA1: 73c2530c5203cc59e68325cd2641be2913df32b6
Size: 185,624 bytes
libz3-4-dbgsym_4.8.6-1_armhf.deb
SHA1: 2149856a9b777ed9fc7418462de5d17ff405881c
Size: 97,614,644 bytes

Submissions

Submitted
Fri, 11 Oct 2019 08:37:01 +0000
Signed by
0xB31CD0602364F84B jtx1c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1569774114"