Source
z3
Version
4.4.1-1~deb10u1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 4 Aug 2021 08:49:45 +0000
Build-Path
/build/z3-4.4.1

First submitted
Thu, 2 Jul 2020 04:53:20 +0000
SHA1 of .buildinfo
d9f91e0142247bda0c1b4df7fb0961b2f0460062

Binaries

libz3-4 (libz3-4_4.4.1-1~deb10u1_arm64.deb)
SHA1: c03758555e611a24c354dc66c6475186ccf08562
SHA256: ba4662212148600b700b7ae520dfa68f0b808a35607ef2cc0222e8fb09e301c5

Size: 4,561,092 bytes
libz3-cil (libz3-cil_4.4.1-1~deb10u1_arm64.deb)
SHA1: f4fc382907069af39d59cd85a0b532a4b5b64079
SHA256: 51b85cf2a5d457ff0152f13dd4744819b659ad6d7efa1161f2c12d23dd34d099

Size: 40,728 bytes
libz3-dev (libz3-dev_4.4.1-1~deb10u1_arm64.deb)
SHA1: 4b73d69f9d348316c869459678e004a830f6eef0
SHA256: 1f0080b7c4049cdd16a4ca7943525813a6513e0ee35ddcfacbf06e4c7248c648

Size: 79,648 bytes
libz3-java (libz3-java_4.4.1-1~deb10u1_arm64.deb)
SHA1: 473eb956e8396b65b1c1fb47d595773ca1a84a5e
SHA256: 41a37dc2b8acb040d4ca7a934b688269743c34280373a1db1a2dfe0b656604b3

Size: 146,372 bytes
libz3-jni (libz3-jni_4.4.1-1~deb10u1_arm64.deb)
SHA1: 7b842849cd28f319e9cd182d63826a722cbb92da
SHA256: cca6e6f6634433e2f943ffa7b29d715d0e0004a4a5dbe41be009236b2767d043

Size: 29,644 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1~deb10u1_arm64.deb)
SHA1: f7795a0a37804c26ed7ab874bc4518778d6bce2a
SHA256: 41289073f8912c884f0f392a970210bf3fad724c583b65cc85a5fa2fce8b2a32

Size: 517,808 bytes
python-z3 (python-z3_4.4.1-1~deb10u1_arm64.deb)
SHA1: c40b8867ac002b936a603ab379537ba81ee93ee5
SHA256: 72a21b244303470ddec48294b16eae61ba08defdb136cab404c75585c4f6dc23

Size: 67,028 bytes
z3 (z3_4.4.1-1~deb10u1_arm64.deb)
SHA1: db7be739b97f85f9a3324720e58d35a8a2d698dd
SHA256: 83fb12c9213eec37afde02b0afacd0db905412655b9a08f41f425c8e25b59b11

Size: 4,566,276 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb10u1_arm64.deb
SHA1: cb357105b504677cca06050776ca82ad892c1197
Size: 97,104,180 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1~deb10u1_arm64.deb
SHA1: 63080afd4a41ee87679dc246f997991066b13ca1
Size: 204,568 bytes
libz3-jni-dbgsym_4.4.1-1~deb10u1_arm64.deb
SHA1: 33ab4b88d1a1ab5425d8a2b40b1a0648bd0006e8
Size: 170,184 bytes
libz3-4-dbgsym_4.4.1-1~deb10u1_arm64.deb
SHA1: f88647df0892e2ede92498bea81294ca31cdfb75
Size: 96,524,904 bytes

Submissions

Submitted
Thu, 2 Jul 2020 04:53:21 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566641915"