How to Install and Uninstall idris Package on Manjaro

Repository : extra
Name : idris
Version : 1.3.4-175
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 : 10.19 MiB
Installed Size : 55.16 MiB
Packager : Felix Yan
Build Date : Wed Jan 10 20:29:08 2024
Validated By : MD5 Sum SHA-256 Sum Signature