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

Format: 3.0 (quilt)
Source: ikos
Binary: ikos, libikos, libikos-dev
Architecture: any
Version: 3.5-2
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
 0db1f30c1204ac209074c3746ebf5f3f092ce703 7692 ikos_3.5-2.debian.tar.xz
Checksums-Sha256:
 bf99c440b8d8f314eff68ade69c9fa78c99cd0c2b07c9fd39774d9271f175c0e 1382923 ikos_3.5.orig.tar.gz
 552253b277ab23db69fb3f2829bb7ad44ad35056d320c25ce98637c81fc7e67b 7692 ikos_3.5-2.debian.tar.xz
Files:
 1f44ab5e142ddb639a61ee81db84ae6d 1382923 ikos_3.5.orig.tar.gz
 1e3f4275691701237ce030b6751faaae 7692 ikos_3.5-2.debian.tar.xz
Autobuild: yes

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmfvIJUPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiIYMP/00SV0e35qnmvZEJOftpm3wx5bRQIcuOLzn0
A1MN/+TRWeeMcHLUXIT9NvWJWD0/QWgJScgYX28wMv1Dwl6LD+F69+koCJoBc0NC
OLmBfkiXisuw336lTsvm+2prE4rVB1i6YC7U8ZzOrdDEql2V+B5tE7Mf6j32omDE
p7I4qiP33m7CHw9qxMHgzv/Lwbzw/fyGcBA1l4w2CDqpi7mDLQmF8aerdIPj9F7Y
8/xleJsYpXRM3a37okhVkbqn9K2Odhao/8NddSiE236KI/oOI2M+dSp9vdl9KKkT
xB4cXCp1gqEuhuSbNgFZSAxS1Kj+oRtjj/f9ikd6zTvCvt35CZ6aw4UGY4kMIE8o
ZQk/TVMshF2XbI015rVkpuoU5Dk/O8YZku7cVURL83trH/gNZDg/sxJkW9xuy0Un
RCxKGgPMl+CedCVP38O+QiFLwy73s0ozTgTsGkspFzVLLNKSFYHhkQ7nm0uYjMlR
d0PVNrMvdAweCT8xyGY0n8RA+F9uI/TmrUm+S+Z9S3pf/owUe7adfHvEd4b4/Lwu
4D1m8JR06VfpjIr903BMTgLcaqt63NVkkfliSIbdqm5QZSJV/y0bgtA6TmMt2x2f
VdLZ2uD1WGgrO99GM/9a6JvoIc9xgjPbyrkQ3YO1NcAJUB0qGKfFZHOgTfTKOQ4h
AqWwiBrw
=qdgd
-----END PGP SIGNATURE-----