How to Install and Uninstall libcoq-deriving Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 22,2024

1. Install "libcoq-deriving" package

In this section, we are going to explain the necessary steps to install libcoq-deriving on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-deriving
            
                    
    
    Copied

2. Uninstall "libcoq-deriving" package

Please follow the guidelines below to uninstall libcoq-deriving on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-deriving
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-deriving package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-deriving
Architecture: amd64
Version: 0.1.1-1build1
Priority: optional
Section: universe/ocaml
Source: coq-deriving
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1727
Provides: libcoq-deriving-c4832
Depends: libcoq-mathcomp-ssreflect-sunj9, libcoq-stdlib-zp202
Filename: pool/universe/c/coq-deriving/libcoq-deriving_0.1.1-1build1_amd64.deb
Size: 479158
MD5sum: cc46e1cb0b01d2415a0b128035473896
SHA1: 7619d3c3cfe4ce54ed787f8bd1082a4be476a430
SHA256: 65d8b949a6f2116ee11cd018477d1536d4aa339464f83e49804726abef8effee
SHA512: daacc08adcac2ff4c9ecc776ef187bd23058f7412ae38a99865ca7986f74522082af5fedb65912c146789ac5b2196f9a34bf7709c603a1fdcd13fa0da26910ee
Homepage: https://github.com/arthuraa/deriving/
Description: deriving MathComp classes from inductive types
Description-md5: f86da8bb7413c10ca613baec6bbded43