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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-574

%DESC%
Detached debugging symbols for idris

%CSIZE%
6874948

%ISIZE%
34606347

%SHA256SUM%
34cb7d0ecf80dbe629aef16fd149ea25306e93757396d9718f2775fde0773625

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9aJkACgkQeGxj8zDXy5IEexAArawS6Rdbd0bFpj5A8yOsh4D3stOGsBMdWrseVKASBpf0Qu8JPhTZCix73Yo56PAUwmnbGWw3gNB5R5jYb8Va5nd69vXuue25ADzdZOFOMd/zyOJgWQzeEeL3od3N52CfKpR5CT/brm1agRBPycWMWTHgX3ZTmfhRLEu8minJGKo59MYb1y63y5m+Mri4nHPk/ALgY/aIYynaNtucIPetbshQ1nCjQgiLmJ15ETL6tgxuD1BbmUAbi+DHqKOG8yspsA5yLBjxpyu/nglmeY3vEOJEsFNxmdimsZQKHi+59IOgGXzjA7w7b7IYCleAbEeVsQ4P4/ue068cpp6ITRdaF692wzYpzOMYIQtvNn8QMTDjytkxsIrwJJ/jZyZXyTVv9MTn4DuFHyOpO7+3jX8JtMm1cWTLby7d8OFTTLKeItIVJ02/D2J0ANh5xEwHInjZyqNaUmDBhsMYZphPyPJrTHt/js3G42C6uvD/TZwbwuvffSnplqW1Pn7LyE94+8Q8DPB0I3+AE/BXzLwn7bwE+apWmaiLXSTJqfWMJ5xwIOexByiX4L3Enb5fax6CNwwNEhpk5fTe9Fypmuffei0TcFzOj6UkzZM/FS673NBKQjY0stVihX/sQ+fzKO5OIRXrtQDi/DgUYNtH3KleueAFmInWuHd3jjIk4IHViVae9lM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1790797616

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

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

