z3_4.8.6-1_amd64.buildinfo (view)

Source
z3
Version
4.8.6-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 14 Nov 2020 08:39:59 +0000
Build-Path
/build/1st/z3-4.8.6

First submitted
Sun, 13 Oct 2019 02:48:11 +0000
SHA1 of .buildinfo
5f29c757650aa92ff736b9604acc140e4296b5d2

Binaries

libz3-4 (libz3-4_4.8.6-1_amd64.deb)
SHA1: 67ed117aa33bf84aa153b2d38d3445678f7603bc
SHA256: f5321328dd35be5a241c878a458b738299f87f72ade511ebeb8f86a090360ae0

Size: 6,810,020 bytes
libz3-dev (libz3-dev_4.8.6-1_amd64.deb)
SHA1: 13544a1acabf2661b6f67a4c15b1d91e61185a91
SHA256: a0f808b42b079b0373459fbb97e8f5df5de9b588cd5885339e39eaee2caee7d0

Size: 85,688 bytes
libz3-java (libz3-java_4.8.6-1_amd64.deb)
SHA1: 9455bb11d33ccc160fed9346c9cfe7b9a1487cb3
SHA256: 65f5999e36b4bc68c1c99a038c0d2e4ac9c1c8363fe4e03bb39a33a558bfc3b3

Size: 153,568 bytes
libz3-jni (libz3-jni_4.8.6-1_amd64.deb)
SHA1: 1d164beac37860d3a0c9b9c29ffa1c741926df7d
SHA256: 4bdef73fdb81df4d3711f6010edbd30327333c8cf1383fa5a224485b8032ce39

Size: 32,068 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-1_amd64.deb)
SHA1: f0873a761224953de9640299463e7f7fb2fb57cc
SHA256: 29a3a58adfcfdf6f34ff4f32c5093d1f6911ba9d75df86519bf206bc33a359e7

Size: 475,816 bytes
python3-z3 (python3-z3_4.8.6-1_amd64.deb)
SHA1: 3245758b05513be5eb2492c15d21b6f51f716d8a
SHA256: 4d400128eab3e844dcc06a246a78f0659eca5f1a13842d73feaa9512658d9030

Size: 76,376 bytes
z3 (z3_4.8.6-1_amd64.deb)
SHA1: eafb979ba7dac6cebb4f6c2607acd05ee58dcd99
SHA256: 893cd4106729b1464c845b835de6e51c246d77a4c7d62f135cb97004bca6d900

Size: 6,947,080 bytes

Other checksums

z3-dbgsym_4.8.6-1_amd64.deb
SHA1: 5bcb351d1be4a795b005d8fbc20635fcee413fec
Size: 109,703,732 bytes
libz3-ocaml-dev-dbgsym_4.8.6-1_amd64.deb
SHA1: 254165ef812d149f57e3afcbbbcfa0b0a67e9967
Size: 355,664 bytes
libz3-jni-dbgsym_4.8.6-1_amd64.deb
SHA1: e1fa6926a7c02b3edc56a0a0a302a66c788639aa
Size: 179,268 bytes
libz3-4-dbgsym_4.8.6-1_amd64.deb
SHA1: e51650920390b3c00316bc15ad218d96b312ea8a
Size: 106,639,628 bytes

Submissions

mrnf4k79
Submitted
Sun, 13 Oct 2019 02:48:12 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1569774114"