z3_4.4.1-1_source.buildinfo (view)

Source
z3
Version
4.4.1-1
Architecture
source

Build-Origin
Ubuntu
Build-Architecture
amd64
Build-Date
Sat, 17 Aug 2019 09:07:15 +0000
Build-Path
—

First submitted
Sat, 17 Aug 2019 12:55:31 +0000
SHA1 of .buildinfo
2244230cb40bab66423655788ea01f2e06bd67cb

Binaries

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

Other checksums

z3_4.4.1-1.dsc
SHA1: 186e3e4fa864d21854caf73c49436d20c1d1130c
Size: 2,998 bytes

Submissions

w4mikezj
Submitted
Sat, 17 Aug 2019 12:55:31 +0000
Signed by
0xF34F09744E9F5DD9 Gianfranco Costamagna <locutusofborg@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="en_US.UTF-8"
LC_ADDRESS="it_IT.UTF-8"
LC_IDENTIFICATION="it_IT.UTF-8"
LC_MEASUREMENT="it_IT.UTF-8"
LC_MONETARY="it_IT.UTF-8"
LC_NAME="it_IT.UTF-8"
LC_NUMERIC="it_IT.UTF-8"
LC_PAPER="it_IT.UTF-8"
LC_TELEPHONE="it_IT.UTF-8"
LC_TIME="it_IT.UTF-8"
SOURCE_DATE_EPOCH="1566032753"