How to Install and Uninstall libcoq-equations Package on Debian 12 (Bookworm)

Last updated: December 28,2024

You can also install and uninstall the libcoq-equations on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libcoq-equations" package

Please follow the step by step instructions below to install libcoq-equations on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-equations
            
                    
    
    Copied

2. Uninstall "libcoq-equations" package

Learn how to uninstall libcoq-equations on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-equations
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-equations package on Debian 12 (Bookworm)

Package: libcoq-equations
Source: coq-equations (1.3-8.16-2)
Version: 1.3-8.16-2+b1
Installed-Size: 8904
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-equations-74q02
Depends: libcoq-hott-lbh46, libcoq-stdlib-ewsr6
Description: Coq library to work with functions defined by equations
Description-md5: 33a517ad7548092fab1b723f4ca09c95
Homepage: https://github.com/mattam82/Coq-Equations
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-equations/libcoq-equations_1.3-8.16-2+b1_amd64.deb
Size: 1421860
MD5sum: a2295af3398089d332e4e8451f49150d
SHA256: 1ac441fc37fbf6a36225c8f339e7e4cacec2fc80a80ffd0dc4d1c2b9a0283108