z3_4.8.7-3_i386.buildinfo (view)

Source
z3
Version
4.8.7-3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 12 Jan 2020 17:08:18 +0000
Build-Path
/build/z3-nxglkR/z3-4.8.7

First submitted
Sun, 12 Jan 2020 19:19:27 +0000
SHA1 of .buildinfo
4a31d12a6e8ab3ddc63ce2c09ed6d7ba69bcf7d1

Binaries

libz3-4 (libz3-4_4.8.7-3_i386.deb)
SHA1: ebe3f5c263abbb8f3d7991148f355e7d451ecd25
SHA256: 2ccf96d1936e866da3491084d9470fbc02e4989294657d8856957ede117f7973

Size: 7,408,700 bytes
libz3-dev (libz3-dev_4.8.7-3_i386.deb)
SHA1: d1398aaaedbe735dfafed58bc41830b36f08c865
SHA256: 01c02536f2e48ffce8538f19e866cb4b6ca6e59ec92bcd032886ae2c48519998

Size: 87,244 bytes
libz3-java (libz3-java_4.8.7-3_i386.deb)
SHA1: 635f180d4f6917b32d4929f3e9cb641b262ed932
SHA256: eb9d1f6746a049b2d95c9acb6ebb6f0293c03eede743e9a417023c9a87e6011a

Size: 153,740 bytes
libz3-jni (libz3-jni_4.8.7-3_i386.deb)
SHA1: 04e4e1b5653c541b45929d92bc63635209a6a061
SHA256: bb48c2931fa4c19cde81e44c2f365d54950cb3d7890c65122b3f31404f0361f4

Size: 39,512 bytes
python3-z3 (python3-z3_4.8.7-3_i386.deb)
SHA1: ccca817d8e2738b171aedcbd0122d728c26be00a
SHA256: 823a3b01e80d5516accd4ddcbab0b0c7123b108e1c3e8698143881e6b71c85c8

Size: 76,532 bytes
z3 (z3_4.8.7-3_i386.deb)
SHA1: f54a23a161f8e9a994f775d56ace55164c8a6220
SHA256: 2133486f2ae268f8d4cb6525c369e0790a07c834640472fd8f79b7d1c9c0935e

Size: 7,422,428 bytes

Other checksums

z3-dbgsym_4.8.7-3_i386.deb
SHA1: d879f6b7e2014f086461ebe0018a37b37923d17b
Size: 108,771,564 bytes
libz3-jni-dbgsym_4.8.7-3_i386.deb
SHA1: 18389c4987637a79481ce99e5d41eb6b2a76194d
Size: 142,604 bytes
libz3-4-dbgsym_4.8.7-3_i386.deb
SHA1: fe635fa6ed6eb66250382da47d377464d028fcf7
Size: 107,450,644 bytes

Submissions

h9zwmisw
Submitted
Sun, 12 Jan 2020 19:19:27 +0000
Signed by
0xD9795CB00A61AF5E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1578670548"