How to Install and Uninstall coq-dpdgraph-tools Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 07,2024

1. Install "coq-dpdgraph-tools" package

In this section, we are going to explain the necessary steps to install coq-dpdgraph-tools on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-dpdgraph-tools
            
                    
    
    Copied

2. Uninstall "coq-dpdgraph-tools" package

Please follow the step by step instructions below to uninstall coq-dpdgraph-tools on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-dpdgraph-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-dpdgraph-tools package on Ubuntu 22.10 (Kinetic Kudu)

Package: coq-dpdgraph-tools
Architecture: amd64
Version: 1.0+8.15-2
Priority: optional
Section: universe/ocaml
Source: coq-dpdgraph
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6762
Depends: libcoq-dpdgraph-ocaml (= 1.0+8.15-2), ocaml-base-4.13.1
Suggests: graphviz
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.15-2_amd64.deb
Size: 1197638
MD5sum: 573aa322a7166a0af2fa2b626b88107e
SHA1: 83aa5263ce92185652aa943decb616bf9bff8c71
SHA256: ffa98d0e337b48eccc9ebc28b2cbd149f4d6f02c3038cab4ef712ca2c454dc6a
SHA512: 30db2a08b40595f77bc79da543b521da72f9df2a9075c1457b6c30b8919ef57408f1c35d40f9616671e7befd04cbac17377ffe815879c33ba6a46a0bb0b2fba4
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6