Source
z3
Version
4.4.1-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 22 Aug 2019 06:56:02 +0000
Build-Path
/build/z3-4.4.1

First submitted
Thu, 22 Aug 2019 09:03:45 +0000
SHA1 of .buildinfo
45b6eb50252579f1d0568a2e3d98c8c2554908fb

Binaries

libz3-4 (libz3-4_4.4.1-1_armhf.deb)
SHA1: 439b048f358206e1158db62694763da7fbbfecbc
SHA256: 6dff8a14fbb12de324534dee9e47000d931f32861d368659e4f265e71f694730

Size: 4,329,548 bytes
libz3-cil (libz3-cil_4.4.1-1_armhf.deb)
SHA1: da1a823620c7ebfe3ccde389b6136d49a65c9bab
SHA256: ce4e6b89c0854ee709e5146ded177507340a0b663531f35793cc3918c22ae1b9

Size: 40,816 bytes
libz3-dev (libz3-dev_4.4.1-1_armhf.deb)
SHA1: f5cf4d3393aa961ac70d39bd44342ed397d51774
SHA256: 997c4a4d3f065df94226f8d3c27b1d40e233a3f4d1815c89bce80255586635c3

Size: 79,584 bytes
libz3-java (libz3-java_4.4.1-1_armhf.deb)
SHA1: 9921d8300a769d112e32f95eadc1216165f0a266
SHA256: b94a27a7d002e1e32ca152004583410f921626e2d8f6413344eb356c0e9e055a

Size: 146,388 bytes
libz3-jni (libz3-jni_4.4.1-1_armhf.deb)
SHA1: cc597701ca3eb628c6adc8b8e29d640a23e7c1b2
SHA256: cefacb82e8e5ed58aa19e46bf178d8578889062d1024e040184184f8d06502ab

Size: 28,860 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1_armhf.deb)
SHA1: 8fe5b6c45117cc3534f76a2ec5ab039dd17fc865
SHA256: 4775035d71ede97acd54cd8a9a0e68fe038b6d428f77e2146e47fd2ba55bcb3d

Size: 535,648 bytes
python-z3 (python-z3_4.4.1-1_armhf.deb)
SHA1: ad0973f1958f485dea159ded32b9f0d6ef6a36a1
SHA256: 0f65abe0eba37f71ea2d5bcc4fe485031c117568da5490854e6e61e897fbcecf

Size: 66,996 bytes
z3 (z3_4.4.1-1_armhf.deb)
SHA1: a16c49ad5f9e092140f007c2ac507293df7f796c
SHA256: 9eed29930a307af11b95fed2bafd15e3fb60c9d194e2f1fbda0ad7596e998f6a

Size: 4,333,528 bytes

Other checksums

z3-dbgsym_4.4.1-1_armhf.deb
SHA1: 40bd68f1759b5e5e9a786723ba3fa580d1f47c47
Size: 94,943,308 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1_armhf.deb
SHA1: 0e5c9f4a9ba24efa784e89db6f3e074bf3876f9a
Size: 217,548 bytes
libz3-jni-dbgsym_4.4.1-1_armhf.deb
SHA1: 8f1031813a8cbbf7f268a2201362085c755f2022
Size: 177,620 bytes
libz3-4-dbgsym_4.4.1-1_armhf.deb
SHA1: 75b33e2d01c93b9b8c534d9180e5b83433540ec3
Size: 94,448,752 bytes

Submissions

Submitted
Thu, 22 Aug 2019 09:03:46 +0000
Signed by
0x684E31FF38B7D0B7 jtk1a (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="1566032753"