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

Last updated: December 25,2024

1. Install "libghc-copilot-doc" package

Please follow the guidance below to install libghc-copilot-doc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-doc
            
                    
    
    Copied

2. Uninstall "libghc-copilot-doc" package

In this section, we are going to explain the necessary steps to uninstall libghc-copilot-doc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-copilot-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-copilot-doc
Source: haskell-copilot
Version: 3.18.1-1
Installed-Size: 389
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-copilot-core-doc, libghc-copilot-dev, libghc-copilot-language-doc, libghc-copilot-libraries-doc, libghc-copilot-prettyprinter-doc, libghc-optparse-applicative-doc, libjs-mathjax
Suggests: libghc-copilot-prof
Size: 51200
SHA256: 4331fa2d40fb6b2d92e01e5f79b59ae39426b677d1b66ff665b41196b4b2be8b
SHA1: 4068707a23723dfb9675e6a8a594f1ad40d0c088
MD5sum: 95656ff8ce9992897cf9aafb94d78013
Description: Stream DSL for writing embedded C programs.; documentation
Copilot is a stream-based runtime verification framework implemented as an
embedded domain-specific language (EDSL) in Haskell. Programs can be
interpreted for testing, or translated into C99 code to be incorporated in a
project, or as a standalone application. The C99 backend output is constant
in memory and time, making it suitable for systems with hard realtime
requirements.
.
This package is the main entry-point for using Copilot.
.
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/libghc-copilot-doc_3.18.1-1_all.deb