Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 20 Nov 2017 07:45:11 +0000
Build-Path
/build/z3-4.4.1

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

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: ab71aa925adc59ec2fd08e818b04ed17f1cb3a4f
SHA256: acda9fd132f25521a36a8d0442c5118cbea08ed87897f239a1622b11ebf3896b

Size: 4,368,924 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 8c25cc7661fef352a43dfa4ca56b987be586708e
SHA256: 529af1c513284231108fe4cfa85fb90c123a6b01bda3212dc527f1d811324c2d

Size: 40,916 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: 9a626d2807d37b43c8c0d1b2bf0e4e8185d317f8
SHA256: 76e03719d7ce1ab2dc5f14eb351f318104f7eed7b5acc22baf5d495c09c70b5d

Size: 4,374,620 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: b31c524d1639c3e97b835ffce63a460bd5f0f8e5
Size: 75,217,796 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: 4540f6028b0ee8f19773bb685ee0c4b582ab1901
Size: 74,774,328 bytes

Submissions

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