Artifact ikos_3.2-3

dsc_fields:
  Architecture: any
  Autobuild: 'yes'
  Binary: ikos, libikos, libikos-dev
  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
  Checksums-Sha1:
  - name: ikos_3.2.orig.tar.gz
    sha1: 7f7d375dfc12c155904fc9bdb829ba93839bc828
    size: '1382507'
  - name: ikos_3.2-3.debian.tar.xz
    sha1: 2b857fe670d6ed964389bd7c93816c5ba2e823f1
    size: '7804'
  Checksums-Sha256:
  - name: ikos_3.2.orig.tar.gz
    sha256: 780b373b73125d42e8ad4dad43e11f08447b2a238ec54640fc2e1c3d2c4de071
    size: '1382507'
  - name: ikos_3.2-3.debian.tar.xz
    sha256: d42a99fc43d808e20982bf60f55fd9f38d877c059458d2cd1693800cacf853e6
    size: '7804'
  Files:
  - md5sum: 5f14e12cb32a3ddc55f648da5baa76a6
    name: ikos_3.2.orig.tar.gz
    size: '1382507'
  - md5sum: c64cf094feb541d8a0fbe8e8003cb2be
    name: ikos_3.2-3.debian.tar.xz
    size: '7804'
  Format: 3.0 (quilt)
  Homepage: https://github.com/NASA-SW-VnV/ikos
  Maintainer: Debian Python Team <team+python@tracker.debian.org>
  Package-List: |2-

     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
  Source: ikos
  Standards-Version: 4.6.2
  Uploaders: Scott Talbert <swt@techie.net>
  Vcs-Browser: https://salsa.debian.org/python-team/packages/ikos
  Vcs-Git: https://salsa.debian.org/python-team/packages/ikos.git
  Version: 3.2-3
name: ikos
type: dpkg
version: 3.2-3