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

Last updated: November 22,2024

1. Install "libmlnlffi-smlnj" package

Please follow the guidance below to install libmlnlffi-smlnj on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libmlnlffi-smlnj
            
                    
    
    Copied

2. Uninstall "libmlnlffi-smlnj" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libmlnlffi-smlnj
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libmlnlffi-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: 402
Depends: smlnj (= 110.79-8)
Recommends: ml-nlffigen
Filename: pool/universe/s/smlnj/libmlnlffi-smlnj_110.79-8_amd64.deb
Size: 119892
MD5sum: 2676041f1da980e0179ee9c34ee29119
SHA1: 821430c31f7495af0804b76fe9042ef8c462130d
SHA256: 8f2c32ec6e2f01bd388b6b23b9b21afd248c0648784a5211d224440a7e8ad2f0
SHA512: d3a1eaeb65e9431afd682017485eb48267519190fd6ca1f2b30c969e974596fc865fc7fcf4c514cfbfdea70fb6de15e46b256d19847c2075b04045e854302054
Homepage: https://www.smlnj.org/
Description: No Longer Foreign Function Interface
Description-md5: 91042464312368b337439290860d5775