How to Install and Uninstall coq-dpdgraph-tools Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 22,2024

1. Install "coq-dpdgraph-tools" package

Please follow the instructions below to install coq-dpdgraph-tools on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-dpdgraph-tools
            
                    
    
    Copied

2. Uninstall "coq-dpdgraph-tools" package

This guide covers the steps necessary to uninstall coq-dpdgraph-tools on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-dpdgraph-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-dpdgraph-tools package on Ubuntu 23.10 (Mantic Minotaur)

Package: coq-dpdgraph-tools
Architecture: amd64
Version: 1.0+8.17-1build1
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: ocaml-base-4.13.1
Suggests: graphviz
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.17-1build1_amd64.deb
Size: 1197854
MD5sum: ba336ca9a355d7246aed9ce694b3bbef
SHA1: 6a636810f7601340be42fececf8371bc88aac217
SHA256: 8c244f3f998414ad527f47ecc73f15060fa0379a8cd86b9f863fd42c43b8c280
SHA512: 302de72fd423b6f29a81ae4be0c68f2e96a098ec7a5c4bfb8408df69e2512c95580cf1d040efea191820c0710a03f782c3b15e4aa4bd4382c306fe87c84a3f5e
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6