How to Install and Uninstall libghc-singletons-prof Package on Kali Linux
Last updated: November 22,2024
1. Install "libghc-singletons-prof" package
In this section, we are going to explain the necessary steps to install libghc-singletons-prof on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libghc-singletons-prof
Copied
2. Uninstall "libghc-singletons-prof" package
In this section, we are going to explain the necessary steps to uninstall libghc-singletons-prof on Kali Linux:
$
sudo apt remove
libghc-singletons-prof
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-singletons-prof package on Kali Linux
Package: libghc-singletons-prof
Source: haskell-singletons (3.0.2-2)
Version: 3.0.2-2+b1
Installed-Size: 557
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-singletons-prof-3.0.2-d497b
Depends: libghc-base-prof-4.17.2.0-68dfe, libghc-singletons-dev (= 3.0.2-2+b1)
Size: 76356
SHA256: 4cb52f63577b54f4dd02cef5f3142782577297ec761a0150f40a8bdd0d9ecfea
SHA1: afc3c0d9ecd8e0d3d688d33582a0a7f1e6ba8ff8
MD5sum: c88ca5cf87323ab67fb42383e7e05745
Description: Haskell framework for generating singleton types; profiling libraries
This library generates singleton types, promoted functions, and singleton
functions using Template Haskell. It is useful for programmers who wish
to use dependently typed programming techniques. The library was originally
presented in /Dependently Typed Programming with Singletons/, published
at the Haskell Symposium, 2012.
.
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://www.github.com/goldfirere/singletons
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-singletons/libghc-singletons-prof_3.0.2-2+b1_amd64.deb
Source: haskell-singletons (3.0.2-2)
Version: 3.0.2-2+b1
Installed-Size: 557
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-singletons-prof-3.0.2-d497b
Depends: libghc-base-prof-4.17.2.0-68dfe, libghc-singletons-dev (= 3.0.2-2+b1)
Size: 76356
SHA256: 4cb52f63577b54f4dd02cef5f3142782577297ec761a0150f40a8bdd0d9ecfea
SHA1: afc3c0d9ecd8e0d3d688d33582a0a7f1e6ba8ff8
MD5sum: c88ca5cf87323ab67fb42383e7e05745
Description: Haskell framework for generating singleton types; profiling libraries
This library generates singleton types, promoted functions, and singleton
functions using Template Haskell. It is useful for programmers who wish
to use dependently typed programming techniques. The library was originally
presented in /Dependently Typed Programming with Singletons/, published
at the Haskell Symposium, 2012.
.
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://www.github.com/goldfirere/singletons
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-singletons/libghc-singletons-prof_3.0.2-2+b1_amd64.deb