How to Install and Uninstall libaac-tactics-ocaml-dev Package on Linux Mint 21.3 (Virginia)

Last updated: December 30,2024

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

Please follow the guidance below to install libaac-tactics-ocaml-dev on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                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 Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                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 Linux Mint 21.3 (Virginia)

Package: libaac-tactics-ocaml-dev
Architecture: amd64
Version: 8.15.0-1
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: 362
Provides: libaac-tactics-ocaml-dev-hsco3
Depends: libaac-tactics-ocaml-hsco3, libcoq-core-ocaml-dev-aosg1, libzarith-ocaml-dev-4dps0, ocaml-4.13.1
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
Size: 40776
MD5sum: 6873fc5bd796a24d729175c5dbf11c9f
SHA1: d5fe4bf2243d6e4bfc78885390f5ed52c472e5ef
SHA256: 0e2f60312c735e0caea5a56a5526d03e1375e053b4fd14998e727092927300d1
SHA512: ebe9960bd2bfb4ffea2ab73dfc8e19e730ee6af96b81ae2626aea6b3a236655eae9e4fe993884313e5d66e2dbdccb373262f066ac442b2e4d223c95798e51ea7
Homepage: https://github.com/coq-community/aac-tactics
Description: Coq tactics for reasoning modulo AC (devt files)
Description-md5: f1d42c78767b8301dd187f0cd302e0cf