Source package z3/4.8.12-3.1 in landing @ pureos - PureOS Software

z3 - 4.8.12-3.1 main

Versions in landing: 4.8.12-3.1
Maintainer: LLVM Packaging Team <pkg-llvm-team [꩜] lists.alioth.debian.org>
Uploaders:

Fabian Wolff <fabi.wolff [꩜] arcor.de>

Format: 3.0 (quilt)
Standards Version: 4.6.0
Architectures: any

This package may currently be unbuildable on the following architectures:

arm64
amd64

Homepage Build Jobs VCS Browser

Owned Binaries

libz3-4 amd64 amd64 arm64 arm64
libz3-java amd64 amd64 arm64 arm64
python3-z3 amd64 amd64 arm64 arm64
libz3-dev amd64 amd64 arm64 arm64
libz3-jni amd64 amd64 arm64 arm64
z3 amd64 amd64 arm64 arm64

Build Dependencies

debhelper-compat (= 13)
dh-python
python3
cmake
libsimde-dev
javahelper [!hppa !hurd-i386 !m68k !sh4]
default-jdk [!hppa !hurd-i386 !m68k !sh4]

Files

Filename	Size	Checksum (SHA256)
z3_4.8.12-3.1.dsc	2.7 kB	`0e5db5248212a72d3dc3fe99873181161649ff03d89de726bbe6f57604488008`
z3_4.8.12.orig.tar.gz	4.8 MB	`e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7`
z3_4.8.12-3.1.debian.tar.xz	10.4 kB	`5bb616648de1d82f5563377e1640e59dd653b6beac3b6513358362e5dbd925fb`