Package: ikos
Architecture: amd64
Version: 3.2-3
Priority: optional
Section: multiverse/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Python Team <team+python@tracker.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 39531
Depends: python3:any, libboost-filesystem1.83.0 (>= 1.83.0), libboost-thread1.83.0 (>= 1.83.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libsqlite3-0 (>= 3.5.9), libstdc++6 (>= 13.1), libtbb12 (>= 2021.4.0), libtinfo6 (>= 6), zlib1g (>= 1:1.2.0), clang-14
Filename: pool/multiverse/i/ikos/ikos_3.2-3_amd64.deb
Size: 10795632
MD5sum: 610eb0cebea37fd3d03dc11f6cff1bf3
SHA1: a785aaf3d81eca7ad48a37f49ebb557591d21a32
SHA256: 165db6a754bf489d1151738ac7744758eaede100c2ac59499be59a1430267d88
SHA512: c940417b5b93dc302fd000f0f480ce15a4ee51cdb16a820a421f5c04a6012a5f94b0f37ae649f915ee6c08e233837f6c44a807a651226b126440c17c0939d803
Homepage: https://github.com/NASA-SW-VnV/ikos
Description: Static analyzer for C/C++
Description-md5: 154bdde1bc7c9192615fc804ed9b3a86