Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 17 Nov 2019 19:04:46 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Mon, 15 Oct 2018 12:59:39 +0000
SHA1 of .buildinfo
7ae26daa9b57fa6a265d7f78afa035e246f893a1

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 7208efc82b33aeb2214f78a036f3048dad854896
SHA256: d33e59151280261ae4552a3b01fe5e51eab56d5938094d847a51e7f479b51871

Size: 5,202,520 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 8753e6e944911343d319423d9d6d2f022377b579
SHA256: 286b92dae57ec743a6641a2ceea986f3b39a07168bfffa6df2e98f83bfe1cd27

Size: 40,656 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: 179e3844a104e954518e874903bafa890521d478
SHA256: a23d4c7f8b920df3b844454d736663e83f2e0b96d8e343b7a05eb8cc77ab0d58

Size: 145,704 bytes
libz3-jni (libz3-jni_4.4.1-0.4_amd64.deb)
SHA1: f15044f3c469a45513a7c8cd345451a1b9651543
SHA256: 58afb88e83fccd1ea0dee4c7d234de776cfe546ff325eb14a26d0231c4cf5977

Size: 31,952 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: f545667b12a8087c747b343bcd7fbc7a6b9f6981
SHA256: 757af424abf9382970b32e4f15412ad9cfcb43cc4a9da2d26782b0ac2934380f

Size: 525,104 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: 3c4f04f34520165f3644f9a1c2e456955f26cef8
SHA256: 3f5395930fdce25f7aeb467faf2d67a3e13b0d082c96feff2b91e1df02da6fdd

Size: 5,219,436 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 14796ec3d4006ea649e2d217385526b1c6fcd93d
Size: 98,432,612 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: ea3e58e1bd4b52d9dc5485be41cf3ee73a8cc2c8
Size: 219,228 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: be4b58ef48b133e3ef5768aef1c21bb61254a9c6
Size: 168,644 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: c06431e176e622283fa37998925abdf80c326d82
Size: 97,814,968 bytes

Submissions

Submitted
Mon, 15 Oct 2018 12:59:39 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"