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

Last updated: May 04,2024

1. Install "libaac-tactics-coq" package

This guide covers the steps necessary to install libaac-tactics-coq on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libaac-tactics-coq
            
                    
    
    Copied

2. Uninstall "libaac-tactics-coq" package

Please follow the guidelines below to uninstall libaac-tactics-coq on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libaac-tactics-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libaac-tactics-coq
Architecture: all
Version: 8.6.1-2
Priority: optional
Section: universe/math
Source: aac-tactics
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1525
Provides: aac-tactics
Depends: libaac-tactics-ocaml (>= 8.6.1-2), coq-8.6+4.05.0
Filename: pool/universe/a/aac-tactics/libaac-tactics-coq_8.6.1-2_all.deb
Size: 220796
MD5sum: aa645659bbd51cab0bd83f4adec1b9ca
SHA1: bc2d352a3fea69dd37b41b015e4a5fea9662a4f0
SHA256: 468594038af0621b45a4c47f6e5f009c445c5663193192af3d36444d2afbd3d1
Homepage: https://github.com/coq-contribs/aac-tactics
Description: Coq tactics for reasoning modulo AC (theories)
Description-md5: d468e31e016a5d91fa8d79cdff35cd0d