How to Install and Uninstall minlog Package on Linux Mint 21 (Vanessa)
Last updated: December 23,2024
1. Install "minlog" package
Learn how to install minlog on Linux Mint 21 (Vanessa)
$
sudo apt update
Copied
$
sudo apt install
minlog
Copied
2. Uninstall "minlog" package
This guide let you learn how to uninstall minlog on Linux Mint 21 (Vanessa):
$
sudo apt remove
minlog
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the minlog package on Linux Mint 21 (Vanessa)
Package: minlog
Architecture: all
Version: 4.0.99.20100221-7
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7555
Depends: racket | guile
Recommends: emacs25 | emacs24 | emacsen
Suggests: proofgeneral-minlog, quack-el
Filename: pool/universe/m/minlog/minlog_4.0.99.20100221-7_all.deb
Size: 2629048
MD5sum: e0573285f6840daabb8ceb06c33bf18c
SHA1: c7c67566040dd41b709e36e13176236978802c89
SHA256: 7f216f0a3df681c5d4cb9242cb4d549ec4cac27ed3a88fdbd8e652c45f5d32d6
SHA512: 835fa88ee705077361602305d46942960e8b5b523932d4b5069fefd07a04b4abeaf9bbd8b1cbcc80a5245e85d4864513d4ddb46901a7e5a399eed5c66142a09a
Homepage: http://www.minlog-system.de
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd
Architecture: all
Version: 4.0.99.20100221-7
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7555
Depends: racket | guile
Recommends: emacs25 | emacs24 | emacsen
Suggests: proofgeneral-minlog, quack-el
Filename: pool/universe/m/minlog/minlog_4.0.99.20100221-7_all.deb
Size: 2629048
MD5sum: e0573285f6840daabb8ceb06c33bf18c
SHA1: c7c67566040dd41b709e36e13176236978802c89
SHA256: 7f216f0a3df681c5d4cb9242cb4d549ec4cac27ed3a88fdbd8e652c45f5d32d6
SHA512: 835fa88ee705077361602305d46942960e8b5b523932d4b5069fefd07a04b4abeaf9bbd8b1cbcc80a5245e85d4864513d4ddb46901a7e5a399eed5c66142a09a
Homepage: http://www.minlog-system.de
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd