Source
z3
Version
4.8.6-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 1 Dec 2019 02:26:02 +0000
Build-Path
/build/1st/z3-4.8.6

First submitted
Sun, 1 Dec 2019 07:09:55 +0000
SHA1 of .buildinfo
ba8f4130071e9a0dfc9890accedb57a999295e6f

Binaries

libz3-4 (libz3-4_4.8.6-2_armhf.deb)
SHA1: c5d732dea9fa65c16a42eb42dbd97376326106f3
SHA256: 046ed3a2e2b9050fe6e4b756c5e2dfc1d0795a8b2a23ce39606158ad112d4d74

Size: 5,850,100 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: 7a7d9d63457febe87e5f852c653f7a5a56d4c099
SHA256: fc65190522d5587aa35fa05a93e9e78e4aafb18e0d38c7c4e247ffaba362fc01

Size: 30,020 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2_armhf.deb)
SHA1: 723006b3b9a1e5caef04a21a03746d09a35ec706
SHA256: 5338b6fbc1585aae285537b6fd410b152521cd6ef3ffac7570d906dbfe2b1e61

Size: 493,696 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: d7ea4933535ab8fbb1a7cdd787c5dbd41beb6c41
SHA256: 9b57df40e5697637f6e2c050fb9b406a8b6d28a59ec8e5d16fa53f4892b446ca

Size: 5,961,968 bytes

Other checksums

z3-dbgsym_4.8.6-2_armhf.deb
SHA1: 660939313c52da9d365d47e1cfe47d82950451a1
Size: 100,461,072 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2_armhf.deb
SHA1: 80bab31aa3c62864aef8ed4c786f500ee3c259e5
Size: 363,904 bytes
libz3-jni-dbgsym_4.8.6-2_armhf.deb
SHA1: 3075870410d5ec20c2547c1df5bd3d3399a41e4e
Size: 185,684 bytes
libz3-4-dbgsym_4.8.6-2_armhf.deb
SHA1: a5f1b9933bccc273db7d036baa57214445b70138
Size: 97,530,508 bytes

Submissions

Submitted
Sun, 1 Dec 2019 07:09:55 +0000
Signed by
0xF7F2097D55C669EF bbx15 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1571092162"