How to Install and Uninstall clips-doc Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 07,2024

1. Install "clips-doc" package

This tutorial shows how to install clips-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                clips-doc
            
                    
    
    Copied

2. Uninstall "clips-doc" package

This tutorial shows how to uninstall clips-doc on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                clips-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the clips-doc package on Ubuntu 23.10 (Mantic Minotaur)

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