How to Install and Uninstall libcoq-bignums-ocaml Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 26,2024

1. Install "libcoq-bignums-ocaml" package

This guide let you learn how to install libcoq-bignums-ocaml on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-bignums-ocaml
            
                    
    
    Copied

2. Uninstall "libcoq-bignums-ocaml" package

This tutorial shows how to uninstall libcoq-bignums-ocaml on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-bignums-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-bignums-ocaml package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-bignums-ocaml
Architecture: amd64
Version: 8.15.0-7
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: 60
Provides: libcoq-bignums-ocaml-v7o79
Depends: libcoq-core-ocaml-ifas5, libzarith-ocaml-4dps0, ocaml-base-4.13.1
Filename: pool/universe/c/coq-bignums/libcoq-bignums-ocaml_8.15.0-7_amd64.deb
Size: 16540
MD5sum: 0a64a18c11c76d7d95f887e91922aa1a
SHA1: e07c538349beb52beebbf36b4025ae0e6775bd2a
SHA256: 3420bc27f7cbba44d3e760144ab8bcf3d88253cb6759d652667dc560fb409fa3
SHA512: eca628d755ed88a04b305868c17f7b904d458a21ff8167dda0a43c43fdba5ebc290b7e1e02041b18b6de22837fac0b17e549df78db7355134d99354700f08475
Homepage: https://github.com/coq-community/bignums
Description: Coq library for big numbers (runtime)
Description-md5: 3aea5c12d089b6b828ae75f1a4a1bb33