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

Format: 3.0 (quilt)
Source: ikos
Binary: ikos, libikos, libikos-dev
Architecture: any
Version: 3.2-3
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, 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:
 7f7d375dfc12c155904fc9bdb829ba93839bc828 1382507 ikos_3.2.orig.tar.gz
 2b857fe670d6ed964389bd7c93816c5ba2e823f1 7804 ikos_3.2-3.debian.tar.xz
Checksums-Sha256:
 780b373b73125d42e8ad4dad43e11f08447b2a238ec54640fc2e1c3d2c4de071 1382507 ikos_3.2.orig.tar.gz
 d42a99fc43d808e20982bf60f55fd9f38d877c059458d2cd1693800cacf853e6 7804 ikos_3.2-3.debian.tar.xz
Files:
 5f14e12cb32a3ddc55f648da5baa76a6 1382507 ikos_3.2.orig.tar.gz
 c64cf094feb541d8a0fbe8e8003cb2be 7804 ikos_3.2-3.debian.tar.xz
Autobuild: yes

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXVQOQPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiJiQP+gIe6Jh8TiPPvAMKBGA9992QgZ/Z3qJU/jbv
co5rlZSwa3seG//7yLv/vYARD+Wy4OSbmzmxXhAwuw2xJdBsu47aa8odwuBTMIu0
Ge8oopvRdlCgtUfjcD8gvuD2BTLts/lJQIdrUsM1R/im/hbpmx4RnVipRPSxREPV
HQIPBEOTvc1yrZNT8GdN9Gbt/n7bTcPcymAvsjIYnGMJXJ/KYYjnunsoIaQ5R4br
CVsG3ViuphF7BgnIPSDJrXMbnIv69GoVaXbP0C9odS6LLdgFYrvAerUvqyNPW5hM
nfztBDIQV48o37ObuKdoYEC35e41ryuyD/mN72Omw+Ykmas6q8/xYHB3JsVx6FrD
/IX4LF3DcYmPeP8pOYzv+8xsoniOwH2ugoicoj5BM47SvRxG09xws9fjb+/a48Yn
hZaMXQLkkvqOyUbZ2NwhhWUgR/6GQ/Ghrg/dE6WqwpRH/1/sly5AYpslwABJE+YD
fvjdy3QnPpmVWPPWzhMz8c5wIk5ybB6/ZEN0UTeqj7zdxMCym6cqyv31uCZbop2F
t/YwFieJ2sZADWaxEWbT350dLSTcg6nqCUXUD/WpmgGknyGnxYkOfWMV0OpW2MBw
6OQkMWFwZKUiT+4QMsHUkjkzSJ+hpiwPC9pgYdhztS7D/ap4h4UVZ354g4Y2Qeo8
58BxD/vp
=H0QP
-----END PGP SIGNATURE-----