Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 14 Jul 2019 06:08:15 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Sun, 14 Jul 2019 08:14:32 +0000
SHA1 of .buildinfo
30d0947d87791879a98225a555507e3fe8a890a9

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: aebfb2c109a34b4a295f25142be80bf44ca7e4d8
SHA256: bcb548e48ef1cd795ea7c539c1c4fa08f7087c28891109177b5f715d50af51e8

Size: 4,325,812 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: c722046d3180ec01c0789e0fd5531cff8b96b65f
SHA256: 98a32bb23cabca4d7aec2043329a45d0815dcb76bc353e7a164f578de41824e6

Size: 40,864 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: b8f2f71ca4e16abb4c1e36668a53166199db344a
SHA256: 0f8b20956514513cc2d276cda76fd1ba6d11b1b763d1adf9eb1e04e4b1c3634a

Size: 28,948 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: bb62f21a37be99fecd5adce71a9e54b728fe9fdf
SHA256: 67ab5c388dd4f0af68522825f17fe5761664cf6b3e5fac1f28cae293a4e292c3

Size: 543,064 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: 683967ee3db2a8f59627101cbaa1dae5d31af87b
SHA256: 6d21cda07ce14cfa321a1fb8cd19806a402f53e62886e8c006775f5eeafc8b38

Size: 4,332,144 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 2a80b75382e7c4df5e7d3724eef30150d9c7484d
Size: 95,238,972 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 56abae13cd302b2df81720573d56d1583ea35bdf
Size: 217,308 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 0c74dd58b4b0ef2d9a1a57b2dfc2d30772afb936
Size: 177,672 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 43be2e21defadcc2553dcc062eb3dd40055522c1
Size: 94,472,336 bytes

Submissions

Submitted
Sun, 14 Jul 2019 08:14:32 +0000
Signed by
0x3ED2935763F0D6A2 odxu4c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1536521312"