How to Install and Uninstall clips-doc Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: December 24,2024

1. Install "clips-doc" package

Please follow the instructions below to install clips-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)

$ sudo apt update $ sudo apt install clips-doc

2. Uninstall "clips-doc" package

Please follow the steps below to uninstall clips-doc on Ubuntu 22.04 LTS (Jammy Jellyfish):

$ sudo apt remove clips-doc $ sudo apt autoclean && sudo apt autoremove

3. Information about the clips-doc package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: clips-doc
Architecture: all
Version: 6.30-4.1
Priority: optional
Section: universe/doc
Source: clips
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Javier Fernández-Sanguino Peña
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 20359
Recommends: clips, evince | pdf-viewer
Filename: pool/universe/c/clips/clips-doc_6.30-4.1_all.deb
Size: 19324252
MD5sum: 3080612332e4f49a46f27e8fef798b74
SHA1: cfe9c13250ed00ffb45081290ae65ea7a32c9181
SHA256: 17cb2f7942a759391166c0155f617313e6343957711e0d06b48b5a4d2c332e2d
SHA512: a127a34ff7aa8c4c3e7bb6e06378e476ca6a6defdc9fea43e301d6a48ecc6888976f20b50c27388e96a7af739ad6d662dee393884b04e3c8c047adc73be2cfcb
Homepage: http://www.clipsrules.net/
Description: "C" Language Integrated Production System Documentation
Description-md5: 929a7bd16917399476746cbad108a601