How to Install and Uninstall libcoq-relation-algebra Package on Kali Linux

Last updated: November 26,2024

1. Install "libcoq-relation-algebra" package

Learn how to install libcoq-relation-algebra on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-relation-algebra
            
                    
    
    Copied

2. Uninstall "libcoq-relation-algebra" package

Here is a brief guide to show you how to uninstall libcoq-relation-algebra on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-relation-algebra
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-relation-algebra package on Kali Linux

Package: libcoq-relation-algebra
Source: coq-relation-algebra (1.7.9-2)
Version: 1.7.9-2+b1
Installed-Size: 8281
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-relation-algebra-5gxa2
Depends: libcoq-aac-tactics-wtyw0, libcoq-mathcomp-ssreflect-v1az1, libcoq-stdlib-6gs52
Size: 2026784
SHA256: e7dd9ffce5d94c93b1c8687d2abaa23fc472fadb34d2c40e1530799f5208b9d1
SHA1: 6227299bcd5b8b0d4b81cabb0dab37db5eaf0f6d
MD5sum: 0ac25577db33bfa1a7bd750338b60024
Description: relation algebra for Coq
This package provides a library on relation algebras, that
is those admitting heterogeneous binary relations as a model,
ranging from partially ordered monoid to residuated Kleen
allegories and Kleene algebras with tests.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://github.com/damien-pous/relation-algebra
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-relation-algebra/libcoq-relation-algebra_1.7.9-2+b1_amd64.deb