Source package z3/4.4.1-1~deb10u1 in amber @ pureos

z3 - 4.4.1-1~deb10u1 main

Versions in amber: 4.4.1-1~deb10u1
Maintainer: LLVM Packaging Team <pkg-llvm-team [꩜] lists.alioth.debian.org>
Uploaders:

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

Homepage Build Jobs VCS Browser

debhelper (>= 9)
dh-python
python
javahelper [!hppa !hurd-i386 !m68k !sh4]
default-jdk [!hppa !hurd-i386 !m68k !sh4]
ocaml-nox
dh-ocaml
mono-mcs [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32]
cli-common-dev [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32]
libmono-system-numerics4.0-cil [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32]

Filename	Size	Checksum (SHA256)
z3_4.4.1-1~deb10u1.dsc	3.1 kB	`f9255527c446de49228c37ad209bdf622e3f08cc25b1da25ff65d6c17e672d52`
z3_4.4.1.orig.tar.gz	3.3 MB	`50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce`
z3_4.4.1-1~deb10u1.debian.tar.xz	14.7 kB	`970648b0924b4fea16dce08d3f2f95048c8ef5175bfefd27c4101386898cb218`