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

Last updated: November 26,2024

1. Install "libcoq-record-update" package

Please follow the guidelines below to install libcoq-record-update on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-record-update
            
                    
    
    Copied

2. Uninstall "libcoq-record-update" package

In this section, we are going to explain the necessary steps to uninstall libcoq-record-update on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-record-update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-record-update
Architecture: amd64
Version: 0.3.3-1build1
Priority: optional
Section: universe/ocaml
Source: coq-record-update
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 60
Provides: libcoq-record-update-stzl8
Depends: libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-record-update/libcoq-record-update_0.3.3-1build1_amd64.deb
Size: 17532
MD5sum: 33077fc90d2151c87a969f97a565c138
SHA1: 4f1dea5c4166eefcf7da86fa9bb195984a3c8fe2
SHA256: 8d46948a05af23fa873bc69c3d90e9923879b3ddf05826bc840724e981ff4a84
SHA512: 2b405a434a387f0e6e1b310e01e8403d2cd25ddaac0af62ed0c1ec6f8ee3c9932b45709ff5f9ee949b2fbb11b6c4d0dd4e2fd6dccba6a65dfbeccd62f9927f8a
Homepage: https://github.com/tchajed/coq-record-update
Description: automatic record fields updaters for Coq
Description-md5: 88f89d9a5fbe40b2f7634d8368a32e1e