How to Install and Uninstall libmlrisctools-smlnj Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 10,2024

1. Install "libmlrisctools-smlnj" package

This is a short guide on how to install libmlrisctools-smlnj on Ubuntu 22.04 LTS (Jammy Jellyfish)

$ sudo apt update $ sudo apt install libmlrisctools-smlnj

2. Uninstall "libmlrisctools-smlnj" package

Please follow the instructions below to uninstall libmlrisctools-smlnj on Ubuntu 22.04 LTS (Jammy Jellyfish):

$ sudo apt remove libmlrisctools-smlnj $ sudo apt autoclean && sudo apt autoremove

3. Information about the libmlrisctools-smlnj package on Ubuntu 22.04 LTS (Jammy Jellyfish)

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