How to Install and Uninstall psmt2-frontend Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: January 24,2025

1. Install "psmt2-frontend" package

Please follow the guidance below to install psmt2-frontend on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                psmt2-frontend
            
                    
    
    Copied

2. Uninstall "psmt2-frontend" package

This guide covers the steps necessary to uninstall psmt2-frontend on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                psmt2-frontend
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the psmt2-frontend package on Ubuntu 22.10 (Kinetic Kudu)

Package: psmt2-frontend
Architecture: amd64
Version: 0.4.0-1
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1664
Depends: libc6 (>= 2.35), libpsmt2-frontend-ocaml (= 0.4.0-1)
Filename: pool/universe/p/psmt2-frontend/psmt2-frontend_0.4.0-1_amd64.deb
Size: 467724
MD5sum: 2b95e22a76f3928b92b3c51d12a2fec7
SHA1: 8cb66bb829fe00cbab7f7d15edbfe982456dc272
SHA256: cb5be6c9057e119676bb9e17960b1608b44e5d5a79b4678b6471697c055db95c
SHA512: ec4cbdbf49bede3a80c9e394f119e8d36eb7242e58fdcd7aaaf0605d47e48172c8010493952f7878f72e2746f1d0ee25407bac1832a6f1a7fd03ac892b4a25b3
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (tool)
Description-md5: 2d5610c80b47eeb02aa7185c192c1441