%FILENAME%
idris-1.3.4-548-x86_64.pkg.tar.zst

%NAME%
idris

%BASE%
idris

%VERSION%
1.3.4-548

%DESC%
Functional Programming Language with Dependent Types

%CSIZE%
9504219

%ISIZE%
49515693

%MD5SUM%
836d7eb18bb694ad887bbc09af344048

%SHA256SUM%
19a41203ace3ce6dc2c417c67e37505051535dffdabf3ccac5dbd675ae5e08a8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHpPAACgkQeGxj8zDXy5LPmA//VVn/bE9bnCQrG6l5sfo+d8pfR1zKLSb4TfXgE2JMy9jD+GM+OOG0ulSkwKvpu6wpNUhExE+gwPfzX0hGM9geZJPuHOZqh/OlwCYmcMBVDw//Z7+q60/WDqFML+Ti3arH++5KDYMdo60+RoaEANGoP6geUHIEMGbKmh+DsM7Wbh1hug2bUwJo9LU15XArfXn1PTJDpoXfo4usoFr9krsNcQf/jria5xGwQlijA8zTm4hnbvpaaCzKLN3/MErBqbusy0AP48ZnZhrmXTOGWOi7pOvDkTrdb0IQoTZAif+U6YuWvLzy3S0K4cmUjKNM4nbAgu9XR/a8bEXCNIm9V2r7p6XQej6j7vIOXH384sPKfQcIPe7y57Szi4iqSl2LBH1gVbKSRKhp1sU3SRkLv/+EWpdt6dfQJLC77jk8/qDDKamfXZpyAIa+gq3q4xw3LjVDQDvrz+Dd4KAk/gmDk/eFvZBoVxMs8QyMxDM0x/wYSaC24NXI0Qk2PS+rpswF/sSFMl+huqeMfbOFhlJ0r9PZkdyx78hK+igKEXQ6SYYBdc8mWd+3LRn1Bow87G6lKMC6YbFsnpb9ylan4lgA5/Ra8P/lntrKalC4tCYpIMX6chUo4LBvzwFT0eyypxi22KEGRdHUHFprGKnXFi/UQr7XKqkkYMi+yV4x/dQ/qvQtPB4=

%URL%
https://www.idris-lang.org/

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1783079338

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
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

%MAKEDEPENDS%
ghc
uusi
haskell-tagged
haskell-tasty
haskell-tasty-golden
haskell-tasty-rerun
nodejs

