How to Install and Uninstall psmt2-frontend Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 10,2024

1. Install "psmt2-frontend" package

Here is a brief guide to show you how to install psmt2-frontend on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                psmt2-frontend
            
                    
    
    Copied

2. Uninstall "psmt2-frontend" package

Here is a brief guide to show you how to uninstall psmt2-frontend on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                psmt2-frontend
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the psmt2-frontend package on Ubuntu 23.10 (Mantic Minotaur)

Package: psmt2-frontend
Architecture: amd64
Version: 0.4.0-3
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1884
Depends: libc6 (>= 2.38), libpsmt2-frontend-ocaml (= 0.4.0-3)
Filename: pool/universe/p/psmt2-frontend/psmt2-frontend_0.4.0-3_amd64.deb
Size: 509682
MD5sum: eb3770b76943e39e8557a28e2c3b39b9
SHA1: 6028682ac79d4f94c85875feba8413ce5f11cc4e
SHA256: df326afeba19cdb9bcff43fb32cf003901f925ea7f5e206ae59d94e07c10c968
SHA512: 21218c9bb68d96d042f0382a19723fabfa657f171932988d5f661f4e469158e087dae9834652b26ea4caa0d9febb69d3b70c98ccd4c4e17dcd48d8b2b242f739
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (tool)
Description-md5: 2d5610c80b47eeb02aa7185c192c1441