Package: libikos
Architecture: amd64
Version: 3.2-3
Priority: optional
Section: multiverse/devel
Source: ikos
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: 1898
Filename: pool/multiverse/i/ikos/libikos_3.2-3_amd64.deb
Size: 297034
MD5sum: eb207ccec0977adf9d0b954b75861b8a
SHA1: f86ee87507cd6ba9671044e0874fefed065e3f0c
SHA256: aff4efbb69c0fe6ddcc1ada309fa5f0a716345bff4b29faa4ddc2b4b61101d3e
SHA512: d5e737256594e2743aee8c5a83d28e8198f9b204697ab8e9ca4108b23db03c74521154131bc0911d0f07277f625ad1721b17af59ef797009fef896ae9e48d287
Homepage: https://github.com/NASA-SW-VnV/ikos
Description: Static analyzer for C/C++ - static libraries
Description-md5: c045eff0ff89cdb98a7533b3a25a7528