How to Install and Uninstall libghc-djinn-lib-doc Package on Ubuntu 21.04 (Hirsute Hippo)
Last updated: November 06,2024
1. Install "libghc-djinn-lib-doc" package
Please follow the instructions below to install libghc-djinn-lib-doc on Ubuntu 21.04 (Hirsute Hippo)
$
sudo apt update
Copied
$
sudo apt install
libghc-djinn-lib-doc
Copied
2. Uninstall "libghc-djinn-lib-doc" package
This guide covers the steps necessary to uninstall libghc-djinn-lib-doc on Ubuntu 21.04 (Hirsute Hippo):
$
sudo apt remove
libghc-djinn-lib-doc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-djinn-lib-doc package on Ubuntu 21.04 (Hirsute Hippo)
Package: libghc-djinn-lib-doc
Architecture: all
Version: 0.0.1.3-4build2
Priority: extra
Section: universe/doc
Source: haskell-djinn-lib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1333
Depends: haddock-interface-35
Recommends: libjs-mathjax
Filename: pool/universe/h/haskell-djinn-lib/libghc-djinn-lib-doc_0.0.1.3-4build2_all.deb
Size: 78864
MD5sum: ec3262d7f788969e7f777b30c802ec78
SHA1: e4709b362dd4636fdc8d0132d469ad0171bc56ef
SHA256: 96af69358aa4351ec24a107fb48d3d47e235213edbc5ae558970ff8fb77b9d09
SHA512: cfaf62dea2284adea69ba069ae115a7fc3b7571379a4ba09a9a3b450f601dbc08b9574d569e48696989e635a690d22a04e696bf50fd3c4521566c026cf81c3d9
Homepage: http://www.augustsson.net/Darcs/Djinn/
Description-en: Generate Haskell code from a type; documentation
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
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: 6618ee521f174c7a6531be8d5a7ef6fa
Architecture: all
Version: 0.0.1.3-4build2
Priority: extra
Section: universe/doc
Source: haskell-djinn-lib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1333
Depends: haddock-interface-35
Recommends: libjs-mathjax
Filename: pool/universe/h/haskell-djinn-lib/libghc-djinn-lib-doc_0.0.1.3-4build2_all.deb
Size: 78864
MD5sum: ec3262d7f788969e7f777b30c802ec78
SHA1: e4709b362dd4636fdc8d0132d469ad0171bc56ef
SHA256: 96af69358aa4351ec24a107fb48d3d47e235213edbc5ae558970ff8fb77b9d09
SHA512: cfaf62dea2284adea69ba069ae115a7fc3b7571379a4ba09a9a3b450f601dbc08b9574d569e48696989e635a690d22a04e696bf50fd3c4521566c026cf81c3d9
Homepage: http://www.augustsson.net/Darcs/Djinn/
Description-en: Generate Haskell code from a type; documentation
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
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: 6618ee521f174c7a6531be8d5a7ef6fa