How to Install and Uninstall coala Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 10,2024

1. Install "coala" package

Please follow the guidelines below to install coala on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coala
            
                    
    
    Copied

2. Uninstall "coala" package

Please follow the steps below to uninstall coala on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coala
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coala package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: coala
Priority: optional
Section: universe/interpreters
Installed-Size: 721
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 1.0.1-5
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), python
Recommends: gringo, clasp
Filename: pool/universe/c/coala/coala_1.0.1-5_amd64.deb
Size: 267944
MD5sum: 475cea55d8b255569806644acf73a7d5
SHA1: 9ddb86b0122128dd82cedd8c40611f4fd2f078c1
SHA256: 947920462511f26f3ba916be8a0111024da0c7f1e8f2f1ba6ddc615c3dce7e59
Description-en: translates action languages into answer set programs
The coala tool translates an action language into a logic program
under the answer set semantics. After being grounded by lparse or
gringo, the logic program can be solved by an answer set solver such
as clasp. At the moment coala is able to translate the action
language AL, B, C, a subset of C+ and the action language CTAID. The
type of input language can be specified with a command line option.
Description-md5: 9a918678107a83bb1dfe422a868f9ffa
Homepage: http://www.cs.uni-potsdam.de/wv/coala/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu