How to Install and Uninstall libcoq-relation-algebra Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: November 23,2024

1. Install "libcoq-relation-algebra" package

Please follow the instructions below to install libcoq-relation-algebra on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-relation-algebra
            
                    
    
    Copied

2. Uninstall "libcoq-relation-algebra" package

This is a short guide on how to uninstall libcoq-relation-algebra on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-relation-algebra
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-relation-algebra package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-relation-algebra
Architecture: amd64
Version: 1.7.9-2build2
Priority: optional
Section: universe/ocaml
Source: coq-relation-algebra
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 8231
Provides: libcoq-relation-algebra-nqje8
Depends: libcoq-aac-tactics-1a8m5, libcoq-mathcomp-ssreflect-s8sz2, libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-relation-algebra/libcoq-relation-algebra_1.7.9-2build2_amd64.deb
Size: 2360426
MD5sum: 36eb11cd9608af66b46ce459aaf8b29a
SHA1: 12f68e2da4155b6eeb4ad90c50b47fd6924c977c
SHA256: a9f3aba8f133ecb7ca09aa4f6ba72fef0a2afc738c1efc48eb979e6d657b1092
SHA512: 610401027d30cd79844191033c10acfe65e18d9a3d21a8ce9e76466ccbd6a1b17e52661b3c59ef7c1bc8b77e0297340e90f2d59ac40f29c369680aecb6e99c39
Homepage: https://github.com/damien-pous/relation-algebra
Description: relation algebra for Coq
Description-md5: a765dff0adbfdc3fa06433e9a1b8f624