-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: ikos
Binary: ikos, libikos, libikos-dev
Architecture: any
Version: 3.2-1
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Uploaders: Scott Talbert <swt@techie.net>
Homepage: https://github.com/NASA-SW-VnV/ikos
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/python-team/packages/ikos
Vcs-Git: https://salsa.debian.org/python-team/packages/ikos.git
Build-Depends: clang-14, cmake, debhelper-compat (= 13), dh-sequence-python3, libboost-dev, libboost-filesystem-dev, libboost-test-dev, libboost-thread-dev, libsqlite3-dev, libtbb-dev, libz-dev, llvm-14-dev, python3
Package-List:
 ikos deb non-free/devel optional arch=any
 libikos deb non-free/devel optional arch=any
 libikos-dev deb non-free/libdevel optional arch=any
Checksums-Sha1:
 7f7d375dfc12c155904fc9bdb829ba93839bc828 1382507 ikos_3.2.orig.tar.gz
 2f808370e6c9dbc5e5cba9ed20f00a3fd5c33aaf 7680 ikos_3.2-1.debian.tar.xz
Checksums-Sha256:
 780b373b73125d42e8ad4dad43e11f08447b2a238ec54640fc2e1c3d2c4de071 1382507 ikos_3.2.orig.tar.gz
 8388cbff2c8194d199ffe681af5e039db79e1fcc160f7c2ebb0f07a9effd7581 7680 ikos_3.2-1.debian.tar.xz
Files:
 5f14e12cb32a3ddc55f648da5baa76a6 1382507 ikos_3.2.orig.tar.gz
 10432e75cf97d04591e5fc468166333d 7680 ikos_3.2-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXCgyoPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii44IQALlr4qzxRNY5GLBCoxKZ0D8405dFGHLDQYz7
Qzil5LKrVQwL9fNlnL0K4ubD/upVK05gcJOyzs/qSAgi+KtU2/wG5gk//lNfZMbg
Iy0vsce641AmfQWFwMRsZIAfyuV8J5EEX3dfMzzc532Y0ThjMua2wFa52CPmcv8x
0hXFhCPxPm31+xmt/VNfAYkRJGGzrSuVHlr7ffKcHp9I5JjxHAs1pN4gptxaK4pS
BpCb9/NsvrqSgvlqQrEjkBTCwLLxNDVipB7xQXI4DAbN9l7Rv5Brr162eOGqSTjl
LqxDulqkHaMz4xzVkletqQrCBDno+7pWoTZUjxj7OrLJIATwibq9fhdpmKuPGka0
q1WgpqQTpiVIVJVRvQULvy1L+RUPDKfIECYq7B7jODw0v0XkY0GipeHCo+qJBEBF
n7oiBxLghNKxzsls98Og0b0HR2W7TJw0BvHnTm0Eg9iaxT4R2QW0ApAjzq0mmewZ
+AdIJBQVaWB8qpHZkje074fhjWWxVCp3HJ6pMQoY7aKOjQFV32Bs+bfjVjxQU+f/
wFJTCjcYenbTfhXpbUY2LAYURWE9oOOKdg/QKXPwG1MG844qI2S4cuBjH1Oz/9pe
jTRS+kf/rcM0YStT4gfpWj3jdS64E1HG+O3gLzT9E0Y5Ja0zKq0nWsQJoXkazfPN
i3iVZH7V
=8UAX
-----END PGP SIGNATURE-----