Source
z3
Version
4.4.1-1~deb10u1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 12 Oct 2020 23:39:17 +0000
Build-Path
/build/z3-4.4.1

First submitted
Tue, 10 Sep 2019 19:52:55 +0000
SHA1 of .buildinfo
61c6922f4d581fa55e3261bc169537e8757acaa8

Binaries

libz3-4 (libz3-4_4.4.1-1~deb10u1_i386.deb)
SHA1: 86a8de563cc7f88a5b5bda693a649c69db2b74ca
SHA256: bfe72456483ce9154649510d7e31d2d1feb424f2ac472184535fb9c8926f32a7

Size: 5,795,196 bytes
libz3-cil (libz3-cil_4.4.1-1~deb10u1_i386.deb)
SHA1: e32adf4eab9ae11b35a081966836beee5a4cd631
SHA256: 0ce930024fa6980f6fb4e4605374373b606e356c4ffdd993e3e9164570d14ad5

Size: 41,176 bytes
libz3-dev (libz3-dev_4.4.1-1~deb10u1_i386.deb)
SHA1: 9dd31fbc256077cff1a67bc37db6dee26627e7cc
SHA256: fb0b99bc4c42f2753fc49734b452a423a4b286b2828588cdb27e2ff5ff6e2f61

Size: 79,648 bytes
libz3-java (libz3-java_4.4.1-1~deb10u1_i386.deb)
SHA1: 69fd6ede144148c219087675dcc88e2beb1a2940
SHA256: 17345ee52ffce2000b565cf84211f55103c4e5f8ff43f6f658aedf730997ae83

Size: 146,372 bytes
libz3-jni (libz3-jni_4.4.1-1~deb10u1_i386.deb)
SHA1: 80d2aceb6b9c30eafe8d7b5d42fe37dc1d6ab326
SHA256: 5ce01bb654b52861275c0b3496b006fd1fa89fa6f41d144cbde2f68b40bae36c

Size: 41,524 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1~deb10u1_i386.deb)
SHA1: 66af90775e0ae0c775ba3fd568d9eb4904ade420
SHA256: 39ba1c539674e3b12611a9587539f9d53b54585347db3c3daa06521db4ae0c0e

Size: 497,860 bytes
python-z3 (python-z3_4.4.1-1~deb10u1_i386.deb)
SHA1: 03d67d5ef95744b0a90c71d8a1a0be94ff97c7fe
SHA256: c9f7e26a516bc7cb43af8a85e2319baef7ac999b6835ae777a8a1abe96b1284a

Size: 67,020 bytes
z3 (z3_4.4.1-1~deb10u1_i386.deb)
SHA1: d5f4630974853ff350903a91867ca36135f1ebad
SHA256: df8e5986c3a7de1eb46efaf8df50bafdf7dfaa42d0d77e375dc277fd19c505ae

Size: 5,810,272 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb10u1_i386.deb
SHA1: d60e412c5ea6a57521f6be8d0c5ef82ce2185542
Size: 94,834,984 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1~deb10u1_i386.deb
SHA1: aef98b2c51acbf2107c80cfcffc1160b7560d4c5
Size: 190,044 bytes
libz3-jni-dbgsym_4.4.1-1~deb10u1_i386.deb
SHA1: b10a43fb5bce33a51d84cfc21825b941bb0bb662
Size: 143,024 bytes
libz3-4-dbgsym_4.4.1-1~deb10u1_i386.deb
SHA1: 97537a8733a5a441f9ddb732caff78e07b19d3b2
Size: 94,289,536 bytes

Submissions

Submitted
Tue, 10 Sep 2019 19:52:56 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1566641915"