How to Install and Uninstall libghc-copilot-language-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 17,2024

1. Install "libghc-copilot-language-dev" package

Here is a brief guide to show you how to install libghc-copilot-language-dev on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libghc-copilot-language-dev

2. Uninstall "libghc-copilot-language-dev" package

Please follow the instructions below to uninstall libghc-copilot-language-dev on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libghc-copilot-language-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-copilot-language-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-copilot-language-dev
Architecture: amd64
Version: 3.13-1build1
Priority: optional
Section: universe/haskell
Source: haskell-copilot-language
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1616
Provides: libghc-copilot-language-dev-3.13-6b1fe
Depends: libghc-array-dev-0.5.4.0-0b6fa, libghc-base-dev-4.15.1.0-6a406, libghc-containers-dev-0.6.4.1-31c3b, libghc-copilot-core-dev-3.13-db5ae, libghc-copilot-interpreter-dev-3.13-5676b, libghc-copilot-prettyprinter-dev-3.13-91705, libghc-copilot-theorem-dev-3.13-12664, libghc-data-reify-dev-0.6.3-ed13d, libghc-mtl-dev-2.2.2-e3bae, libc6 (>= 2.2.5), libgmp10 (>= 2:6.2.1+dfsg1), zlib1g (>= 1:1.1.4)
Filename: pool/universe/h/haskell-copilot-language/libghc-copilot-language-dev_3.13-1build1_amd64.deb
Size: 180996
MD5sum: 9f0c5ae34c5c84fbd5c48439533698db
SHA1: 0514eb734e20c45a7cb5888d5ee67186f675023a
SHA256: 59c0b43bde24bab2e7364351863bea5c381f262fec6174407f41373154d81b48
SHA512: 09d97a21517e05cb85853d32bdf89cc1b45645826236bea6ca3bda7a6523993548f75217f5cab2b137734f0314f5559028e21c5692ffd22f44cdec6972c58881
Homepage: https://copilot-language.github.io
Description: DSL for monitoring hard real-time distributed systems.
Description-md5: 2b6cfd1e07f7d127575434b8f1f03ac0
Ghc-Package: copilot-language-3.13-7WsKG1VIkSi1BwHsrfeTnA