Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 26 Sep 2017 00:16:07 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Tue, 26 Sep 2017 03:40:32 +0000
SHA1 of .buildinfo
83c117dea45665a2537d7c3798cab63dc1483d8a

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: b7226d3f7fc373e3a3b0356b4c4105fdc2ae9e64
SHA256: b84eccb5cea5898eb7ef95cc9248045386607b04bffcf290f72a7e416f44c9ce

Size: 4,368,692 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: ad1a0103e230223fc6a2697e18ca9590af2cbb18
SHA256: 0670d12acc795cc14afad1111e596735a663dee2dc5be8b7bd386d142d7bf84d

Size: 40,650 bytes
libz3-dev (libz3-dev_4.4.1-0.3_armhf.deb)
SHA1: 5f61103f5afb6ef66a2c822d855f27ceaf7811c6
SHA256: b8a17836d198fc5448e74c93d20361d4ecea418e8ae22c94ec8960f3410008bd

Size: 79,176 bytes
libz3-java (libz3-java_4.4.1-0.3_armhf.deb)
SHA1: 242e85eb64fa7be113b57f44c3b2b113415dc117
SHA256: 56f488abff8aa9e681ccd441e5193937b2a0131f4d746ba4ef8bd6abe0d35fda

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: e8b830c1717aff88cf6cb85ff1eb543b81f1a1a7
SHA256: 254873ff67b8fdb218490fa9c1fbb3e44db0dbfb4f550351c60e7b4ddedf7f2e

Size: 28,820 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: e992bc520a4c1778cf99a94b9cf73a20a3f243d9
SHA256: e03dc731844ebff6422f40cdbff77f04b068c791598c5528c9f81f660d44a90a

Size: 514,604 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: eb37cd59f9d42e2aa1ad524fdc63de20ddba86b6
SHA256: 7a25c17376406c8ebafe9fc7c39f5ab17125442842d96ee33b8b5293be72cf72

Size: 66,922 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: b3380920680eae06271a982f2ee5093d57ee3d62
SHA256: a381742a1a8467e6dca2d99a0f27fdc1fcc9c1ac4f0080486e06e63534132bb7

Size: 4,373,594 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: f886df13dcb2e9b52258e4ea06ae37c1e648db25
Size: 75,033,488 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 754fac3cba0830758e37f370ba3e5823651bfe99
Size: 169,070 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a545d7e5e0f7f463df523d501b34eab2c84fdc92
Size: 145,156 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 0bf0085bf22288d31263e5ad3aeafc1380f429c5
Size: 74,600,152 bytes

Submissions

Submitted
Tue, 26 Sep 2017 03:40:32 +0000
Signed by
0x0F806CEEB6CD263E odxu4c-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/1st/z3-4.4.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1474837584"