Source
z3
Version
4.4.1-0.5~exp1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 17 Apr 2019 03:36:41 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Wed, 17 Apr 2019 05:43:47 +0000
SHA1 of .buildinfo
b0badaa4c17245f2fd9e6b1c65c241f88141a3bd

Binaries

libz3-4 (libz3-4_4.4.1-0.5~exp1_armhf.deb)
SHA1: a4c9bede7d1dacd4830559eb3e704b61a5a1730a
SHA256: 574e4a1b6f076b1fd4c1042c37fbe77a95f2e26ed56ebd389ebb7ef237e783df

Size: 4,324,872 bytes
libz3-cil (libz3-cil_4.4.1-0.5~exp1_armhf.deb)
SHA1: c2241fb7215ce51269f8276db9c331e3f0e84b86
SHA256: 15199d9a4b6cdae9a17d736c58cc9e6ee81c19b33f71fe0f5326013d3c1e13c3

Size: 40,676 bytes
libz3-dev (libz3-dev_4.4.1-0.5~exp1_armhf.deb)
SHA1: 90a4f3b32a21ffd4cdf306b688d1583ddf28adff
SHA256: 7aa41102dd354cbf1d680354c6bedfda3b6da272c9828aa80d1847724737899d

Size: 79,528 bytes
libz3-java (libz3-java_4.4.1-0.5~exp1_armhf.deb)
SHA1: 3692c96b192aba8923427a7f3ff98b128174210a
SHA256: 8e90e719cd15e1cc10d1def46900e489db5853723b5bf02f3334b0b15a8d8078

Size: 146,348 bytes
libz3-jni (libz3-jni_4.4.1-0.5~exp1_armhf.deb)
SHA1: f01f9fbe19ef2b4d619b069668b1dc69d596f35c
SHA256: e5492c3da8368feaeaf432ca3de739b70c6f78008dd065d063a511719369e860

Size: 28,940 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.5~exp1_armhf.deb)
SHA1: a25409bda544c7d6a34fbe43902372bd757ed861
SHA256: 9e3233e1f4455f3772a44d19af8fdf6034c5bf6630a5fb7009969f23966a7c45

Size: 537,852 bytes
python-z3 (python-z3_4.4.1-0.5~exp1_armhf.deb)
SHA1: a19865e7340909f6ac235ace18cb675769a1df33
SHA256: 749f5951790729af4e5e3fdf482e994d168c9776c600080a5e9ae99c792d0656

Size: 67,032 bytes
z3 (z3_4.4.1-0.5~exp1_armhf.deb)
SHA1: 983ac4891af1694eb780c5ab00f01799c08b6489
SHA256: 7bb38453630775c011fc1d2bf03c1be43ad0152fbb1d81b685ee4b089fb548e2

Size: 4,329,796 bytes

Other checksums

z3-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: 3fade126e9e091771dda325aae131abefec81a4b
Size: 95,039,128 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: 0171f90ef3633c4c6ccc8936ad23007f9c691e8f
Size: 217,288 bytes
libz3-jni-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: a0cbbfc4096d3ebd21eafd35798b2794453e62b7
Size: 177,724 bytes
libz3-4-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: b1ccdc201eadd240fdca9002f154af471f8f6e3a
Size: 94,522,340 bytes

Submissions

Submitted
Wed, 17 Apr 2019 05:43:48 +0000
Signed by
0x4EE7D57983E7F103 ff2b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1555417831"