Source
z3
Version
4.4.1-1~deb10u1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 13 Aug 2020 02:10:12 +0000
Build-Path
/build/z3-4.4.1

First submitted
Thu, 13 Aug 2020 06:56:43 +0000
SHA1 of .buildinfo
99464ff1821fecf9d78ee9becd8c510244b9bdfc

Binaries

libz3-4 (libz3-4_4.4.1-1~deb10u1_armhf.deb)
SHA1: 16097139cefc55f56665e08688e9768b93e4cc39
SHA256: a27aedfa3cdf15a44ce034ffa1b3d738c1ee6d990d2279ec2d42cca89312e050

Size: 4,327,820 bytes
libz3-cil (libz3-cil_4.4.1-1~deb10u1_armhf.deb)
SHA1: 347f99797a8bc2786ae815ba5eddd0b47ac3a7af
SHA256: 102ea7f468857653b0a7e63377940c5558defb2ec8eaf90038cc4065df356074

Size: 40,740 bytes
libz3-dev (libz3-dev_4.4.1-1~deb10u1_armhf.deb)
SHA1: 022b0a5632278ace4d030a68f16baf7e02bec944
SHA256: 48373ad1d8542f792f4c53caf6e123e52e82de8a1a97d9c5e8b052d8bb25076f

Size: 79,652 bytes
libz3-java (libz3-java_4.4.1-1~deb10u1_armhf.deb)
SHA1: 7c18164255522bb199eecb942f3b84a7d46527fb
SHA256: abd5477c9a12d561cde17a213f239c5f71bf571030e833181400a875c004e270

Size: 146,372 bytes
libz3-jni (libz3-jni_4.4.1-1~deb10u1_armhf.deb)
SHA1: 95f99d1f83919a3107f4d8a2cf3655608606b969
SHA256: 581c33a2a37c465a5e02ca4ed5e6399a32fba1d1ade79c25d7f76da4d049982b

Size: 28,864 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1~deb10u1_armhf.deb)
SHA1: 22fc6ab5109808e48a5b634029137aa0cfb1f448
SHA256: c4c89f8334e847604b882ff39ab856cf0d2f61f1d746c6a6762b8b3e507c0b1f

Size: 538,664 bytes
python-z3 (python-z3_4.4.1-1~deb10u1_armhf.deb)
SHA1: 19b128fd74a9a25e721b846d9c02ef7605d8e408
SHA256: 4014e993d9d62745c4a0d21f034deb210f3616af24736e8acbda93e1847c518d

Size: 67,028 bytes
z3 (z3_4.4.1-1~deb10u1_armhf.deb)
SHA1: 74892f614a67aa6de56b60c15d60528abbb83343
SHA256: 0cb10169c0a4cbb76d421031939fcaf652b1975317c82e014045445a55b67692

Size: 4,332,612 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb10u1_armhf.deb
SHA1: 90025ebb4d4fc6e7291b1a8770efe030a42f6d24
Size: 95,080,536 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1~deb10u1_armhf.deb
SHA1: 70306c1bb1824d7d9775aa09383fbfeb8ee05773
Size: 217,376 bytes
libz3-jni-dbgsym_4.4.1-1~deb10u1_armhf.deb
SHA1: ff564b99c6e5e8dacc8166c439fdb59022727d17
Size: 177,624 bytes
libz3-4-dbgsym_4.4.1-1~deb10u1_armhf.deb
SHA1: fd7c584c329d93f98bdead0d3e02ce49e8032061
Size: 94,612,452 bytes

Submissions

Submitted
Thu, 13 Aug 2020 06:56:44 +0000
Signed by
0xB31CD0602364F84B jtx1c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566641915"