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

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 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-coqeal
            
                    
    
    Copied

2. Uninstall "libcoq-coqeal" package

Learn how to uninstall libcoq-coqeal on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-coqeal
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-coqeal
Architecture: amd64
Version: 1.1.3-1build1
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: 18669
Provides: libcoq-coqeal-yord3
Depends: libcoq-bignums-cj7t4, libcoq-mathcomp-algebra-q3ad3, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed-iifv8, libcoq-paramcoq-bvrm5, libcoq-stdlib-zp202
Filename: pool/universe/c/coqeal/libcoq-coqeal_1.1.3-1build1_amd64.deb
Size: 5290298
MD5sum: bbd8b796ec8e3d60ab0391e8eee5dcc0
SHA1: a794b016b0dab02c62e59fe4e626168014595fcb
SHA256: 7530f57a30931e342448a36a80989592a0dd7f40d89510dca9acb0b30aff3d80
SHA512: acec98c3835b740846eacbcfd44686222e887ad22770f977f03171e93d7526d521242531589296d18caf55ce4c5e0a9512fe1bfc4892a3809cc7afe80d9a0ac3
Homepage: https://github.com/coq-community/coqeal
Description: algebra and data structure algorithms for Coq
Description-md5: 679e37449b4daa031c64c87f9b5334b5