How to Install and Uninstall libghc-copilot-core-prof Package on Kali Linux
Last updated: November 27,2024
1. Install "libghc-copilot-core-prof" package
Please follow the steps below to install libghc-copilot-core-prof on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libghc-copilot-core-prof
Copied
2. Uninstall "libghc-copilot-core-prof" package
Please follow the guidelines below to uninstall libghc-copilot-core-prof on Kali Linux:
$
sudo apt remove
libghc-copilot-core-prof
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-copilot-core-prof package on Kali Linux
Package: libghc-copilot-core-prof
Source: haskell-copilot-core
Version: 3.18.1-1
Installed-Size: 627
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-copilot-core-prof-3.18.1-30079
Depends: libghc-base-prof-4.17.2.0-68dfe, libghc-copilot-core-dev (= 3.18.1-1)
Size: 77072
SHA256: 816030f0b65c430696a2134904202a6e31ef88516d73632dd5f776a2444dd94b
SHA1: 52f7544d1d382cdb95c5dc055345c3244ed42248
MD5sum: 7fa951e48793487b3bbd60999dd92f56
Description: Intermediate representation for Copilot.; profiling libraries
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 a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://copilot-language.github.io
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-copilot-core/libghc-copilot-core-prof_3.18.1-1_amd64.deb
Source: haskell-copilot-core
Version: 3.18.1-1
Installed-Size: 627
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-copilot-core-prof-3.18.1-30079
Depends: libghc-base-prof-4.17.2.0-68dfe, libghc-copilot-core-dev (= 3.18.1-1)
Size: 77072
SHA256: 816030f0b65c430696a2134904202a6e31ef88516d73632dd5f776a2444dd94b
SHA1: 52f7544d1d382cdb95c5dc055345c3244ed42248
MD5sum: 7fa951e48793487b3bbd60999dd92f56
Description: Intermediate representation for Copilot.; profiling libraries
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 a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://copilot-language.github.io
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-copilot-core/libghc-copilot-core-prof_3.18.1-1_amd64.deb