How to Install and Uninstall libmlrisctools-smlnj Package on Debian 12 (Bookworm)

Last updated: May 14,2024

1. Install "libmlrisctools-smlnj" package

Please follow the steps below to install libmlrisctools-smlnj on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install libmlrisctools-smlnj

2. Uninstall "libmlrisctools-smlnj" package

Please follow the guidance below to uninstall libmlrisctools-smlnj on Debian 12 (Bookworm):

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

3. Information about the libmlrisctools-smlnj package on Debian 12 (Bookworm)

Package: libmlrisctools-smlnj
Source: smlnj
Version: 110.79-8
Installed-Size: 933
Maintainer: Barak A. Pearlmutter
Architecture: amd64
Depends: smlnj (= 110.79-8)
Description: Library for generating MLRISC modules
Description-md5: 0d24329346bff9f7ec34be3dd4b38321
Homepage: https://www.smlnj.org/
Section: devel
Priority: optional
Filename: pool/main/s/smlnj/libmlrisctools-smlnj_110.79-8_amd64.deb
Size: 227268
MD5sum: fcc6de777724c3e07359829748ead8a1
SHA256: 8794b8286d6b59186f261e7b3ae654258e17066a0dc0f0a98f7dff49baa1bdc5