How to Install and Uninstall coq-dpdgraph-tools Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 15,2024

1. Install "coq-dpdgraph-tools" package

Please follow the step by step instructions below to install coq-dpdgraph-tools on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-dpdgraph-tools
            
                    
    
    Copied

2. Uninstall "coq-dpdgraph-tools" package

This tutorial shows how to uninstall coq-dpdgraph-tools on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-dpdgraph-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-dpdgraph-tools package on Ubuntu 24.04 LTS (Noble Numbat)

Package: coq-dpdgraph-tools
Architecture: amd64
Version: 1.0+8.18-1
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: 7215
Depends: libstdlib-ocaml-ep7y0, ocaml-base-4.14.1
Suggests: graphviz
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.18-1_amd64.deb
Size: 3086810
MD5sum: 7be34c97b140f7734cfa5755679b3dbf
SHA1: e256bdf3164d6973e0972e89f1fbaf3819726469
SHA256: 9d56c59b10ad846a97c6c7103acfbd4707ec2f17bdec17bfdf03b5a8023a1618
SHA512: cf0c25755bffbcab45e91a5e718f6febf7d447bfac84e04e4d89c9c20acad7cccfe8411dff52925f1567b12e455eb126f31559eb610891f78fd629c3bd0b7277
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6