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

Format: 3.0 (quilt)
Source: ikos
Binary: ikos, libikos, libikos-dev
Architecture: any
Version: 3.5-2build1
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
 d84724186ba45e15659b101f1a3fd9ccb81bec39 7772 ikos_3.5-2build1.debian.tar.xz
Checksums-Sha256:
 bf99c440b8d8f314eff68ade69c9fa78c99cd0c2b07c9fd39774d9271f175c0e 1382923 ikos_3.5.orig.tar.gz
 0f8aa79d4750cd1e83a2b98fe549890a8c13ef2f2d98c96bc83857bb321f6b94 7772 ikos_3.5-2build1.debian.tar.xz
Files:
 1f44ab5e142ddb639a61ee81db84ae6d 1382923 ikos_3.5.orig.tar.gz
 567bad523c7de3c755a7947fb097bbf2 7772 ikos_3.5-2build1.debian.tar.xz
Autobuild: yes

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmiZjUsACgkQLIPbyOm9
Djc2XQ//ebia4BfBcRU4PqMA5MGhNK6O2uUuX8NqdnYtY08eSxq9BZXkM+Zq40Xb
xHS95MrGPgW8tyP7x2VJ0ixADh8lFNhDkzx3hpWftW/Yhmq0tlYY5V8A4UZZ2RYq
xf//JSzb5w3KZ8Gqo2dL7eg405YOM8g/VSs4pFYY5i0qtYWd0QZD+Rk3ML73y0m7
6tJgwU2Zi6+quvLLL/qSPgwC3UPMv9EGDpTUspzmz7nd6/RcnXQRXjguju2znLxx
PBjnWRPeT+ss39YP9GCx3S5M7sTPmuDl0a4giTwRFy6Fv/8nxKkHVX95jXtB+tZZ
k/LsBt9FQ3YD14RU2FjAcHo3psWwYGF3fi3eNn87ICzM56dH1Ko2D9d4ASVnrH7J
jdtIgO8O0YMVt8XWp51V5MPacZe5TQhRAe/V6dMMwhVkmvdpC6eHtiTXVumP/k1d
M7RiGfo2KXBpM3UTa6aFGb1tGyhcbF70p9yTgjmL0FN0yaVakLKH7rpojEusmy6E
P37Ae+BmKeVeOWmnhMkroaCIoUPdbKauAaQZJyy2mBgEEp7RRbvHYI+vmcW/vwsx
SChpG5my5obqw8pWK8Vb9pq0701xR0KPjmHHYH0jbAKGpUebixjBbsl8vteT3DNH
QOsjVshs6cjwyHiLbVC+fMZ82+T4ThIW6RSeWcF80SmjByBQsVg=
=k0no
-----END PGP SIGNATURE-----