Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 20 Nov 2017 08:31:05 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 20 Nov 2017 10:40:47 +0000
SHA1 of .buildinfo
8777fe2410cbc9c5451c1d1701ae1392c0a3f985

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 997a80b5053beb84ac2644d7bde43d3d27e88de9
SHA256: a60de4fe66ea68cfbaec6faad59e8754bffaf6f568d7ef954fec61879dcbab24

Size: 4,367,000 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 2c02f3d8e65c92fa188e1f5327bdbc2fe8b98816
SHA256: 130a676430849024196a6618988caceb123092841a5275c6e535a7bd0859b542

Size: 40,564 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: 99db992573799f3143fe728d3bd216eefc3d23da
SHA256: 58c39328b72be123018990bbdefbaa8f0bec9d2252c91e3ae2ef968784e10f14

Size: 28,916 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: 6f8ac9b5f941cee5dc43a86f64ae3c505e9f3f8a
SHA256: 773a2b9cf166dd1e8bd98839e2f3aa650c145810e65a007bc78ffc6ad7b8a606

Size: 464,908 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: 574f828987ab25fba5f2edbfa5c0a7c77727dbde
SHA256: 0e64d4f09d3b9cb82c403b052499021de6a1c2b08c9e1d6cc6d6629e5cf3f7c7

Size: 67,004 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: 3f9106fb8a5dbdc3acb965b58dc38a051704e783
SHA256: d2afae6bab0a16ee43b003d2b2eb26f154e99a96c58c0069e323b4fcfa1d3138

Size: 4,374,932 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: b3d982c11981faa27c127d1adc3a5f29b8c7c730
Size: 75,091,988 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: ecb78be99adb0036dd1b3566950b9e5f0d43d3a2
Size: 169,368 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: f406f7add7ad9bc2168dc38def8be3cd3cf8434c
Size: 145,004 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 909838e22a7896de6d0776a86763664af83b84a6
Size: 74,665,144 bytes

Submissions

Submitted
Mon, 20 Nov 2017 10:40:48 +0000
Signed by
0x684E31FF38B7D0B7 jtk1a (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"