How to Install and Uninstall libmlrisctools-smlnj Package on Linux Mint 21.3 (Virginia)

Last updated: December 26,2024

1. Install "libmlrisctools-smlnj" package

This guide covers the steps necessary to install libmlrisctools-smlnj on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libmlrisctools-smlnj
            
                    
    
    Copied

2. Uninstall "libmlrisctools-smlnj" package

This tutorial shows how to uninstall libmlrisctools-smlnj on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libmlrisctools-smlnj
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libmlrisctools-smlnj package on Linux Mint 21.3 (Virginia)

Package: libmlrisctools-smlnj
Architecture: amd64
Version: 110.79-6
Priority: optional
Section: universe/devel
Source: smlnj
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 933
Depends: smlnj (= 110.79-6)
Filename: pool/universe/s/smlnj/libmlrisctools-smlnj_110.79-6_amd64.deb
Size: 221512
MD5sum: 8170886e8f596065ee1d0c75e172fe42
SHA1: 90f18df60a87d9ab40187072b379690c08ef5223
SHA256: 5384c59f317f1e13b3115b5481a000ba8e9340aeafb9d0cf056ed81a6769d4e7
SHA512: c8b68959e7a9184b0e393e389d5a100519f848a5e8a951f1ec21f7efe7c557cf16f884bb30ff6e5a804180c3eb4f10879713ba860d6d01fd97316eba8fb5b325
Homepage: http://www.smlnj.org/
Description: Library for generating MLRISC modules
Description-md5: 0d24329346bff9f7ec34be3dd4b38321