How to Install and Uninstall libaac-tactics-ocaml-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 18,2024

1. Install "libaac-tactics-ocaml-dev" package

Please follow the guidance below to install libaac-tactics-ocaml-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libaac-tactics-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libaac-tactics-ocaml-dev" package

Learn how to uninstall libaac-tactics-ocaml-dev on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libaac-tactics-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libaac-tactics-ocaml-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libaac-tactics-ocaml-dev
Architecture: amd64
Version: 8.6.1-2
Priority: optional
Section: universe/ocaml
Source: aac-tactics
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 413
Provides: libaac-tactics-ocaml-dev-c0vr8
Depends: camlp5-ps9p6, libaac-tactics-ocaml-c0vr8, libcoq-ocaml-dev-ywd98, ocaml-nox-4.05.0
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
Size: 37684
MD5sum: d1428b5263dbaafb07c4978ce054429d
SHA1: 039bdfd5482ce6cddc53b9710f2a6215a213cb11
SHA256: 914a8ee8aa3cca31e6a525fd27a5ff81c5588a6ef2221c7cc6d54eb441258489
Homepage: https://github.com/coq-contribs/aac-tactics
Description: Coq tactics for reasoning modulo AC (devt files)
Description-md5: f1d42c78767b8301dd187f0cd302e0cf