How to Install and Uninstall libcoq-deriving Package on Kali Linux

Last updated: May 20,2024

1. Install "libcoq-deriving" package

This guide covers the steps necessary to install libcoq-deriving on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-deriving
            
                    
    
    Copied

2. Uninstall "libcoq-deriving" package

Please follow the step by step instructions below to uninstall libcoq-deriving on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-deriving
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-deriving package on Kali Linux

Package: libcoq-deriving
Source: coq-deriving (0.2.0-1)
Version: 0.2.0-1+b1
Installed-Size: 2205
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-deriving-elyr3
Depends: libcoq-mathcomp-ssreflect-v1az1, libcoq-stdlib-6gs52
Size: 438568
SHA256: 87fd2262ac74a5c48bbfff696f18c8cbf6130a8b8db3858ef7bae49730cf2a63
SHA1: 5ba01fce304db7eb5ad32efeccd9cde1a7504e0b
MD5sum: d2f6abbac652c81c523f31a696f46bd7
Description: deriving MathComp classes from inductive types
This package builds instances of MathComp classes with little
boilerplate, mimicking Haskell's deriving facility.
.
MathComp is a mathematical library for Coq.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://github.com/arthuraa/deriving/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-deriving/libcoq-deriving_0.2.0-1+b1_amd64.deb