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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-117

%DESC%
Detached debugging symbols for idris

%CSIZE%
959787

%ISIZE%
1744902

%MD5SUM%
d943e5464db1214b6fd31f6ec1d3a59a

%SHA256SUM%
285e2d2a1a67ea324a72829323f8cd56c4b4f23214ad7ee5fc49b4a425b69dfd

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHPsIACgkQeGxj8zDXy5II7w/8C947mAqGqJngsjsXlwovKINn2xZl/GEGca3BL/xJgqQDW9y1eLz8uTqfna5FUaCsne5abz1sdVOCXW4Mfn8PnyIlCr8IWEmotOcnYQP4U0ctzuYbFbKGGzQ5323pnTBzAv4LzgMCMOCbYdnVUdSaqXsRVUfJeXams++yvw/ZvtPIZaI/hW8ScVb+QbhDRVlDOXb0ZSWEx1AyN8wdldX+bvTVW7ewbqMNHHzqCg21IbtQh5kzUYlSOdD1Syk+5QRui+9GCCF7ewtPRjistFvKDyNH7r19ZzwoiLK9AB9CKMnIcJA9q4VJp4C/kZKUrhZaU6tvgVpkQl+xjOZALJDpjTsKNam8Y/R/eW38lLu86brX8zgvyWPdYIJ+yKplP1kHMonm3SeYoJJmpKNhelyNY0iCe/2ZtbojL2AlHBy2qnXQ6HPo1/crO11jXGd+H7Bzvc0bQ+0S0zgZlJm6cnJr1R06EE6tNJwRvbIiC0ei7sHcJd10pX0UZV8QgRFfebQLYpAZZJNiylKqF2ZzYlrWnfH2ReoYkHTFjGcbQZkcMfrfncBf37zvHBnnHHPlDnbQSFUYlE9yVdboE9d9fxZWmEaTr132LO86iBPc20D0rvQ2zrKw/Zi51kCsqfqMZ4U2oEk31KjYQFrLtr8Z90MiAdpd7lSy2Ew3FsBBXKAhPnM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686584385

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

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

