Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 27 Aug 2018 17:40:51 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Tue, 28 Aug 2018 07:44:13 +0000
SHA1 of .buildinfo
cc53dff63347a9a684779f9c284adf682cd9d7e3

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 77f001a717ba1678894f320a8b1e2e21a6895a22
SHA256: 9f41c0d65caf33c084a20bc2b324a1bdc9f106f04abecef5aace6b8c78dcad7b

Size: 4,287,920 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: 9aff44b685ebd79b773d5aa2ddc6961ce56a5c7e
SHA256: 91a0819a78498987b5adc0052721e69e979b11670b5871015c59cf493961455e

Size: 40,912 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: 7e059e840d42bff7650fb5d1ba9157daecd800e4
SHA256: 1a9db47eb5f2ef7b86f62b76f81cff97704d64128f4c21095c5fc434f0c76b92

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: d618e3646953a72e3f9285118ea300a7db665b1a
SHA256: a06830a12f8d267d52892aaf72f2ae626eba234d8442567ea34da79f88bffa17

Size: 28,912 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: a8941b3a82e560279a15704dd17d7d274d48e8b1
SHA256: 0430c10b2be12514c18bf651c8d3740a425b1731ca5c8dbaac3f2e679d2d47b3

Size: 533,992 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: 594255a4a322121ce9af4be24d43b76e4f911115
SHA256: e030ce0f04e7240c413440d0902b889d9f8941a10a175ebda0aca112d085cb00

Size: 67,004 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: 352248b0662fb1ae7df3e75b64a6835435702e4c
SHA256: e1b0d4f2f32079a3b49c90a388c782448a9d46fd71145823e5e2b0101be08aef

Size: 4,294,900 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 645c1514951d7bbda4bf2a6bb190c706ccddf409
Size: 94,859,020 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 12558a83447f66452167e69835caa5ce6a39c29d
Size: 217,392 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a03d31589c45ae3b583a149c182a6cda92df4111
Size: 177,720 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a09d4c0087bea13b6bf855dd548312900edbb8e4
Size: 94,323,724 bytes

Submissions

Submitted
Tue, 28 Aug 2018 07:44:13 +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"