How to Install and Uninstall progvis Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 21,2024

1. Install "progvis" package

Learn how to install progvis on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                progvis
            
                    
    
    Copied

2. Uninstall "progvis" package

Please follow the guidance below to uninstall progvis on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                progvis
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the progvis package on Ubuntu 23.10 (Mantic Minotaur)

Package: progvis
Architecture: all
Version: 0.6.17-1
Priority: optional
Section: universe/education
Source: storm-lang
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Filip Strömbäck
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 722
Depends: storm-lang (>= 0.6.17-1), storm-lang-ui (>= 0.6.17-1), storm-lang-sql (>= 0.6.17-1), storm-lang-layout (>= 0.6.17-1), storm-lang-crypto (>= 0.6.17-1)
Suggests: progvis-examples
Filename: pool/universe/s/storm-lang/progvis_0.6.17-1_all.deb
Size: 193322
MD5sum: df4d2afc0763bf57bece3ee1a336f79d
SHA1: 9a8c0111f22ba9fef36f3c58d3f5e7bc1f448751
SHA256: 794d334aceab3dbe2764574e1a1df4f285e3b6a5c1b962c9641145a39a2334ff
SHA512: 84fcd48a08750ba16de2b3daac638049ef4d0f2a13d2b0ab8ccf31cf0942ecbfbfff6ad8aee4b6908227c9b6b73a628207b870db4486121631c186eb0adcaf2a
Homepage: https://storm-lang.org/
Description: Program visualization tool for C/C++ (and others)
Description-md5: 548b42771653821c40b71274d4072c7e