How to Install and Uninstall pakcs Package on Debian 10 (Buster)

Last updated: May 11,2024

1. Install "pakcs" package

Please follow the step by step instructions below to install pakcs on Debian 10 (Buster)

$ sudo apt update $ sudo apt install pakcs

2. Uninstall "pakcs" package

This is a short guide on how to uninstall pakcs on Debian 10 (Buster):

$ sudo apt remove pakcs $ sudo apt autoclean && sudo apt autoremove

3. Information about the pakcs package on Debian 10 (Buster)

Package: pakcs
Version: 2.1.1-2
Installed-Size: 45650
Maintainer: Debian Curry Maintainers
Architecture: amd64
Depends: curry-frontend (>= 1.0.3~), swi-prolog-nox (>= 7.4), lockfile-progs
Recommends: sqlite3
Suggests: tk
Description: Portland Aachen Kiel Curry Compiler
Description-md5: 0ed781f09b55416cf4fd5eb5941653e1
Homepage: https://www-ps.informatik.uni-kiel.de/~pakcs/
Section: devel
Priority: optional
Filename: pool/main/p/pakcs/pakcs_2.1.1-2_amd64.deb
Size: 6677192
MD5sum: a051690cd5ff03817f752ab5363241e6
SHA256: ed92949303065c58f79b9ffa696f0027ea8555673bee8664bfca7089cd99a4c5