How to Install and Uninstall elpa-ats2-mode Package on Kali Linux

Last updated: May 20,2024

1. Install "elpa-ats2-mode" package

Here is a brief guide to show you how to install elpa-ats2-mode on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-ats2-mode
            
                    
    
    Copied

2. Uninstall "elpa-ats2-mode" package

This guide let you learn how to uninstall elpa-ats2-mode on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-ats2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-ats2-mode package on Kali Linux

Package: elpa-ats2-mode
Source: ats2-lang
Version: 0.4.2-1.1
Installed-Size: 47
Maintainer: Matthew Danish
Architecture: all
Depends: dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24, emacs25
Size: 10056
SHA256: 95d6931910e70318aed0a10f85230ddeb2979a9c54ee565b5319ea5e5ceb82ba
SHA1: d5a6c8274d1e8ddf99ef925668e3f9772dced637
MD5sum: e0bb411e1f19ace03535ef28e0a0c1c2
Description: ATS version 2 programming language emacs mode
ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive
type system rooted in the framework Applied Type System. In particular, both
dependent types and linear types are available in ATS. The current
implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself.
It can be as efficient as C/C++ and supports a variety of programming
paradigms.
.
This package contains the emacs mode for ATS2.
Description-md5:
Homepage: http://www.ats-lang.org/
Section: lisp
Priority: optional
Filename: pool/main/a/ats2-lang/elpa-ats2-mode_0.4.2-1.1_all.deb