How to Install and Uninstall libcoq-deriving Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 28,2024

1. Install "libcoq-deriving" package

This guide covers the steps necessary to install libcoq-deriving on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-deriving
            
                    
    
    Copied

2. Uninstall "libcoq-deriving" package

Here is a brief guide to show you how to uninstall libcoq-deriving on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-deriving
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-deriving package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-deriving
Architecture: amd64
Version: 0.2.0-1build2
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: 2203
Provides: libcoq-deriving-to4m7
Depends: libcoq-mathcomp-ssreflect-s8sz2, libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-deriving/libcoq-deriving_0.2.0-1build2_amd64.deb
Size: 491246
MD5sum: 41d341fd6e91dcec007e514b5c497950
SHA1: 2abaa9c17b8bfbd0c4d8e90d6f88e021ac83586f
SHA256: e41e4a59c902e01a70f0828d8ead21844fd6dda9d6c6e081b30e63361c06da4f
SHA512: b08bd361c1647360672c3060aec60dfac7d3c689f265f31bc6666b3e51396ee1a20aefcded5ea5fdd00b98ac8ae2a96149df2ef11d3eead9da35e4d78818151b
Homepage: https://github.com/arthuraa/deriving/
Description: deriving MathComp classes from inductive types
Description-md5: f86da8bb7413c10ca613baec6bbded43