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

Last updated: May 14,2024

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

Please follow the steps below to install libcoq-core-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-core-ocaml-dev
            
                    
    
    Copied

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

Please follow the step by step instructions below to uninstall libcoq-core-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-core-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-core-ocaml-dev
Architecture: amd64
Version: 8.15.2+dfsg-2
Priority: optional
Section: universe/ocaml
Source: coq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 181923
Provides: libcoq-core-ocaml-dev-ifas5, libcoq-ocaml-dev (= 8.15.2+dfsg-2)
Depends: coq (= 8.15.2+dfsg-2), libcoq-core-ocaml-ifas5, libzarith-ocaml-dev-4dps0, ocaml-4.13.1
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
Filename: pool/universe/c/coq/libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb
Size: 48901908
MD5sum: 1d7238b7f3aa82794578d7df6fb38db5
SHA1: 506d775145aa902b7171c555b02cb9d7cc6b166b
SHA256: 9280a68beb469ad03a98b9eea3155f23e7761e99225ee52dae8cb775325e9749
SHA512: 41907a4e5842d7b2f23b9a3895db24ece37dcab9756fd949e80b44cc57250bcfd1fc1603527d1f29470b3862944358c1a792c90979a6023dd5353baa1ffd2520
Homepage: http://coq.inria.fr/
Description: development libraries and tools for Coq
Description-md5: 087097b71994724756abfbecea1882b9