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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 5 Nov 2019 11:51:30 +0000
Build-Path
/build/z3-YItMPh/z3-4.8.6

First submitted
Tue, 5 Nov 2019 12:13:14 +0000
SHA1 of .buildinfo
3349c6fb1ea2a996e77317c459eebfaef75eebfc

Binaries

libz3-4 (libz3-4_4.8.6-2+b1_armhf.deb)
SHA1: 3d6aec7070320523fdb37969cda383b241fad228
SHA256: ad5a3e8db61f325c1769b2c498a6e8878bfe38bad1b45b3141d339ebc4b1830d

Size: 5,846,836 bytes
libz3-dev (libz3-dev_4.8.6-2+b1_armhf.deb)
SHA1: 05183c4f2c400bb45ac1caa53be7f597d9d1ccd5
SHA256: 8a8f54ab44c5b071bc602ff88f321bac94af87f19b6bb73e129a09d524d75e71

Size: 86,072 bytes
libz3-java (libz3-java_4.8.6-2+b1_armhf.deb)
SHA1: 9610c68cf5c4ef8a1874a5ec36b80e88a7313f40
SHA256: fe4718f34109fd094e1ce8fd1ef1145d613a8132268393ae44ea48c89b878553

Size: 153,632 bytes
libz3-jni (libz3-jni_4.8.6-2+b1_armhf.deb)
SHA1: eb2c283c9aac456e2d2d9c4da5dbb0af3074f281
SHA256: f192fce75375613847f915cc284a9945b5f401705932bb8bd50d41fb0ac0545c

Size: 29,976 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2+b1_armhf.deb)
SHA1: 5e62b3507c87caaaeab41ab9af7e652d7567f362
SHA256: f0c5367815ca23fe879a7eeb6969a1b8a5293b0fc777257eb2927f4cbfac3e9b

Size: 492,504 bytes
python3-z3 (python3-z3_4.8.6-2+b1_armhf.deb)
SHA1: 7e2e03960f095cad4b405f89c09004dceba99a43
SHA256: 0326a6fd59569b84e7303d0a95efb0dd880dcb5b791055c99f08c9959abd4945

Size: 76,328 bytes
z3 (z3_4.8.6-2+b1_armhf.deb)
SHA1: 5c667af937e08e7bf65691295081364e0fd2a069
SHA256: 51424841f5bbb6d3c3b2d1c426ca0a4fccff97f1058517781a766385ed8dffff

Size: 5,959,216 bytes

Other checksums

z3-dbgsym_4.8.6-2+b1_armhf.deb
SHA1: 85d041ba8b2f4b2f9cee13612fd8535c55970482
Size: 100,324,664 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2+b1_armhf.deb
SHA1: 270830f410e4c8ac4a8226bad83e02244f34aa05
Size: 363,796 bytes
libz3-jni-dbgsym_4.8.6-2+b1_armhf.deb
SHA1: 8d9951ad28da73bca5b4bcbcb7652ed3c3b27ca1
Size: 185,900 bytes
libz3-4-dbgsym_4.8.6-2+b1_armhf.deb
SHA1: b2f9421e41a4a0b4761d55c03a0db3126294e5d6
Size: 97,482,484 bytes

Submissions

Submitted
Tue, 5 Nov 2019 12:13:14 +0000
Signed by
0x6A588AAFDA7ABFE9

Environment


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