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

Last updated: December 24,2024

1. Install "libcoq-coqeal" package

In this section, we are going to explain the necessary steps to install libcoq-coqeal on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-coqeal
            
                    
    
    Copied

2. Uninstall "libcoq-coqeal" package

Please follow the guidance below to uninstall libcoq-coqeal on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-coqeal
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-coqeal
Architecture: amd64
Version: 2.0.1-1build2
Priority: optional
Section: universe/ocaml
Source: coqeal
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 20115
Provides: libcoq-coqeal-uquf8
Depends: libcoq-bignums-a2im0, libcoq-mathcomp-algebra-rarb2, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed-ysxe1, libcoq-paramcoq-jfuz3, libcoq-stdlib-ncp86
Filename: pool/universe/c/coqeal/libcoq-coqeal_2.0.1-1build2_amd64.deb
Size: 5511044
MD5sum: 7448504b0e26fb9135fa965b3fadc23a
SHA1: 7127fe3b254b5e08d7c5fd93198a094270caf9be
SHA256: 22f4463a4cbfc3dd0af03fa38473fd3250c9bcc69a18c08bda9502a94f8a01eb
SHA512: 206c03751e79e78db74fe1d36da62b8c45be552aa85d50129fca18471984040a54d66d533b56dc41ea6102ab20c605ce5338d33f5b386a28f08cf73ab363d98b
Homepage: https://github.com/coq-community/coqeal
Description: algebra and data structure algorithms for Coq
Description-md5: 679e37449b4daa031c64c87f9b5334b5