Source
z3 (4.8.6-2)
Version
4.8.6-2+b2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 3 Dec 2019 08:51:10 +0000
Build-Path
/build/z3-O4qoIx/z3-4.8.6

First submitted
Tue, 3 Dec 2019 13:42:45 +0000
SHA1 of .buildinfo
94810de488765faad4bece60a97e212f5510bf2e

Binaries

libz3-4 (libz3-4_4.8.6-2+b2_armhf.deb)
SHA1: d91004d70f18a5705088daa79ef54091108109c9
SHA256: ffa0b500fb2cd4c517f05bb71de3bb65f81e23756949c31c0953999d491d05af

Size: 5,846,720 bytes
libz3-dev (libz3-dev_4.8.6-2+b2_armhf.deb)
SHA1: d1158f824ee0e7c9b8bb016748ccbcc093928907
SHA256: 8301b475197cc4bf0d3813db02be05eb9859207d67a738e202d21cad62bc701b

Size: 86,064 bytes
libz3-java (libz3-java_4.8.6-2+b2_armhf.deb)
SHA1: 5cdb39599fc0b9957656920fe194df266380384d
SHA256: 68213b24eb00c4bd1eed3dd8856467d781fbc66642db5bafd02a1deeced263e0

Size: 153,568 bytes
libz3-jni (libz3-jni_4.8.6-2+b2_armhf.deb)
SHA1: e8cb925615de46aba9bbd869059899af1a56cc94
SHA256: be503b9e55d7b45e5cca0c310c217cc463ad32dac2b3aab2511fbf9988485583

Size: 29,892 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2+b2_armhf.deb)
SHA1: 3f60cb23f8615c922c2120b535eb021e69bfc13b
SHA256: ec71e5d5d2cd9f81b42d6161a689dc5c17dc723eb1088631fd32539ce050f9b8

Size: 492,908 bytes
python3-z3 (python3-z3_4.8.6-2+b2_armhf.deb)
SHA1: e058cc2854f9b979274342b0ddb235a9256c0a49
SHA256: 793285f1412c98bd1a9219a2eaba7a15ec768a2fadb3c89cd54975bcfc96d8e2

Size: 76,348 bytes
z3 (z3_4.8.6-2+b2_armhf.deb)
SHA1: 54da79f61906731db8a3d38e476dbde5254f570a
SHA256: de00c739839b8599312b94abd7aba2a7ccc284404ccc29178e7bdb99ffc874a6

Size: 5,960,124 bytes

Other checksums

z3-dbgsym_4.8.6-2+b2_armhf.deb
SHA1: 337cbe1f9c38aa36fcded5855dac6f315c944a32
Size: 100,310,536 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2+b2_armhf.deb
SHA1: da844cf35df79d05e9fb34948e63ebde9fb8489b
Size: 363,800 bytes
libz3-jni-dbgsym_4.8.6-2+b2_armhf.deb
SHA1: e4b4e76d09ecfee91da7b4426dca83047b30af20
Size: 185,836 bytes
libz3-4-dbgsym_4.8.6-2+b2_armhf.deb
SHA1: bbe0f8e1daf69bd31e1889e34577c803e5ff1955
Size: 97,433,176 bytes

Submissions

Submitted
Tue, 3 Dec 2019 13:42:45 +0000
Signed by
0x8F4D2E75D3B4ABCE

Environment


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