How to Install and Uninstall minlog Package on Ubuntu 20.04 LTS (Focal Fossa)
Last updated: November 26,2024
1. Install "minlog" package
Please follow the guidelines below to install minlog on Ubuntu 20.04 LTS (Focal Fossa)
$
sudo apt update
Copied
$
sudo apt install
minlog
Copied
2. Uninstall "minlog" package
In this section, we are going to explain the necessary steps to uninstall minlog on Ubuntu 20.04 LTS (Focal Fossa):
$
sudo apt remove
minlog
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the minlog package on Ubuntu 20.04 LTS (Focal Fossa)
Package: minlog
Architecture: all
Version: 4.0.99.20100221-6
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-6_all.deb
Size: 2629612
MD5sum: 813497256f6c548b5123fb9e1c441c92
SHA1: cfcd2c2cedaf863f527f7e3c51bc2643634afc54
SHA256: aec45032f58b03a627deb58d6c5dcfd9965bc2eb52a258e2f9d541b1b73a7462
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-6
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-6_all.deb
Size: 2629612
MD5sum: 813497256f6c548b5123fb9e1c441c92
SHA1: cfcd2c2cedaf863f527f7e3c51bc2643634afc54
SHA256: aec45032f58b03a627deb58d6c5dcfd9965bc2eb52a258e2f9d541b1b73a7462
Homepage: http://www.minlog-system.de
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd