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

Last updated: December 27,2024

1. Install "libcoq-bignums" package

Please follow the guidelines below to install libcoq-bignums on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-bignums
            
                    
    
    Copied

2. Uninstall "libcoq-bignums" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-bignums
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-bignums
Architecture: amd64
Version: 8.17.0-3build1
Priority: optional
Section: universe/ocaml
Source: coq-bignums
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 8423
Provides: libcoq-bignums-cj7t4
Depends: libcoq-stdlib-zp202
Filename: pool/universe/c/coq-bignums/libcoq-bignums_8.17.0-3build1_amd64.deb
Size: 2123152
MD5sum: 32d6dd8a71cadc74274c3d81dd3fb2c4
SHA1: 2aba08da2f93fa6e4c3d262da394c281a99564b9
SHA256: 19871f3929442695f4226c3e775280f4eb8804a69c3354d56bba065166e57b72
SHA512: cc2e1aa3a3e9539f7d619cdbb55907fe3f99287408d4d71c48f4d985a8716117b315ffb96de26d34234de0c5b4516b29aa5f048f85a1094d269d7092b945f867
Homepage: https://github.com/coq-community/bignums
Description: Coq library for big numbers
Description-md5: 5661a9f2f00d0c1dc7e8cc4889e2dfa1