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

Last updated: May 10,2024

1. Install "progvis-examples" package

Please follow the step by step instructions below to install progvis-examples on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                progvis-examples
            
                    
    
    Copied

2. Uninstall "progvis-examples" package

Please follow the guidelines below to uninstall progvis-examples on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                progvis-examples
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: progvis-examples
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: 141
Depends: progvis
Filename: pool/universe/s/storm-lang/progvis-examples_0.6.17-1_all.deb
Size: 23008
MD5sum: 1dfa33440042c6ff53d78fb2ce8ab8dd
SHA1: 6a98027b4eb5f5472b1dddec9699968eb1602e95
SHA256: 66d6619868e102991f8b33925395bf11580fdb6aee3e30592842ece6a24eacc7
SHA512: 94e5d571f0e77228b66da7cca6ae669f411d111db3073ac40228ea353f97a920b669d5b75a1898e1ded3cdb6e13f9bce3de2019f6f4601e80a14c6e580b427f3
Homepage: https://storm-lang.org/
Description: Set of example programs for progvis
Description-md5: 8b70804279ace1649e2956ac6d8fb309