How to Install and Uninstall frama-c-base Package on Linux Mint 20.3 (Una)

Last updated: May 18,2024

1. Install "frama-c-base" package

This guide covers the steps necessary to install frama-c-base on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                frama-c-base
            
                    
    
    Copied

2. Uninstall "frama-c-base" package

Learn how to uninstall frama-c-base on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                frama-c-base
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the frama-c-base package on Linux Mint 20.3 (Una)

Package: frama-c-base
Architecture: amd64
Version: 20191204+calcium-0.1
Priority: extra
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: 173088
Depends: libc6 (>= 2.29), libgmp10, libbiniou-ocaml-a2ub4, libeasy-format-ocaml-fn499, libfindlib-ocaml-rhvc3, libyojson-ocaml-xkmm5, libzarith-ocaml-gs683, ocaml-base-nox-4.08.1, libocamlgraph-ocaml-dev, gcc
Recommends: alt-ergo
Filename: pool/universe/f/frama-c/frama-c-base_20191204+calcium-0.1_amd64.deb
Size: 35510708
MD5sum: c23db4e462ff9715ea135c391e95f888
SHA1: 1972d4ed7e475279046a5f56ed4b09fbd200bab7
SHA256: 96022305daea22c0021b6bd08062952fa613a8c19f7b56ad1f417aca9661f155
Homepage: http://frama-c.com/
Description: Platform dedicated to the analysis of source code written in C (without gui)
Description-md5: d2143b8bc084709c855b714ba4a8c159