%FILENAME%
idris-debug-1.3.4-502-x86_64.pkg.tar.zst

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-502

%DESC%
Detached debugging symbols for idris

%CSIZE%
6996234

%ISIZE%
34606355

%SHA256SUM%
a063aee2d9903f3e81e3b1d3af63eb9010ebd1a460f2cd6c0d9d6b122fc6b0dc

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1777452251

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

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

