How to Install and Uninstall libmlrisctools-smlnj Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 20,2024

1. Install "libmlrisctools-smlnj" package

Please follow the instructions below to install libmlrisctools-smlnj on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libmlrisctools-smlnj
            
                    
    
    Copied

2. Uninstall "libmlrisctools-smlnj" package

Please follow the instructions below to uninstall libmlrisctools-smlnj on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libmlrisctools-smlnj
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libmlrisctools-smlnj package on Ubuntu 23.10 (Mantic Minotaur)

Package: libmlrisctools-smlnj
Architecture: amd64
Version: 110.79-8
Priority: optional
Section: universe/devel
Source: smlnj
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Barak A. Pearlmutter
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 929
Depends: smlnj (= 110.79-8)
Filename: pool/universe/s/smlnj/libmlrisctools-smlnj_110.79-8_amd64.deb
Size: 253372
MD5sum: 7b2fc9c08a91dc6d4abf65e7a4d0c1b6
SHA1: 499186d7815b645ecec31993d985b4fd9a64429d
SHA256: ec8fcd1cbba552a334c8cf27d9665b696cc8dd8264d8a84b953354db383e11c0
SHA512: eb19f9cead5edd492d6e8070edad2ce216fd4e3b0b3336ba06a4b3c5eed33c7cf0410199b9460dfb6b68ac1d32d1727ad1207a2698dc5bc37958900fed97f015
Homepage: https://www.smlnj.org/
Description: Library for generating MLRISC modules
Description-md5: 0d24329346bff9f7ec34be3dd4b38321