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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-548

%DESC%
Detached debugging symbols for idris

%CSIZE%
6888554

%ISIZE%
34606259

%SHA256SUM%
1e6f1b480fd7f2da7e44175a121ab03ff19c0ce95ed46dd1cc2362d55dac59be

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHpPAACgkQeGxj8zDXy5J8FhAAiVMExPIOnMKUDLY5m37aDBeyqmydMqw7v4AS5+EUe3S2eqeEKgrrfCmDIOgJ7JrRpGK8N9yMlQ1wPmzB+A3yA6VeUHw9U34I1Le3osEP8bJtuzi5DI9k1HLZf6bZbMMAVSRc2tRJV+hIm6XihfQxjpAEDD9VRBa69JIikdk2ks6SuHZIgFM5UsR5b07nFkuYGlDoGEeVi+o8tGf3ZPsN9QBYsS1aBxUXwwFm30UHwr1dXa0S/yGgR5PULaS3jY4xJ0S8yBKDXstfX+RuYyiL3w0OPq6+5SyUyUZoZ7qd44gN6x+Jw/5S2vKzqq9qWVrl5OQudvWVAxMdyc9Gv+G0+/qKag6Pkxq6VCfgkSQrRr4Upe/tc9fVDl2lRwb6ZNj6u8wLEvDO8i00m0HqeCE3I1CAi5VZpa3Tl9I5VKU6HwEAdGDtW2Y6fgSJX1Bz3qYPGDIT1eF8oQDYXu6Q+wIJxRSjW3B2vFpoC2ENZnNOX/dPjp/Msyjjt07j3cZFGn9xGWt5ZWUUYX0J8jyqk1bQ29BSxZImp9Tci0YoSFTU+UxBTKRJ7H2t8ndAE3W+s9+yjvXwdAP958JRiqB78H/Fr8stka+eyfqbGO0ZQTVjHifvqB0a6KR5GHVzlrYw+iELJZoBirV7CchyPDv9AERtQJbdXjzTxNNBeNwJUV4G3IM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1783079338

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

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

