Package: libikos-dev
Architecture: amd64
Version: 3.2-3
Priority: optional
Section: multiverse/libdevel
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: 2245
Depends: libikos (= 3.2-3)
Filename: pool/multiverse/i/ikos/libikos-dev_3.2-3_amd64.deb
Size: 176752
MD5sum: 68958540c5d48607ebf841e51078bde1
SHA1: 98968ade22dc5a2834a1a9f66f33df4406aaac95
SHA256: ad69b58c47c83e8ec4c39b515a269f1385bec1766e338861b10bb2800d34f22e
SHA512: 1d0f7482a328a275e1c8ee8cb223210b1ccf36d4d1b30728d221bf6bb71fdffffad3937d5ce72a93a72b31ab49977de493305f87331041e3590b7b068c8082de
Homepage: https://github.com/NASA-SW-VnV/ikos
Description: Static analyzer for C/C++ - development headers
Description-md5: 6a17aabc431d88e04ab1631fd2643ca0