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

Format: 3.0 (quilt)
Source: ikos
Binary: ikos, libikos, libikos-dev
Architecture: any
Version: 3.5-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.7.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, libgmp-dev, libsqlite3-dev, libtbb-dev, libz-dev, llvm-14-dev, python3, python3-setuptools
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:
 f340779b30c01f34766f24a3c34e549abb846893 1382923 ikos_3.5.orig.tar.gz
 b6c136a145e529510d82c16e9d77967028dbe3ac 7552 ikos_3.5-1.debian.tar.xz
Checksums-Sha256:
 bf99c440b8d8f314eff68ade69c9fa78c99cd0c2b07c9fd39774d9271f175c0e 1382923 ikos_3.5.orig.tar.gz
 4c701d53df5bff547f36f87db6601213ff0fe663d30c0b69757b37f65bc66c2c 7552 ikos_3.5-1.debian.tar.xz
Files:
 1f44ab5e142ddb639a61ee81db84ae6d 1382923 ikos_3.5.orig.tar.gz
 6eed7696ba4cfb9fe504439ab149502b 7552 ikos_3.5-1.debian.tar.xz
Autobuild: yes

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmfoLkoPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiIGYP/1a5lx13u51e1xw86mlIeEhvJbOBMV2S7xp1
Ww+5q3bcTBpOX9xyRyScIPWJQLaLQmTH2Hfqvi50fSlm2Jbh4DstIqKpQRswuzw0
gN9xywZ1Cjwzr84QZHEE6/za/Z1zGeXj8dFsAU3nEgdIhHsu2BTlIO7RYZxDd8Mf
EgNZxbH/XVfKhZhMq9TR+2VN+NPFTtCi0JcdLf+LofDIZfUCfmiPtQAWeM14vm7N
Y9kV/MxZZFZCktGMA0N3UUmHw9n0BHm7X1l003sc6hwMzKkne69C/CLaQiTmmYYY
/uWng96qxHEwqxHNDXq9QymugJ+kKzpzdQPvOU3xI82iMwlGhQOhLlIea7OFx7E3
iWdrScdGnK1oiKFTzl9Guq93eNu0B/D45Fism/NlE+h3k441EzPUFq51QsCAq/0a
X21umvcCesSnYnI8e7uRVmvC7eoR6e6efEolk7TVlKoC2SIoyFFuIp6FguEl3cpn
djO/88D4hfCgS6FL8QZEmtxlZ9yWRS6vZXeezqxXBLitdI7cmnmwVQmTSMf25Tkq
XlzYD3AWpQJUYeNjkDPVGhYdsr0Ct9R9T6dLYD4g+HKz38eTVxDbv84iDz9eem76
GvDtZIQ7Xjii1T/HjklGxqnPR7Wki31DJaodB1wct3czlbyyELQRZb1xI1khrUzM
/1pAxIMf
=9q7e
-----END PGP SIGNATURE-----