How to Install and Uninstall libghc-copilot-c99-doc Package on Kali Linux
Last updated: November 22,2024
1. Install "libghc-copilot-c99-doc" package
Please follow the step by step instructions below to install libghc-copilot-c99-doc on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libghc-copilot-c99-doc
Copied
2. Uninstall "libghc-copilot-c99-doc" package
This guide covers the steps necessary to uninstall libghc-copilot-c99-doc on Kali Linux:
$
sudo apt remove
libghc-copilot-c99-doc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-copilot-c99-doc package on Kali Linux
Package: libghc-copilot-c99-doc
Source: haskell-copilot-c99
Version: 3.18.1-1
Installed-Size: 836
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-copilot-c99-dev, libghc-copilot-core-doc, libghc-language-c99-doc, libghc-language-c99-simple-doc, libjs-mathjax
Suggests: libghc-copilot-c99-prof
Size: 73164
SHA256: e01a6ff4732beaf425f1d5b63604b83aa95e1c0a39f4516ed88641fe306e4cb3
SHA1: 86582ce00a3a1fa19e4a85272dfbcbcf245d8eda
MD5sum: c978a818c518bb8fd9082f6ff3b19093
Description: Compiler for Copilot targeting C99; documentation
This package is a back-end from Copilot to C.
.
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-c99/libghc-copilot-c99-doc_3.18.1-1_all.deb
Source: haskell-copilot-c99
Version: 3.18.1-1
Installed-Size: 836
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-copilot-c99-dev, libghc-copilot-core-doc, libghc-language-c99-doc, libghc-language-c99-simple-doc, libjs-mathjax
Suggests: libghc-copilot-c99-prof
Size: 73164
SHA256: e01a6ff4732beaf425f1d5b63604b83aa95e1c0a39f4516ed88641fe306e4cb3
SHA1: 86582ce00a3a1fa19e4a85272dfbcbcf245d8eda
MD5sum: c978a818c518bb8fd9082f6ff3b19093
Description: Compiler for Copilot targeting C99; documentation
This package is a back-end from Copilot to C.
.
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-c99/libghc-copilot-c99-doc_3.18.1-1_all.deb