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

Last updated: December 24,2024

1. Install "libghc-agda-dev" package

In this section, we are going to explain the necessary steps to install libghc-agda-dev on Debian 12 (Bookworm)

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

2. Uninstall "libghc-agda-dev" package

This is a short guide on how to uninstall libghc-agda-dev on Debian 12 (Bookworm):

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

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

Package: libghc-agda-dev
Source: agda
Version: 2.6.2.2-1.1
Installed-Size: 248168
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-agda-dev-2.6.2.2-6fe63
Depends: libghc-aeson-dev-2.0.3.0-6cd28, libghc-array-dev-0.5.4.0-0b6fa, libghc-async-dev-2.2.4-7edea, libghc-base-dev-4.15.1.0-6a406, libghc-binary-dev-0.8.8.0-507cc, libghc-blaze-html-dev-0.9.1.2-d5145, libghc-boxes-dev-0.1.5-fe15f, libghc-bytestring-dev-0.10.12.1-ced9a, libghc-case-insensitive-dev-1.2.1.0-ea097, libghc-containers-dev-0.6.4.1-31c3b, libghc-data-hash-dev-0.2.0.1-3af90, libghc-deepseq-dev-1.4.5.0-118cf, libghc-directory-dev-1.3.6.2-311c9, libghc-edit-distance-dev-0.2.2.1-cc475, libghc-equivalence-dev-0.4.1-9ed28, libghc-exceptions-dev-0.10.4-c14ff, libghc-filepath-dev-1.4.2.1-4459f, libghc-ghc-compact-dev-0.1.0.0-7d71d, libghc-gitrev-dev-1.3.1-3f551, libghc-hashable-dev-1.3.5.0-3fad8, libghc-hashtables-dev-1.2.4.2-4be59, libghc-haskeline-dev-0.8.2-83f75, libghc-monad-control-dev-1.0.3.1-20361, libghc-mtl-dev-2.2.2-e3bae, libghc-murmur-hash-dev-0.1.0.10-f9651, libghc-parallel-dev-3.2.2.0-7cbf2, libghc-pretty-dev-1.1.3.6-b017f, libghc-process-dev-1.6.13.2-9f25f, libghc-regex-tdfa-dev-1.3.2-1c748, libghc-split-dev-0.2.3.5-0c13f, libghc-stm-dev-2.5.0.0-4cba8, libghc-strict-dev-0.4.0.1-544cd, libghc-template-haskell-dev-2.17.0.0-7274a, libghc-text-dev-1.2.5.0-8553e, libghc-time-dev-1.9.3-bda76, libghc-transformers-dev-0.5.6.2-fc6f3, libghc-unordered-containers-dev-0.2.17.0-1d16d, libghc-uri-encode-dev-1.5.0.7-d0941, libghc-zlib-dev-0.6.3.0-57e0e, libc6 (>= 2.29), libgmp10 (>= 2:6.2.1+dfsg1), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Description: dependently typed functional programming language
Description-md5: 367dee38c949eb56c7f0325161eedb49
Homepage: https://wiki.portal.chalmers.se/agda/
Ghc-Package: Agda-2.6.2.2-7KnEKyKhaJHFPwDzdI3vIK
Section: haskell
Priority: optional
Filename: pool/main/a/agda/libghc-agda-dev_2.6.2.2-1.1_amd64.deb
Size: 24853036
MD5sum: a827c1f62cb35f810525e042da8a4b4e
SHA256: 3b1e6380dc53a3cf5f628f3a537af8be654e881a1f7c4409e108a59ed7e2c360