How to Install and Uninstall libghc-agda-doc Package on Debian 12 (Bookworm)

Last updated: December 23,2024

1. Install "libghc-agda-doc" package

This guide covers the steps necessary to install libghc-agda-doc on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install libghc-agda-doc

2. Uninstall "libghc-agda-doc" package

Please follow the step by step instructions below to uninstall libghc-agda-doc on Debian 12 (Bookworm):

$ sudo apt remove libghc-agda-doc $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-agda-doc package on Debian 12 (Bookworm)

Package: libghc-agda-doc
Source: agda
Version: 2.6.2.2-1.1
Installed-Size: 161999
Maintainer: Debian Haskell Group
Architecture: all
Replaces: haskell-agda-doc
Provides: haskell-agda-doc
Depends: haddock-interface-38
Recommends: ghc-doc, libghc-agda-dev, libghc-async-doc, libghc-case-insensitive-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-unordered-containers-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33
Homepage: https://wiki.portal.chalmers.se/agda/
Tag: devel::doc, made-of::html, role::documentation
Section: doc
Priority: optional
Filename: pool/main/a/agda/libghc-agda-doc_2.6.2.2-1.1_all.deb
Size: 6599972
MD5sum: c19198383a70db09bbc60be6b8b511c6
SHA256: 3c8a0135087b19a9b89361cef625ca8b1425bb65942bba7596cabbdae6dbdacc