z3_4.4.1-1~deb9u1_source.buildinfo (view)

Source
z3
Version
4.4.1-1~deb9u1
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 24 Aug 2019 10:46:11 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sat, 24 Aug 2019 18:28:17 +0000
SHA1 of .buildinfo
64232a8ac6a79691390ab35c8030fac4027b40a3

Binaries

libz3-4 ()
libz3-cil ()
libz3-dev ()
libz3-java ()
libz3-jni ()
libz3-ocaml-dev ()
python-z3 ()
z3 ()

Other checksums

z3_4.4.1-1~deb9u1.dsc
SHA1: e6a95d68cee003db92fc4a926542e95ac9fed657
Size: 3,051 bytes

Submissions

w37f9udj
Submitted
Sat, 24 Aug 2019 18:28:18 +0000
Signed by
0x5FB33F9359E9ED08 Andreas Beckmann <anbe@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=16"
DPKG_GENSYMBOLS_CHECK_LEVEL="4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566643444"