How to Install and Uninstall proofgeneral Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 25,2024

You can also install and uninstall the proofgeneral 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 "proofgeneral" package

In this section, we are going to explain the necessary steps to install proofgeneral on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral
            
                    
    
    Copied

2. Uninstall "proofgeneral" package

Please follow the step by step instructions below to uninstall proofgeneral on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: proofgeneral
Architecture: all
Version: 4.4.1~pre170114-1.2
Priority: optional
Section: universe/editors
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Hendrik Tews
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2028
Depends: emacs-gtk, mmm-mode
Suggests: proofgeneral-doc, prooftree
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Replaces: proofgeneral-coq, proofgeneral-misc
Filename: pool/universe/p/proofgeneral/proofgeneral_4.4.1~pre170114-1.2_all.deb
Size: 542408
MD5sum: 3226d322e5746207c33cf8351030c7af
SHA1: 18a9fbafa1c2a884cd834b7ada575a7c41596e68
SHA256: 3ed4fa1919d01aa41795c4082e07541b74b8e682be2938e0322c97479930e1bd
SHA512: aca65fd5527e53576cb37e56df7b4415e5863a1d20980535bdd6cfd8449ab5e1cfe0b66c131ce63225a894ffe544f8e80745954fe6f519d6162dd16b776ce0a4
Homepage: https://proofgeneral.github.io/
Description: generic frontend for proof assistants
Description-md5: d9db6f28a37c20061313aac90898d734