How to Install and Uninstall frama-c-base Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 14,2024

1. Install "frama-c-base" package

This is a short guide on how to install frama-c-base on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                frama-c-base
            
                    
    
    Copied

2. Uninstall "frama-c-base" package

Please follow the steps below to uninstall frama-c-base on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                frama-c-base
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the frama-c-base package on Ubuntu 24.04 LTS (Noble Numbat)

Package: frama-c-base
Architecture: amd64
Version: 20220511-manganese-5build5
Priority: optional
Section: universe/devel
Source: frama-c
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 251947
Depends: libc6 (>= 2.38), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.36.0), libgmp10 (>= 2:6.3.0+dfsg), libgtk-3-0 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libcairo2-ocaml-uvn20, libfindlib-ocaml-449z9, liblablgtk3-ocaml-oh775, liblablgtksourceview3-ocaml-6vnq1, libppx-deriving-ocaml-qsyd4, libresult-ocaml-mx0o3, libstdlib-ocaml-ep7y0, libyojson-ocaml-027y9, libzarith-ocaml-zlfv4, perl:any, libocamlgraph-ocaml-dev, libppx-import-ocaml, gcc, python3
Recommends: alt-ergo, why3
Filename: pool/universe/f/frama-c/frama-c-base_20220511-manganese-5build5_amd64.deb
Size: 64673190
MD5sum: de94aca42328b27bc0f470499a7860dd
SHA1: f3e0649517688c000ed039a1364378233732edda
SHA256: 22e23fce8741bccb30e8ac5c68d78b766094afeb7945b1f0f0e361dda2f08c81
SHA512: e6efbf607bbe5f0defb613aed465d2f2f0fd068e27fcf01de8714fd4305c046542b451fac0a48e20114e5bccb90e99827d81ec87d8b7e423fa8fe7d3083df6c7
Homepage: https://frama-c.com
Description: Platform dedicated to the analysis of source code written in C
Description-md5: 2e7860054dd191ec0787bab2062c3031