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

Last updated: November 26,2024

1. Install "libcoq-reglang" package

Please follow the instructions below to install libcoq-reglang on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-reglang
            
                    
    
    Copied

2. Uninstall "libcoq-reglang" package

Please follow the step by step instructions below to uninstall libcoq-reglang on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-reglang
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-reglang
Architecture: amd64
Version: 1.2.1-1build2
Priority: optional
Section: universe/ocaml
Source: coq-reglang
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1860
Provides: libcoq-reglang-vm0l3
Depends: libcoq-mathcomp-ssreflect-s8sz2, libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-reglang/libcoq-reglang_1.2.1-1build2_amd64.deb
Size: 824132
MD5sum: 6a4ceed003e910b1e71526c1f1528c83
SHA1: e765d931cbc49e016fc2a86c4ab9a7884e4faac3
SHA256: 77316121ac2f54b01ad6af2705883f933c9f2757233472d88c9fa481f3a4bf2a
SHA512: 04365ad2602702664edfe463145987d226b02d34965888366d0d125ef07058620189bd5b1fa582552c779784577bcd701017c62ba6bffe3a58059c19274b7581
Homepage: https://github.com/coq-community/reglang
Description: representation of regular languages in Coq
Description-md5: 407ad3a353f8ee596e70400372502d8c