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
Copied
$
sudo apt install
hol88-source
Copied
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
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
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
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