-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: z3
Binary: z3, libz3-4, libz3-dev, python3-z3, libz3-java, libz3-jni
Architecture: any
Version: 4.13.3-1
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: https://github.com/Z3Prover/z3
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/pkg-llvm-team/z3
Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git
Testsuite: autopkgtest
Testsuite-Triggers: build-essential, pkg-config, python3
Build-Depends: debhelper-compat (= 13), cmake, libsimde-dev, python3:any, python3-setuptools, dh-sequence-python3 <!nopython>, dh-sequence-javahelper [!hppa !hurd-any !m68k !sh4] <!nojava>, default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava>
Package-List:
 libz3-4 deb libs optional arch=any
 libz3-dev deb libdevel optional arch=any
 libz3-java deb java optional arch=amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x,alpha,kfreebsd-amd64,kfreebsd-i386,powerpcspe,riscv64,sparc64,x32 profile=!nojava
 libz3-jni deb java optional arch=amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x,alpha,kfreebsd-amd64,kfreebsd-i386,powerpcspe,riscv64,sparc64,x32 profile=!nojava
 python3-z3 deb python optional arch=any profile=!nopython
 z3 deb science optional arch=any
Checksums-Sha1:
 cf98065f0f392e4bfca40550e0792b2ee59d6c89 5583533 z3_4.13.3.orig.tar.gz
 7dc9982ab40d6adc4e5dc48dc9deefe80af14eae 10696 z3_4.13.3-1.debian.tar.xz
Checksums-Sha256:
 f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0 5583533 z3_4.13.3.orig.tar.gz
 25a36c2b45e85b24620da6dec8fbb2095d41cbe1b03b27b5da007ff9c922e9ca 10696 z3_4.13.3-1.debian.tar.xz
Files:
 48f96551da3180c6bf270904102e1149 5583533 z3_4.13.3.orig.tar.gz
 ee5adf2279e0a99b30de33b50217cf9f 10696 z3_4.13.3-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAmcpybkACgkQfmUo2nUv
G+Flpw//WiMgtuK2DrZ76Hu69aSmGzyLaimrJ+YzSZDlcOK9+JXYY1NrWoIMqxcI
0U/rBWog32xo3UuBRxIAIAM/l0ATfCNLli+QqB4QiD1WesQa5I+pFMPFIC4GVVZ1
zW4QjxDnV9sjk9/v9j6khDgRAA4/cOKtOcVVICkEJHI18vwTiT6E4jRebGidDxVh
jFZ2PLT2aJOVdkxZTtli1+2xDix4ajhzdEWfEWdsANIoj1YpXXI0s0y+rmuXL3DO
oD7M8V3QozSFu6xTk6umBIldH7Ao9fFXaMi7RfXHW5/UASpj5oyCEiTGivf8Q1d9
JA/Qr12bxB/Wu/u+s/JLwQZ/Aivt2mm+OZrYVRxjElH336+7qXFQVPaIzpMVAyWa
jBydVsb2IAKDftfE0ZpghxQ4so8E1kRsge5+Z0xtoUqCY78CuIb9EJvJ9De0Hjok
CyMXpXtrkXXz9t6RlKBg7C4lJI/TsW6PHYf/GvcDkq9zhIpZfurkH4tuR6gx7Uuj
OxfAk0FbSunTvv3NMTLZvsMGuaGHFQrtBquNl7JNcaKN+3CSh4fbYnW8Q4lSSFI9
lyNfZfrJrBjGzNR+qMwTlm/7a+nnlutLyJECx+ZIVOrQpGTFZ6kh7TnP8d6ULAD/
syqHG4ekW45AgXuUasZwRPjj8sOHv4TG0JVCGnaaUOa2Cq1tFNQ=
=tex9
-----END PGP SIGNATURE-----