How to Install and Uninstall frama-c-base Package on Debian 10 (Buster)

Last updated: November 23,2024

1. Install "frama-c-base" package

Please follow the guidance below to install frama-c-base on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                frama-c-base
            
                    
    
    Copied

2. Uninstall "frama-c-base" package

This tutorial shows how to uninstall frama-c-base on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                frama-c-base
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the frama-c-base package on Debian 10 (Buster)

Package: frama-c-base
Source: frama-c
Version: 20171101+sulfur+dfsg-2
Installed-Size: 107753
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: libc6 (>= 2.27), libgmp10, libncurses6 (>= 6), libtinfo6 (>= 6), libfindlib-ocaml-ima03, libzarith-ocaml-gqf85, ocaml-base-nox-4.05.0, libocamlgraph-ocaml-dev, gcc
Recommends: alt-ergo
Description: Platform dedicated to the analysis of source code written in C (without gui)
Description-md5: d2143b8bc084709c855b714ba4a8c159
Homepage: http://frama-c.com/
Tag: devel::testing-qa, role::program, uitoolkit::ncurses
Section: devel
Priority: optional
Filename: pool/main/f/frama-c/frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
Size: 22300664
MD5sum: 88342618cb10967c65827d24e2e91071
SHA256: 504f6b6598a1968d38910931cda49e06b72cf8cd016a96c9a5426070848f5fb4