How to Install and Uninstall libladr-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 18,2024

1. Install "libladr-dev" package

In this section, we are going to explain the necessary steps to install libladr-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libladr-dev
            
                    
    
    Copied

2. Uninstall "libladr-dev" package

Please follow the instructions below to uninstall libladr-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libladr-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libladr-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libladr-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 1493
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Architecture: amd64
Source: ladr
Version: 0.0.200911a-2.1
Depends: libladr4 (= 0.0.200911a-2.1)
Filename: pool/universe/l/ladr/libladr-dev_0.0.200911a-2.1_amd64.deb
Size: 254236
MD5sum: 7c19f0015468900c92d5d3fc706b72b5
SHA1: 910fc5c6f4bc35760cdbb2121a59862ce9b3ed10
SHA256: 535917075d0e241e3e50790c8fb9c27d33dfce82f87aea1968e9e9daf32b2c07
Description-en: the LADR deduction library, development files
LADR (Library for Automated Deduction Research) is a library for
use in constructing theorem provers. Among other useful routines it
provides facilities for applying inference rules such as resolution
and paramodulation to clauses. LADR is used by the prover9 theorem
prover, and by the mace4 countermodel generator.
.
This package provides development support files for LADR.
Description-md5: 417a6343e536b64bad9bd10fd9014480
Multi-Arch: same
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu