How to Install and Uninstall ikos Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 20,2024

1. Install "ikos" package

Please follow the guidelines below to install ikos on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                ikos
            
                    
    
    Copied

2. Uninstall "ikos" package

This guide let you learn how to uninstall ikos on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                ikos
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the ikos package on Ubuntu 24.04 LTS (Noble Numbat)

Package: ikos
Architecture: amd64
Version: 3.2-3
Priority: optional
Section: multiverse/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Python Team
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