Source
z3
Version
4.8.6-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 11 Oct 2019 01:35:02 +0000
Build-Path
/build/z3-rWJ4m4/z3-4.8.6

First submitted
Fri, 11 Oct 2019 06:20:22 +0000
SHA1 of .buildinfo
b1e5d4f705c63dc29b37e796f0f216dab750126a

Binaries

libz3-4 (libz3-4_4.8.6-1_armhf.deb)
SHA1: 37d7c8163c34ff75d0391901d2cc3d795f923c68
SHA256: 7edde4753487dd4108260e37166533fda43f3776bae6f89b9929e9741e5d75ea

Size: 5,845,836 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: 00e0a216cecb9e904530b857fb777253df0e4741
SHA256: 71e0a80ddeb7475a918b1d36246375be4d4e6da188f9feaace8ae130c986039c

Size: 30,124 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-1_armhf.deb)
SHA1: 151c3c2126cf1aef0fdb4a00b7071335f9a22e87
SHA256: 33012ddef539568d7f605ef7d4d514358c0ffbbc304007b471c0373835acd19f

Size: 472,308 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: dcef1f3ceff65278fcf7a5e8a6f7e67194d8a676
SHA256: 90bdca11cb70249cf05abaafa0f686a9ec2829978cd4a489f1327be9f448faca

Size: 5,959,248 bytes

Other checksums

z3-dbgsym_4.8.6-1_armhf.deb
SHA1: e729b71eb2014a67a588c7c1c33719844890cc23
Size: 100,313,756 bytes
libz3-ocaml-dev-dbgsym_4.8.6-1_armhf.deb
SHA1: 3126ecaea79e804e6f366482bcc13a859720cc2b
Size: 363,924 bytes
libz3-jni-dbgsym_4.8.6-1_armhf.deb
SHA1: d2ed469c2ea52172be7aa32b009da8f7fa1fc271
Size: 185,680 bytes
libz3-4-dbgsym_4.8.6-1_armhf.deb
SHA1: 62f3f277ec7cc5cfadbe2f4651dfcf5921573959
Size: 97,465,804 bytes

Submissions

Submitted
Fri, 11 Oct 2019 06:20:23 +0000
Signed by
0x9D9A36A270771481

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1569774114"