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

Format: 3.0 (quilt)
Source: ikos
Binary: ikos, libikos, libikos-dev
Architecture: any
Version: 3.5-2build2
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
 bf645d3ab084eb77956b1a3da97ae9386c0b2b33 7792 ikos_3.5-2build2.debian.tar.xz
Checksums-Sha256:
 bf99c440b8d8f314eff68ade69c9fa78c99cd0c2b07c9fd39774d9271f175c0e 1382923 ikos_3.5.orig.tar.gz
 29a444852ebce11ffa3a58ed07cddc5c75abe32cfaaeb8c05902a83004ea4798 7792 ikos_3.5-2build2.debian.tar.xz
Files:
 1f44ab5e142ddb639a61ee81db84ae6d 1382923 ikos_3.5.orig.tar.gz
 034b3fcef441e1f7e9005f0562a00d2b 7792 ikos_3.5-2build2.debian.tar.xz
Autobuild: yes

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmmDSDgACgkQLIPbyOm9
Djetxw//S/IDd0aKb/jcyIaQ7tYDelHQzU6OvU29AEMyMMfzhCdygA5ez8HqCMYr
P902otlxAIIP4Kc1NyVEc06vjjWAmdLzZ8iNUPhb63KOvbTYmscUarRv6ZkcxKoE
N9kzdEmSjiBNka9pNR2jBEvZhDpKU1V1V4TrKtsobYdB+4EiSYDyQuP32vHYJU1S
89CGDnfrLGnPH+T/f9dohN9PWzGI0GazkStBUg7vUYkI4BxPIK82exaavg5kcfI7
73rGcyoKOiCnMl9CbhFFQbuDyITtb8WaVJOxdvoCYiJ7t2sxhcHKa/5DDm4wQ/Oy
v1eN77ROjMqUFj80gEn4lRd95MfNvXNDfppESoIaQ0Hbg92vDLUb+6zLeZQ8I5ho
UB8V5Lpi+K5WaNm2WNzyCM6ooAe+bdRu5F4xsc6MfUdJihy0xElqix6B95f52GYF
QZTxhNzdBb1jEa+diU4cuyVWunloB7G3tr5M8EVaoaWUbci80W5L2D4SCeoAoQoI
RElmOiQSfnbJSqTNHOnkAovihzi6tUlPM661SvB09tzcgnj0V8Ar6UqMoMEIk9wJ
Fm74oxgzD3FNTznBXlRdOirfjOH/5NjD0kb1y/Of7MaAE1Yw/E3e4mvU7xmD1qjL
siTtVcAtohc1zXcu80fLodvLUgtCdrIm1IiNUPqFdjKYP6GiHtk=
=ozNK
-----END PGP SIGNATURE-----