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

Last updated: November 26,2024

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

This guide let you learn how to install libghc-copilot-theorem-doc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-copilot-theorem-doc
            
                    
    
    Copied

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

This tutorial shows how to uninstall libghc-copilot-theorem-doc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-copilot-theorem-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-copilot-theorem-doc
Source: haskell-copilot-theorem
Version: 3.18.1-2
Installed-Size: 4409
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-bimap-doc, libghc-bv-sized-doc, libghc-copilot-core-doc, libghc-copilot-prettyprinter-doc, libghc-copilot-theorem-dev, libghc-data-default-doc, libghc-libbf-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-random-doc, libghc-what4-doc, libghc-xml-doc, libjs-mathjax
Suggests: libghc-copilot-theorem-prof
Size: 220332
SHA256: 7b354a86cf3605fc010578c1ec7689b8b5b4196227d963880e8b7baee9e9c84e
SHA1: 1dced5dc3c25b195f4f271c97642e925cd20a5c6
MD5sum: 2dabb8b4520e3f760d333a7c0cc06c90
Description: k-induction for Copilot.; documentation
Some tools to prove properties on Copilot programs with k-induction model
checking.
.
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-theorem/libghc-copilot-theorem-doc_3.18.1-2_all.deb