How to Install and Uninstall libcoq-aac-tactics Package on Debian 12 (Bookworm)

Last updated: May 20,2024

You can also install and uninstall the libcoq-aac-tactics on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libcoq-aac-tactics" package

Please follow the steps below to install libcoq-aac-tactics on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-aac-tactics
            
                    
    
    Copied

2. Uninstall "libcoq-aac-tactics" package

Here is a brief guide to show you how to uninstall libcoq-aac-tactics on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-aac-tactics
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-aac-tactics package on Debian 12 (Bookworm)

Package: libcoq-aac-tactics
Source: aac-tactics (8.17.0-1)
Version: 8.17.0-1+b2
Installed-Size: 3014
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: libaac-tactics-coq, libaac-tactics-ocaml, libaac-tactics-ocaml-dev
Provides: aac-tactics, libcoq-aac-tactics-9tp86
Depends: libcoq-stdlib-ewsr6, libcoq-core-ocaml-cpf60, libzarith-ocaml-4dps0, ocaml-base-4.13.1
Breaks: libaac-tactics-coq
Description: Coq tactics for reasoning modulo AC (theories)
Description-md5: d468e31e016a5d91fa8d79cdff35cd0d
Homepage: https://github.com/coq-community/aac-tactics
Section: math
Priority: optional
Filename: pool/main/a/aac-tactics/libcoq-aac-tactics_8.17.0-1+b2_amd64.deb
Size: 389900
MD5sum: 12f837c872613729cc90e7ae656d6312
SHA256: b7652582ad548c9015f11b428a9b719dc06b1c6bdc8e7c2dd7949dfa9149dcea