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

Last updated: May 10,2024

1. Install "smlsharp" package

Please follow the guidelines below to install smlsharp on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                smlsharp
            
                    
    
    Copied

2. Uninstall "smlsharp" package

This guide covers the steps necessary to uninstall smlsharp on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                smlsharp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: smlsharp
Architecture: amd64
Version: 4.0.0+git20211227.5af5945b-2
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Nobuhiro Iwamatsu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 51995
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg), libmassivethreads0 (>= 1.00), libstdc++6 (>= 5.2)
Filename: pool/universe/s/smlsharp/smlsharp_4.0.0+git20211227.5af5945b-2_amd64.deb
Size: 7433696
MD5sum: 10e03fa3319388d8581f54109bb9258e
SHA1: ce14e47a992ef6915967cf8a3ec94686e856ed61
SHA256: 0b7a47b56839cf50a1dabd9a46c465cdf485f660e59f7babb20ca53e6370d8be
SHA512: 82eb483b2b4a156387847c3e42ba2232a657f8580a44ac409b6d239dd2f06caf6247a42fb0870f32f030c17a3f60fbfb6722599f14d2de1ef9505567514d762d
Homepage: https://smlsharp.github.io
Description: Standard ML compiler with practical extensions
Description-md5: 44e73b66f39a45fa71b4317973f9e528