Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 30 Mar 2019 12:46:48 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sat, 30 Mar 2019 14:57:06 +0000
SHA1 of .buildinfo
09d687b364917bcdda43ef7eb8e0f16a176a554d

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: 09803e1e9605b1779957b4595b71976c10ef5265
SHA256: 4a0fbcd9669ef3c817ed048d05c268fc2d6ea0ff52f9f8df14a5114217d64b3c

Size: 4,325,304 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: d10be088d46eb1e072abfaf502180d9554cc80fd
SHA256: 838f63da98af780c91b74b941bd24d08ac76bb0548a29e2d298204ef00b473ad

Size: 40,772 bytes
libz3-dev (libz3-dev_4.4.1-0.4_armhf.deb)
SHA1: d876eef98da09409b08c38d4b3abba54481342b8
SHA256: 2084ade65db65312ad6b65cf8724afb83e1eb0333ce8c692d079580bc45057cf

Size: 79,356 bytes
libz3-java (libz3-java_4.4.1-0.4_armhf.deb)
SHA1: 48c16f6690e3d4127deaf16e7823200ddcb0ed71
SHA256: bade7c007d6c3ac4acb643450ef9d86427a009ee4bd12222ad7a4affdaa88018

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_armhf.deb)
SHA1: 6fd10d8459cd95c94f53a92ffe86027aa4f4378a
SHA256: d2fe338bf34208e0eebc38e65c65dd323866db8a2fd21c15df9388892368d5d8

Size: 28,940 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: 1421abf1173a09d657a29e232e46e1785acbf06f
SHA256: 589bbda8aa4af4d368349118753d2f8fd0d3322eef94f862d0cd8c718ea03dfd

Size: 542,116 bytes
python-z3 (python-z3_4.4.1-0.4_armhf.deb)
SHA1: 503990694a19c3bf43a4e2d6db88bf42d946f51b
SHA256: 0a337858ec63aa9b9eba238cce60d59afb841b2fa992f74241a83ab1b64d63a9

Size: 67,000 bytes
z3 (z3_4.4.1-0.4_armhf.deb)
SHA1: 40d97981410140e3c1434fdb6cc6806dd45f5b3f
SHA256: 1a6931dac97189366e60d8d2fefc86a722043364c64c9254cc11220e21d690fc

Size: 4,330,328 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 320e2695f68d38b1adc6772d38d2b93f4ac9fc27
Size: 95,203,212 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: e9187709b37aeab5551a12b9948e729f02546a22
Size: 217,512 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 584d9e7cff27cafdaa5fc40adca24aaa56b3946e
Size: 177,728 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 365eb80d4a0b6732a4156a7c09de8a470a37bb10
Size: 94,665,632 bytes

Submissions

Submitted
Sat, 30 Mar 2019 14:57:06 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (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="1536521312"