Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 31 Jan 2019 12:45:38 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Thu, 31 Jan 2019 12:46:02 +0000
SHA1 of .buildinfo
aefa1e384703d5e670cf94e4d5841aeec111649a

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 61177b4ca2f5425ea11bb66958985a4c8ad4bcf8
SHA256: db92bb2f34f3e80d2e5edb2188b7c68e16150980328e2b9a1b327760416aba38

Size: 5,205,452 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 4b8efc7215e42108f49c2f530d9665454b92d281
SHA256: 4668e511c6e7ba347a281ffee4f2b64a868edf5fe44136859b425ed937816356

Size: 40,664 bytes
libz3-dev (libz3-dev_4.4.1-0.4_amd64.deb)
SHA1: 1affd85a0a3f2f2359748e46cd01fe3b1c664187
SHA256: a34586f674651ef7692332a2d694bea37e0df8a3b4ac90eef134fd151d9dcf0d

Size: 79,356 bytes
libz3-java (libz3-java_4.4.1-0.4_amd64.deb)
SHA1: c4985ab482d61c6f9c6eaded160e265adf09aa44
SHA256: 840297faf60436f4fa4a6c68e87613b239f06d193e0e75a697a0eb14be7d2db0

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_amd64.deb)
SHA1: 0d7322c09fa97746240088145e6fde38b245870b
SHA256: cc3c91cf8a9eb1bbb51e54212bc65c821542d1870655cf3442ae5dffc0e9a5af

Size: 31,780 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: 2dbaf290c7414de6b5aa22bbbb280f1c692dd3e4
SHA256: e0ca9680470fb012ef7197d8dcf0267db1648e5a7def36ce03082612129884b8

Size: 527,128 bytes
python-z3 (python-z3_4.4.1-0.4_amd64.deb)
SHA1: 7406286014ffe581d40fc8a8ad9f8d2efdbcd9be
SHA256: a9c08bd0430a547154c1e84529877eae035b0f0117cd22b0fa8e1ae5e2b4f638

Size: 66,992 bytes
z3 (z3_4.4.1-0.4_amd64.deb)
SHA1: 2ab9878ca6947e148aa26a7116b5a9b7197197e7
SHA256: 704d082b81a04628fa0e31507680b545476d2d0be573b3b9b9c7de388793a9fe

Size: 5,219,996 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 7e69fbd92551da288845da16f2f4d83efdaaf8fc
Size: 98,673,912 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 7b2a4374f6fd266b8c549f7aaf32248230d689a2
Size: 218,872 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 329e5178e65d4bac24ec3d2e15d09d086a80e511
Size: 168,668 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 1feb8aee7cf5443f35bf7a1c78b1695811b1a902
Size: 98,060,340 bytes

Submissions

Submitted
Thu, 31 Jan 2019 12:46:02 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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