Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 16 Dec 2017 20:45:57 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 17 Dec 2017 04:06:55 +0000
SHA1 of .buildinfo
00b5df647b0b88ebb1f2b3f2cba7e0c4fcf5a4d2

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 2c981b190b324ff6800ec1526a7d67a1b3be4b06
SHA256: fcdd176391e6daa2c639b1faebb38ea29b1f240714abeed15a29b4df30712aa1

Size: 4,367,688 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 11cccf43d7704da0d029937bdc9b832efa693058
SHA256: b947b44d3c6962b908974eebc980f65131f2db502c6b1daed110c68ba2d5b82c

Size: 40,808 bytes
libz3-dev (libz3-dev_4.4.1-0.3_armhf.deb)
SHA1: 1f77483423ab4ecbf7004dd3349e7001df05931e
SHA256: 1ab52de86781a3ce55df006ff2db20555d138deaea5ee2a222b3b7a2bf254fe7

Size: 79,252 bytes
libz3-java (libz3-java_4.4.1-0.3_armhf.deb)
SHA1: 0babccd6e2a49fb9b11190594c8e3c8510912689
SHA256: f2e4b18785278af86c65a1104c2c18a820a43a28bc78756392b2bef608cd9f88

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: 5e4d1acc92426ddae7d73f83fb376e51bd9051d3
SHA256: 6838300c03fdd7ecbe6e1f47881e510ea5c3a9b04064f17917d32ad7daccf62f

Size: 28,896 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: e38e2efce8e6dcc7d1deafa47e8ccb08cfeffc57
SHA256: e37da92f0dd83859a4f731d14794ddd52975d7667c53742b4fae4e19f2df6d41

Size: 463,420 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: 712d0447f7e610a73ff96a558491d2fb9d89cb9f
SHA256: 77b0f46d635af19bf00ecb1429bf1d5ef0e38ed5b69ec978f180af3e4abefd61

Size: 67,004 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: 17a4e3481f924eb89ef189c7967f22f55130f74f
SHA256: b226d1d53db2a19ef7f7119a7d9d53e9194cc040debf7ab5f2992059822e649f

Size: 4,373,308 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 481cdcabdac8f355b657da45ec5644a9ee5ace84
Size: 75,119,152 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 096e6b07cb76e9186099961db3f5ff8caa346a2f
Size: 169,312 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 865879e6c935a667291ddedcb56fed13c3449b09
Size: 145,108 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 3d2b898b0da17bfda5747a59319a8515fb1a2c3e
Size: 74,697,992 bytes

Submissions

Submitted
Sun, 17 Dec 2017 04:06:55 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1474837584"