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

Last updated: February 24,2025

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

MX Linux 23
SparkyLinux

1. Install "libcoq-corn" package

Please follow the guidelines below to install libcoq-corn on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-corn
            
                    
    
    Copied

2. Uninstall "libcoq-corn" package

This guide covers the steps necessary to uninstall libcoq-corn on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-corn
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-corn
Source: coq-corn (8.16.0-2)
Version: 8.16.0-2+b1
Installed-Size: 60490
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-corn-ssy90
Depends: libcoq-bignums-u3wh0, libcoq-math-classes-9mrw3, libcoq-stdlib-ewsr6
Description: Coq Constructive Repository at Nijmegen
Description-md5: ec8ab190706127a80e7654195179d6fa
Homepage: https://github.com/coq-community/corn
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-corn/libcoq-corn_8.16.0-2+b1_amd64.deb
Size: 11321776
MD5sum: 36e4253b7e1bf119c5fcd2bc1a267ed5
SHA256: 8d0d9f34450ee6bc4cc55117b9af5ddc0dbbdd70b3846e9532eb5df48c9f3386