How to Install and Uninstall libikos-dev Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: June 07,2024

1. Install "libikos-dev" package

This guide covers the steps necessary to install libikos-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libikos-dev
            
                    
    
    Copied

2. Uninstall "libikos-dev" package

This tutorial shows how to uninstall libikos-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libikos-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libikos-dev package on Ubuntu 24.04 LTS (Noble Numbat)

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