Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 25 Feb 2020 09:28:21 +0000
Build-Path
/build/z3-4.4.1

First submitted
Wed, 23 Jan 2019 03:05:42 +0000
SHA1 of .buildinfo
d8bfb63b30b0534f123bfb8e28770ab7d11dac92

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 5c00ccf3d75f0579f0fadfba92c38002c233d0a3
SHA256: ed2fd3a8c8b08fad2a57923d6b52a56659824d4dee92768ad43617cb54f34c8e

Size: 5,202,964 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 773a5786a4c2b53a9faf24d9366513d427dc69ae
SHA256: d94e992812c718ac75fd3b488c00d3a92951172bdd71550db3fe704f4a7d52dd

Size: 40,652 bytes
libz3-dev (libz3-dev_4.4.1-0.4_amd64.deb)
SHA1: 1affd85a0a3f2f2359748e46cd01fe3b1c664187
SHA256: a34586f674651ef7692332a2d694bea37e0df8a3b4ac90eef134fd151d9dcf0d

Size: 79,356 bytes
libz3-java (libz3-java_4.4.1-0.4_amd64.deb)
SHA1: c4985ab482d61c6f9c6eaded160e265adf09aa44
SHA256: 840297faf60436f4fa4a6c68e87613b239f06d193e0e75a697a0eb14be7d2db0

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_amd64.deb)
SHA1: 9c1a4072be5a6771abdb7ef95f79f94daaeb5f87
SHA256: 3adae3f3e2af921c62e99ee761779307351834ca4b09c045c5412795d765eea7

Size: 31,896 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: fb1b2a983179d5e0c6594f0806492fc5cc4f0c9d
SHA256: 418a76aa4bb84bb5deb1b44748801dafcd61824dc3a53f5fbb4503839274904b

Size: 522,020 bytes
python-z3 (python-z3_4.4.1-0.4_amd64.deb)
SHA1: 7406286014ffe581d40fc8a8ad9f8d2efdbcd9be
SHA256: a9c08bd0430a547154c1e84529877eae035b0f0117cd22b0fa8e1ae5e2b4f638

Size: 66,992 bytes
z3 (z3_4.4.1-0.4_amd64.deb)
SHA1: 4959e395e557e431ae04d776f9ae68cab7a7c8a5
SHA256: c783bad6d1352bb2074f6c430c4ab917fa6238e1fa6510986efdb437179bbabd

Size: 5,218,936 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: ce176298d44d98b4f24bffaf78f2508266cd26cb
Size: 98,674,200 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: d29bb6c3ef7cd671404d3df29b1e3949cb328379
Size: 218,752 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 2e8757bb507ae7392cdcd6b6ac30c2a8f3a87fbe
Size: 168,560 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 814df286eaa6a9ea459344c1d147cc05a5abe3ba
Size: 98,073,628 bytes

Submissions

Submitted
Wed, 23 Jan 2019 03:05:42 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1536521312"