Source
z3
Version
4.4.1-1~deb10u1
Architecture
source

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

First submitted
Sat, 24 Aug 2019 18:27:54 +0000
SHA1 of .buildinfo
8cc748931094d5734e47d4a2c5e79b28d48c66b3

Other checksums

z3_4.4.1-1~deb10u1.dsc
SHA1: 688787d5afaccd7c30b9a63012a50416c6c114aa
Size: 3,055 bytes

Submissions

Submitted
Sat, 24 Aug 2019 18:27:55 +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="1566641915"