How to Install and Uninstall libladr-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: December 28,2024

1. Install "libladr-dev" package

Please follow the step by step instructions below to install libladr-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libladr-dev
            
                    
    
    Copied

2. Uninstall "libladr-dev" package

Please follow the guidance below to uninstall libladr-dev on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libladr-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libladr-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libladr-dev
Architecture: amd64
Version: 0.0.200911a-2.1build1
Multi-Arch: same
Priority: optional
Section: universe/libdevel
Source: ladr
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1574
Depends: libladr4 (= 0.0.200911a-2.1build1)
Filename: pool/universe/l/ladr/libladr-dev_0.0.200911a-2.1build1_amd64.deb
Size: 261924
MD5sum: 0687e0e5ae4a9383dd80ac4b0dd8c054
SHA1: 1c12df59b6ad1c81911604180bdbf5b5be9a7e29
SHA256: 5c619a88f4d79d1d509f4a55c804a58700390e6cc9363aa2fbd8fc8ed4e5cf8a
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description: the LADR deduction library, development files
Description-md5: 417a6343e536b64bad9bd10fd9014480