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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-190

%DESC%
Detached debugging symbols for idris

%CSIZE%
6569

%ISIZE%
15072

%MD5SUM%
00b4bc4e4b7c9023e3d1c0a8dd27718e

%SHA256SUM%
0b571f7010573101d955364b0689cd13e5b1f3d7ecb337d544bc83b7651a1d21

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEWIACgkQrx0hme8KPM9wMhAAuLYl2RC+1JiojPjnJKrOfGwDZ54QVsTEtA+HUtLuzshLb0fA3lHjmCZAEoBc4QvymNePqo6f0YiHtjM3KYqS+756NRJFb0y6m8YcJlEhXxC1xnTba4hQ6HIC0aSioXC9KM5h90RMNOrxNLj56X72AKnXZ5H5JHnU5WOA1kZwjRcDZP3EF+jk3nhBgkJ7GQpdUv+O7hlu9zjSMIN5c8FueA3gssvM0j7FQjiSMvgtp19d7ZVJg+Tsy8p+Gn10rIHP0RboJNEZYA0eX4A0Hsu0FUKRheJjYR4seqaqtrA7+y2cp0Gq7wgaGObXbs9cRcQjjqGVJynQFmaxQxSPX4oyxgf3myt62dRpbOOKTkGB3SuqSyxCB5JR9wMZJexloRXL84UzKc7dQosqhkpUTCLjn3thuxoHiEGwuyd86LVMFklLMb8LnrGOir5Q1Fz9Ieg4IxJ7rq87l6u5+XvtE5XSEZcRt8Gd2C+oDDNd33W9927Fa6Abp1ZCGs7MyMzzGKkunl9wCro7F5aUw7qeCl6LV2WEA1KFpYzEL2doeejRn9KuPlFU7ogplQ1o9uw0nHTwDyqLwq3yuR9yDkXb/GgpQy7LC+rbHt9tHQfP0GI8VrNcY4veyV5udYzssTrk5MANH5rYx6wOynr0WdVDZhHekQhvJWsDG0iyUP78KQbLB/I=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707523336

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

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

