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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-516

%DESC%
Detached debugging symbols for idris

%CSIZE%
7010601

%ISIZE%
34606459

%SHA256SUM%
9e39c30e88337fb0fcbefe00239259526e63387a3a5dd6debcae477c29433ff8

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1780481279

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

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

