How to Install and Uninstall polyml-modules Package on Debian 11 (Bullseye)

Last updated: March 29,2024

1. Install "polyml-modules" package

This tutorial shows how to install polyml-modules on Debian 11 (Bullseye)

$ sudo apt update $ sudo apt install polyml-modules

2. Uninstall "polyml-modules" package

In this section, we are going to explain the necessary steps to uninstall polyml-modules on Debian 11 (Bullseye):

$ sudo apt remove polyml-modules $ sudo apt autoclean && sudo apt autoremove

3. Information about the polyml-modules package on Debian 11 (Bullseye)

Package: polyml-modules
Source: polyml
Version: 5.7.1-4
Installed-Size: 4846
Maintainer: Debian Science Maintainers
Architecture: amd64
Replaces: libpolyml7 (>= 5.7~20170315.git1343f60-1), libpolyml8
Breaks: libpolyml7 (>= 5.7~20170315.git1343f60-1), libpolyml8
Description: modules for Poly/ML, a compiler for Standard ML
Description-md5: cd6a355a439af810bcbb3dc847f556de
Multi-Arch: same
Homepage: http://www.polyml.org
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/p/polyml/polyml-modules_5.7.1-4_amd64.deb
Size: 494552
MD5sum: e2be8212b5ba065e7cd6bb9e80bf1006
SHA256: e20d06f34b07d498e2c56ea4935b10d5effad8ec0a2e19f5208738ab03770ac1