How to Install and Uninstall idris Package on Arch Linux

Last updated: May 19,2024

1. Install "idris" package

Learn how to install idris on Arch Linux

$ sudo pacman -Sy $ sudo pacman -S idris

2. Uninstall "idris" package

This guide covers the steps necessary to uninstall idris on Arch Linux:

$ sudo pacman -Rcns idris

3. Information about the idris package on Arch Linux

Repository : extra
Name : idris
Version : 1.3.4-196
Description : Functional Programming Language with Dependent Types
Architecture : x86_64
URL : https://www.idris-lang.org/
Licenses : BSD
Groups : None
Provides : None
Depends On : ghc-libs haskell-aeson haskell-annotated-wl-pprint
haskell-ansi-terminal haskell-ansi-wl-pprint haskell-async
haskell-base64-bytestring haskell-blaze-html
haskell-blaze-markup haskell-cheapskate haskell-code-page
haskell-fingertree haskell-fsnotify haskell-ieee754
haskell-libffi haskell-megaparsec haskell-network
haskell-optparse-applicative haskell-parser-combinators
haskell-regex-tdfa haskell-safe haskell-split
haskell-terminal-size haskell-uniplate
haskell-unordered-containers haskell-utf8-string
haskell-vector haskell-vector-binary-instances
haskell-zip-archive
Optional Deps : None
Conflicts With : None
Replaces : None
Download Size : 8.75 MiB
Installed Size : 45.14 MiB
Packager : Felix Yan
Build Date : Thu Mar 7 00:13:36 2024
Validated By : MD5 Sum SHA-256 Sum Signature

5. The same packages on other Linux Distributions