%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIkACgkQrx0hme8KPM/tXw/9EhBk+02QJexWMaFxeFUS0B1V1VEp64BQQsZV4gMdgZdc5S70QXlxtPf+geJ8ZmK2Po+AMjD3WxjfKluWC45DQjxzntUYf1ctEWRJT22Hlv1u94PxI6IoU0t4TMdlAnCEWrd7+X0YENKVN/d2NY62JIjhmKBk3ShgNJK5/2lncTgqih7tvFdJbb18Ek2kVgq+QTxJmDw2nlLiVJ/QuSZhrtYwweuDLgbKaFXSwjw4JUBUDVZmH49/9hjFpej2iarIhjm8UImFWjzyMdgTgbSEOUFvcbOzU18enJS+roIhrDbF55DlfpNg/vIa7JpGwLOwv3X+ElLbddtXYlE6O38hopm1xl0EWvJCglbiErK8i6ZNNOhSM7a3dctjUERlLdCS4zfVuwu3zX2V+i0YQXH/9hNDJZcG/uz0Tj1PFpDMbrhsOH0hwgt6T0eAK9Iwx0KRDV3DIPxEfyZeb9FFHVSAfotW1+/piBNBdCe7n8zkntIdSQ9pffFO/gp0wS78qIifsFu2j4zaXn09PZT9ICwPoir1IbQs7zHUtZFkuDMT1mLBTd1zl+RaKEoaQionsgyfVGuR+mW5y7cVvFjV4Yl1N6LhsLX5N+vOZAP5vSsVUhTX/aF4tnPpqpSpY9/siQwNXpKmYPbvpXO9TlPT9y4ITwXFnkSYa9tGdKbUFT7la2c=

%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

