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

Last updated: November 26,2024

1. Install "libcoq-bignums-ocaml-dev" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-bignums-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libcoq-bignums-ocaml-dev" package

In this section, we are going to explain the necessary steps to uninstall libcoq-bignums-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-bignums-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-bignums-ocaml-dev
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: 47
Provides: libcoq-bignums-ocaml-dev-v7o79
Depends: libcoq-bignums-ocaml (= 8.15.0-7), libcoq-bignums-ocaml-v7o79, libcoq-core-ocaml-dev-ifas5, libzarith-ocaml-dev-4dps0, ocaml-4.13.1
Filename: pool/universe/c/coq-bignums/libcoq-bignums-ocaml-dev_8.15.0-7_amd64.deb
Size: 9012
MD5sum: 1de36784ed531518a31c20f980b7f76d
SHA1: b01b7671a0ebb93e6084630fa000534a0294423d
SHA256: e8b6e2a70a680e7b1f3fba2392f9fa49de29aee8f1a2bb938d42d7a525d4349b
SHA512: e264934aa1374641ccefe704ebf23582defcaeda46af786d5bbbc0d7d1a6104eccb7d959e26247fb87dc1f339e3507fad82d187c54c6aafb6aa3320609762461
Homepage: https://github.com/coq-community/bignums
Description: Coq library for big numbers (devel)
Description-md5: 13eae3752ec180fd5de00f5e153caded