How to Install and Uninstall prooftree Package on Ubuntu 22.04 LTS (Jammy Jellyfish)
Last updated: December 25,2024
Notice
You can also install and uninstall the prooftree on the following distributions in the same way, as they are all based on the Ubuntu system
- Kubuntu 22.04 LTS
- Lubuntu 22.04 LTS
- Xubuntu 22.04 LTS
- Ubuntu MATE 22.04 LTS
- Ubuntu Studio 22.04 LTS
- Pop!_OS 22.04 LTS
- Zorin OS 16 / Zorin OS 17
- Ubuntu Budgie 22.04
1. Install "prooftree" package
Please follow the step by step instructions below to install prooftree on Ubuntu 22.04 LTS (Jammy Jellyfish)
$
sudo apt update
Copied
$
sudo apt install
prooftree
Copied
2. Uninstall "prooftree" package
This guide covers the steps necessary to uninstall prooftree on Ubuntu 22.04 LTS (Jammy Jellyfish):
$
sudo apt remove
prooftree
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the prooftree package on Ubuntu 22.04 LTS (Jammy Jellyfish)
Package: prooftree
Architecture: amd64
Version: 0.13-2build4
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5150
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.34), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0)
Filename: pool/universe/p/prooftree/prooftree_0.13-2build4_amd64.deb
Size: 1312732
MD5sum: d1804081f31fa9e500c441ff5fa8f15c
SHA1: c154e35f001adb77e620654c764915f1bc9ba868
SHA256: 00d9579a7e3acde1c0e1c9deb717321b50717e987d2eac0561b2e36c4cfe5994
SHA512: afeb66aa85841bc7492c530d18fe1841de96ca889b7761e3f58124d52a4675c766c13f06d6f8a11b33f8cbe8f24d4720725248288b09b0e01e09ab90687b87f9
Homepage: http://askra.de/software/prooftree
Description: proof-tree visualization for Proof General
Description-md5: b27f2d4918792b35e6871a08a544fafa
Architecture: amd64
Version: 0.13-2build4
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5150
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.34), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0)
Filename: pool/universe/p/prooftree/prooftree_0.13-2build4_amd64.deb
Size: 1312732
MD5sum: d1804081f31fa9e500c441ff5fa8f15c
SHA1: c154e35f001adb77e620654c764915f1bc9ba868
SHA256: 00d9579a7e3acde1c0e1c9deb717321b50717e987d2eac0561b2e36c4cfe5994
SHA512: afeb66aa85841bc7492c530d18fe1841de96ca889b7761e3f58124d52a4675c766c13f06d6f8a11b33f8cbe8f24d4720725248288b09b0e01e09ab90687b87f9
Homepage: http://askra.de/software/prooftree
Description: proof-tree visualization for Proof General
Description-md5: b27f2d4918792b35e6871a08a544fafa