How to Install and Uninstall pakcs Package on Linux Mint 20.3 (Una)

Last updated: December 23,2024

1. Install "pakcs" package

In this section, we are going to explain the necessary steps to install pakcs on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                pakcs
            
                    
    
    Copied

2. Uninstall "pakcs" package

This guide covers the steps necessary to uninstall pakcs on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                pakcs
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the pakcs package on Linux Mint 20.3 (Una)

Package: pakcs
Architecture: amd64
Version: 2.2.0-1
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Curry Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 62107
Depends: curry-frontend (>= 1.0.4-3~), swi-prolog-nox (>= 7.4), lockfile-progs
Recommends: sqlite3
Suggests: tk
Filename: pool/universe/p/pakcs/pakcs_2.2.0-1_amd64.deb
Size: 5643556
MD5sum: e1a84acd2c83dc4a5b3fda02f8107bac
SHA1: 1c25281d3646db7f7a8e4bfc2f41c9e971fbf96b
SHA256: 5b6036afaa58b7c087627137b802da6c8db10b46cb447ce2c51deba1662777bc
Homepage: https://www-ps.informatik.uni-kiel.de/~pakcs/
Description: Portland Aachen Kiel Curry Compiler
Description-md5: 0ed781f09b55416cf4fd5eb5941653e1