Source
z3
Version
4.8.4-1
Architecture
source

Build-Origin
Ubuntu
Build-Architecture
amd64
Build-Date
Wed, 4 Sep 2019 10:16:37 +0000
Build-Path

First submitted
Wed, 4 Sep 2019 12:13:45 +0000
SHA1 of .buildinfo
3ac0e2bb718a08b6d8877fc511f1216ae216d196

Other checksums

z3_4.8.4-1.dsc
SHA1: d7ddf9ac0acfeec8d4261b5b3db54f52853f3926
Size: 3,020 bytes

Submissions

Submitted
Wed, 4 Sep 2019 12:13:46 +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="1566909011"