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

Last updated: May 14,2024

1. Install "mathpartir" package

Please follow the instructions below to install mathpartir on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mathpartir
            
                    
    
    Copied

2. Uninstall "mathpartir" package

Please follow the guidance below to uninstall mathpartir on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mathpartir
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: mathpartir
Version: 1.2.0-7
Installed-Size: 9
Maintainer: Ralf Treinen
Architecture: all
Depends: texlive-science (>= 2016.20170123-5)
Description: LaTeX macros for typesetting inference rules - transitional package
Description-md5: fc4743cf4304f34343f05b270ee27192
Homepage: http://cristal.inria.fr/~remy/latex/index.html#mathpartir
Tag: field::mathematics, role::plugin, use::typesetting,
works-with-format::tex, works-with::text
Section: tex
Priority: optional
Filename: pool/main/m/mathpartir/mathpartir_1.2.0-7_all.deb
Size: 3116
MD5sum: 0f75c0f845f9e22163616fa05b4d0883
SHA256: f76cdf03ae0d1e42b5325edaba9c3bc2130ffc0c600e49d3b14f4927a74ed94c