How to Install and Uninstall libghc-copilot-language-doc Package on Kali Linux

Last updated: June 26,2024

1. Install "libghc-copilot-language-doc" package

Please follow the step by step instructions below to install libghc-copilot-language-doc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-language-doc
            
                    
    
    Copied

2. Uninstall "libghc-copilot-language-doc" package

This is a short guide on how to uninstall libghc-copilot-language-doc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-copilot-language-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-copilot-language-doc package on Kali Linux

Package: libghc-copilot-language-doc
Source: haskell-copilot-language
Version: 3.18.1-1
Installed-Size: 5412
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-copilot-core-doc, libghc-copilot-interpreter-doc, libghc-copilot-language-dev, libghc-copilot-theorem-doc, libjs-mathjax
Suggests: libghc-copilot-language-prof
Size: 219948
SHA256: f03a4d2ce79c9b41e1fddf4180ebc5dce8fc4569da9dd3e960143ca859eb4169
SHA1: 514b6c5f8d3db8f11524ef2b99e13e75638c329c
MD5sum: 1a3d6cc5c0c6f741c9a9505b66b23c9b
Description: DSL for monitoring hard real-time distributed systems.; documentation
The concrete syntax for Copilot.
.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
.
A tutorial, examples, and other information are available at
.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://copilot-language.github.io
Section: doc
Priority: optional
Filename: pool/main/h/haskell-copilot-language/libghc-copilot-language-doc_3.18.1-1_all.deb