How to Install and Uninstall libghc-singletons-dev Package on Ubuntu 21.10 (Impish Indri)
Last updated: December 23,2024
1. Install "libghc-singletons-dev" package
Here is a brief guide to show you how to install libghc-singletons-dev on Ubuntu 21.10 (Impish Indri)
$
sudo apt update
Copied
$
sudo apt install
libghc-singletons-dev
Copied
2. Uninstall "libghc-singletons-dev" package
Please follow the step by step instructions below to uninstall libghc-singletons-dev on Ubuntu 21.10 (Impish Indri):
$
sudo apt remove
libghc-singletons-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-singletons-dev package on Ubuntu 21.10 (Impish Indri)
Package: libghc-singletons-dev
Architecture: amd64
Version: 2.6-1build3
Priority: optional
Section: universe/haskell
Source: haskell-singletons
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 91020
Provides: libghc-singletons-dev-2.6-5a0fd
Depends: libghc-base-dev-4.13.0.0-2f220, libghc-containers-dev-0.6.2.1-ab1cf, libghc-ghc-boot-th-dev-8.8.4-54c6a, libghc-mtl-dev-2.2.2-7208c, libghc-pretty-dev-1.1.3.6-33019, libghc-syb-dev-0.7.1-bb80c, libghc-template-haskell-dev-2.15.0.0-80f0d, libghc-text-dev-1.2.4.0-a7a6e, libghc-th-desugar-dev-1.10-08c39, libghc-transformers-dev-0.5.6.2-59c2c, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-singletons-doc, libghc-singletons-prof
Filename: pool/universe/h/haskell-singletons/libghc-singletons-dev_2.6-1build3_amd64.deb
Size: 5274636
MD5sum: 09a3800fe50e2dba9ab25c1c246672a4
SHA1: 5c77da171a7a8192de39f701920497da147ae8fe
SHA256: 1f5011402b7f04d38d56046d5eda455e7935353ea9404c9228b450c9898d0f5c
SHA512: 0a782e379a79d3405dae912b2513eb3128f89b3adf6bdc038156e9bf846d625f3f72b56a05adbfb806b145162672fb3eb93bbe01f2f784bdfb568addb5af9d09
Homepage: https://www.github.com/goldfirere/singletons
Description-en: Haskell framework for generating singleton types
This library generates singleton types, promoted functions, and singleton
functions using Template Haskell. It is useful for programmers who wish
to use dependently typed programming techniques. The library was originally
presented in /Dependently Typed Programming with Singletons/, published
at the Haskell Symposium, 2012.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5: 85c86126f1126f1ab361f54d83351ec0
Ghc-Package: singletons-2.6-tiKTPQ1xoqGyWmzzGoXbT
Architecture: amd64
Version: 2.6-1build3
Priority: optional
Section: universe/haskell
Source: haskell-singletons
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 91020
Provides: libghc-singletons-dev-2.6-5a0fd
Depends: libghc-base-dev-4.13.0.0-2f220, libghc-containers-dev-0.6.2.1-ab1cf, libghc-ghc-boot-th-dev-8.8.4-54c6a, libghc-mtl-dev-2.2.2-7208c, libghc-pretty-dev-1.1.3.6-33019, libghc-syb-dev-0.7.1-bb80c, libghc-template-haskell-dev-2.15.0.0-80f0d, libghc-text-dev-1.2.4.0-a7a6e, libghc-th-desugar-dev-1.10-08c39, libghc-transformers-dev-0.5.6.2-59c2c, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-singletons-doc, libghc-singletons-prof
Filename: pool/universe/h/haskell-singletons/libghc-singletons-dev_2.6-1build3_amd64.deb
Size: 5274636
MD5sum: 09a3800fe50e2dba9ab25c1c246672a4
SHA1: 5c77da171a7a8192de39f701920497da147ae8fe
SHA256: 1f5011402b7f04d38d56046d5eda455e7935353ea9404c9228b450c9898d0f5c
SHA512: 0a782e379a79d3405dae912b2513eb3128f89b3adf6bdc038156e9bf846d625f3f72b56a05adbfb806b145162672fb3eb93bbe01f2f784bdfb568addb5af9d09
Homepage: https://www.github.com/goldfirere/singletons
Description-en: Haskell framework for generating singleton types
This library generates singleton types, promoted functions, and singleton
functions using Template Haskell. It is useful for programmers who wish
to use dependently typed programming techniques. The library was originally
presented in /Dependently Typed Programming with Singletons/, published
at the Haskell Symposium, 2012.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5: 85c86126f1126f1ab361f54d83351ec0
Ghc-Package: singletons-2.6-tiKTPQ1xoqGyWmzzGoXbT