How to Install and Uninstall libaac-tactics-ocaml-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 26,2024

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

Please follow the steps below to install libaac-tactics-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libaac-tactics-ocaml-dev
            
                    
    
    Copied

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

Here is a brief guide to show you how to uninstall libaac-tactics-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                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 22.10 (Kinetic Kudu)

Package: libaac-tactics-ocaml-dev
Architecture: amd64
Version: 8.15.1-6
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-vfpm0
Depends: libaac-tactics-ocaml-vfpm0, libcoq-core-ocaml-dev-ifas5, libzarith-ocaml-dev-4dps0, ocaml-4.13.1
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb
Size: 40156
MD5sum: 855691c2a8108ff0e6fb112d8d47f29a
SHA1: 39d61d9db14b7d887c32587ebcc797b63db922e3
SHA256: 9e66bf0a342c149da25d8862e352cbbcbac32dd98832a28e5f228f9850676118
SHA512: 8b4482e3e955cd747efda947b428d6b799000874ff191ebd0eaf0219a2da97f9e1bf20f2c163cbc0b51f84321c9e24623c2ee6543ad812af3b1ea8c7c64e00e5
Homepage: https://github.com/coq-community/aac-tactics
Description: Coq tactics for reasoning modulo AC (devt files)
Description-md5: f1d42c78767b8301dd187f0cd302e0cf