Source
z3
Version
4.8.6-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 16 Oct 2019 15:29:43 +0000
Build-Path
/build/1st/z3-4.8.6

First submitted
Wed, 16 Oct 2019 18:43:58 +0000
SHA1 of .buildinfo
dec2140f2be16c7afa2c4c4a4c5a7b85ea42f73d

Binaries

libz3-4 (libz3-4_4.8.6-2_armhf.deb)
SHA1: b470d5cb1a0b6281c08c2781d1aa291de0ef8c3f
SHA256: bd67e981107cd14ebe82ac447ac9b240e39c4b0a8dcca5ad8c724478a89b667c

Size: 5,847,944 bytes
libz3-dev (libz3-dev_4.8.6-2_armhf.deb)
SHA1: 35c16c8813571d9a994298ffe539a39b12a1b80c
SHA256: 68e814f5ec0117b8a249279a8de5dfc0eda0eee21dc25a12549edf848309e18d

Size: 85,796 bytes
libz3-java (libz3-java_4.8.6-2_armhf.deb)
SHA1: da3d525eaaa66f9082ef054e7abb187d2ecf0d0f
SHA256: d4dc90898ce5a13f14bb3d526e37581ec74e1b32c64e65c5e642288bbcde22d4

Size: 153,580 bytes
libz3-jni (libz3-jni_4.8.6-2_armhf.deb)
SHA1: 707a2b02412f22296d58a985cd3a918c7e7ddfc7
SHA256: c6a547c6712b981842e90770124d50b1335c8a855cdf4e9b2fdeafeff4761645

Size: 29,916 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2_armhf.deb)
SHA1: a567a82cdd41514f125bc12973cc2a69ac179471
SHA256: 8c57acacb9e5de690128008db8d3b34b204d5acc9ad8ce4b93ea0f4bef70fdba

Size: 476,148 bytes
python3-z3 (python3-z3_4.8.6-2_armhf.deb)
SHA1: acd7b6eb9e6e5670edb077e8a0e480a24e94b9b4
SHA256: 9fec82c9b563cd0d8f99388e825ec162e10ff86bf9c6bf81abc93592fe738218

Size: 76,360 bytes
z3 (z3_4.8.6-2_armhf.deb)
SHA1: e9f90fd538bb9b0b678b13804f55f56d0972181c
SHA256: aed64686aac405ea3264ed03d7584ea13d35869a811018f274221d36629ac5a2

Size: 5,961,108 bytes

Other checksums

z3-dbgsym_4.8.6-2_armhf.deb
SHA1: 1ff95d51cc7e13ac45639229197310b183367779
Size: 100,312,184 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2_armhf.deb
SHA1: 133054b02a443e901028651c0f33cc48b28a44cd
Size: 364,064 bytes
libz3-jni-dbgsym_4.8.6-2_armhf.deb
SHA1: 856eb129f19e877e08a37dd9006c9fd3a5e99a3e
Size: 185,628 bytes
libz3-4-dbgsym_4.8.6-2_armhf.deb
SHA1: af989daf86dd254487951b5aa759b16c776cd606
Size: 97,614,644 bytes

Submissions

Submitted
Wed, 16 Oct 2019 18:43:59 +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="1571092162"