Source
z3
Version
4.4.1-0.4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 19 Apr 2020 01:37:46 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 17 Mar 2019 21:15:22 +0000
SHA1 of .buildinfo
24f293dfe53d64859e196217a868fd20b495023c

Binaries

libz3-4 (libz3-4_4.4.1-0.4_i386.deb)
SHA1: 2c54c60234526421a760f553f923d2987c50774b
SHA256: 94b5a64ffae947d11236858168b4c8b8519d98e84394ba29b1c4b3e9f23604fa

Size: 5,795,204 bytes
libz3-cil (libz3-cil_4.4.1-0.4_i386.deb)
SHA1: e034eea048979b728fa8fa1d9b3e321d2f0cf336
SHA256: c0aa710246793acf0ccc40cdd277a6b4c785eff7b74e11a15005def80e854eb3

Size: 40,928 bytes
libz3-dev (libz3-dev_4.4.1-0.4_i386.deb)
SHA1: 84d7fa8d648d1d01c4e32af7292b106d3efcbccd
SHA256: 232b18e74eec8233ec1a15c81d4d445c3425adf132fae342b7c5ffa73b5696cb

Size: 79,360 bytes
libz3-java (libz3-java_4.4.1-0.4_i386.deb)
SHA1: c3a2d32871d610f9a74360db2fb54377e5c76fd1
SHA256: 54a3384576929e08421390ca63473f7f04915b59621cab648ffbde5587aec265

Size: 146,356 bytes
libz3-jni (libz3-jni_4.4.1-0.4_i386.deb)
SHA1: 6857c6d322bf51936861af55f140158458109759
SHA256: 38984132596f4f3c4b87c12af2aa48453d5bc3a9938fe2780ad071ef0810bade

Size: 41,636 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_i386.deb)
SHA1: 831e5abfa98d44d49f5a40f23fc1cc9d561f8392
SHA256: a75ccf1b3515322f8539c91b65b7cffb0307412f15a7fe2ad138147dc13b9813

Size: 500,480 bytes
python-z3 (python-z3_4.4.1-0.4_i386.deb)
SHA1: ff717b842cda01de5f9a4b58b492b7066c966259
SHA256: 053a2f134a028c0e980a335d6fd8e668a5f6f565a0bba0c57da6f9e74ec6ceee

Size: 66,988 bytes
z3 (z3_4.4.1-0.4_i386.deb)
SHA1: 9b315fe9ae536a67867abbdd9925036e3be92ef6
SHA256: d36b9f9c701af2b0ca65032c32f42020efcbe75e0147286c29f07069667fab0b

Size: 5,808,412 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_i386.deb
SHA1: f8997bde40c3abc2b0bd41a6b1d5309339361cb3
Size: 95,028,288 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_i386.deb
SHA1: 93408c8319d88f9a9cb85e5ebb9ef344dfa6f08d
Size: 190,068 bytes
libz3-jni-dbgsym_4.4.1-0.4_i386.deb
SHA1: ecf05c232417644eaf181f80df8b97028cbb60b9
Size: 142,932 bytes
libz3-4-dbgsym_4.4.1-0.4_i386.deb
SHA1: 82b22ff177f517be3726847e21487aff1f112a62
Size: 94,157,280 bytes

Submissions

Submitted
Sun, 17 Mar 2019 21:15:22 +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="1536521312"