How to Install and Uninstall hol88-source Package on Debian 10 (Buster)

Last updated: November 05,2024

1. Install "hol88-source" package

Please follow the steps below to install hol88-source on Debian 10 (Buster)

$ sudo apt update $ sudo apt install hol88-source

2. Uninstall "hol88-source" package

Here is a brief guide to show you how to uninstall hol88-source on Debian 10 (Buster):

$ sudo apt remove hol88-source $ sudo apt autoclean && sudo apt autoremove

3. Information about the hol88-source package on Debian 10 (Buster)

Package: hol88-source
Source: hol88
Version: 2.02.19940316-35
Installed-Size: 1962
Maintainer: Camm Maguire
Architecture: all
Description: Higher Order Logic, source files
Description-md5: 27c7f6d4c5f2c1b835d23e7c80a45f30
Tag: role::source
Section: math
Priority: optional
Filename: pool/main/h/hol88/hol88-source_2.02.19940316-35_all.deb
Size: 295576
MD5sum: d508bfece7edb3004a294c8aa96a78db
SHA256: 9f1ba8ffe814333d3e1569a372372102e4439adf4e54a08dac0911d9861db78d