z3_4.8.7-4_amd64.buildinfo (view)

Source
z3
Version
4.8.7-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 2 Apr 2020 15:16:01 +0000
Build-Path
/build/2/z3-4.8.7/2nd

First submitted
Thu, 2 Apr 2020 15:16:36 +0000
SHA1 of .buildinfo
609181d8dc26bb5e0546787ad8a3aacc971fe2e3

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: 1753b49a59c8943179ab8f0adef55e85c81f8d46
SHA256: dae1fdd2d0f129c509f6185919e5bea5ee97bceb440dc4826fe016e74acf1c44

Size: 6,790,952 bytes
libz3-dev (libz3-dev_4.8.7-4_amd64.deb)
SHA1: 651416727dcfe43e67854f2bf9304278415b0428
SHA256: 378ff72b7f1b318c52ff387c83f6b6393145394b5a0996f0fcf3608b24ab7ae0

Size: 87,312 bytes
libz3-java (libz3-java_4.8.7-4_amd64.deb)
SHA1: 71fda598b5d6ed321b83df9ef37d80973277a14c
SHA256: 03b4f55632a502ccc5010c7ef25616e3a8c43d04b7684e3197765ca89c8d5c24

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_amd64.deb)
SHA1: 4a89859da45ae2323e4306fd6b561139b22ef414
SHA256: 7ee29294157fd7a66748f2605ae7635d0ffc17509b758de8979a5bd4764af747

Size: 32,520 bytes
python3-z3 (python3-z3_4.8.7-4_amd64.deb)
SHA1: be8d09971b7066ebbc3d3cb7859c67c21f81ef08
SHA256: 5a7633fa6cd4695d94fdf9c03a33d7bc6a0cec045967c18ba786e39b3f6e5d6d

Size: 76,520 bytes
z3 (z3_4.8.7-4_amd64.deb)
SHA1: c0f9c0b060d30a31a0a4b20192209b8ccd83575d
SHA256: 3c2f6b56590f613bc39247bfddae23025941810480e1c0748fc5f6c9be33c7ad

Size: 6,801,436 bytes

Other checksums

z3-dbgsym_4.8.7-4_amd64.deb
SHA1: 76e981fededd17c768cb712cfc478f99b4332ccf
Size: 117,905,880 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: 5ff976b4b260ee425f091bbd00b82f4928fb82c5
Size: 178,948 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: 01728d4397088eae6f5cc5a1313d57fb74455603
Size: 116,557,764 bytes

Submissions

3criex7n
Submitted
Thu, 2 Apr 2020 15:16:37 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"