How to Install and Uninstall libmlrisctools-smlnj Package on Debian 10 (Buster)

Last updated: December 23,2024

1. Install "libmlrisctools-smlnj" package

In this section, we are going to explain the necessary steps to install libmlrisctools-smlnj on Debian 10 (Buster)

$ sudo apt update $ sudo apt install libmlrisctools-smlnj

2. Uninstall "libmlrisctools-smlnj" package

Learn how to uninstall libmlrisctools-smlnj on Debian 10 (Buster):

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

3. Information about the libmlrisctools-smlnj package on Debian 10 (Buster)

Package: libmlrisctools-smlnj
Source: smlnj
Version: 110.79-4
Installed-Size: 934
Maintainer: Debian QA Group
Architecture: amd64
Depends: smlnj (= 110.79-4)
Description: Library for generating MLRISC modules
Description-md5: 0d24329346bff9f7ec34be3dd4b38321
Homepage: http://www.smlnj.org/
Section: devel
Priority: optional
Filename: pool/main/s/smlnj/libmlrisctools-smlnj_110.79-4_amd64.deb
Size: 226540
MD5sum: 479cbd4dec0b4bd47b97f58589bd6a81
SHA256: 771384020502a6f7b29aa8f7f5e42ad4ad313d9df2985d48cf15856f5f4c77f8