How to Install and Uninstall libghc-agda-doc Package on Ubuntu 21.04 (Hirsute Hippo)
Last updated: November 26,2024
1. Install "libghc-agda-doc" package
Please follow the step by step instructions below to install libghc-agda-doc on Ubuntu 21.04 (Hirsute Hippo)
$
sudo apt update
Copied
$
sudo apt install
libghc-agda-doc
Copied
2. Uninstall "libghc-agda-doc" package
Please follow the instructions below to uninstall libghc-agda-doc on Ubuntu 21.04 (Hirsute Hippo):
$
sudo apt remove
libghc-agda-doc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-agda-doc package on Ubuntu 21.04 (Hirsute Hippo)
Package: libghc-agda-doc
Architecture: all
Version: 2.6.1-1build2
Priority: extra
Section: universe/doc
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 130566
Provides: haskell-agda-doc
Depends: haddock-interface-35
Recommends: libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-strict-doc, libghc-unordered-containers-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Replaces: haskell-agda-doc
Filename: pool/universe/a/agda/libghc-agda-doc_2.6.1-1build2_all.deb
Size: 5768200
MD5sum: bc3ff053d37a9d20219b09562392826e
SHA1: 850d3a98d0d06230b347ecb8c2762680a631ccf2
SHA256: 56bf9c02834d422edc544275df060e4c3d9b73bb72d459bc9951f398f45e5ae5
SHA512: 4965bd2f8b308b39235f2c33d2c389fa6635449d6a995d37cc1373c83279f648b0f384848ee74bf3cb077c69b38754732d68b5bac3de998d594f8beb6eb7ed0f
Homepage: https://wiki.portal.chalmers.se/agda/
Description-en: dependently typed functional programming language; documentation
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
not just types. It also has parameterised modules, mixfix operators, Unicode
characters, and an interactive Emacs interface (the type checker can assist in
the development of your code).
.
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Löf. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
.
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: 42838d7e4b43bdeee8091f83a2111b33
Architecture: all
Version: 2.6.1-1build2
Priority: extra
Section: universe/doc
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 130566
Provides: haskell-agda-doc
Depends: haddock-interface-35
Recommends: libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-strict-doc, libghc-unordered-containers-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Replaces: haskell-agda-doc
Filename: pool/universe/a/agda/libghc-agda-doc_2.6.1-1build2_all.deb
Size: 5768200
MD5sum: bc3ff053d37a9d20219b09562392826e
SHA1: 850d3a98d0d06230b347ecb8c2762680a631ccf2
SHA256: 56bf9c02834d422edc544275df060e4c3d9b73bb72d459bc9951f398f45e5ae5
SHA512: 4965bd2f8b308b39235f2c33d2c389fa6635449d6a995d37cc1373c83279f648b0f384848ee74bf3cb077c69b38754732d68b5bac3de998d594f8beb6eb7ed0f
Homepage: https://wiki.portal.chalmers.se/agda/
Description-en: dependently typed functional programming language; documentation
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
not just types. It also has parameterised modules, mixfix operators, Unicode
characters, and an interactive Emacs interface (the type checker can assist in
the development of your code).
.
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Löf. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
.
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: 42838d7e4b43bdeee8091f83a2111b33