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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-517

%DESC%
Detached debugging symbols for idris

%CSIZE%
6884525

%ISIZE%
34606707

%SHA256SUM%
c15e5337b7bd9da50f6fc1b18723da98ee400470a5e66785fc42a62231d110f4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou23UACgkQeGxj8zDXy5Kwug//VrQeCv/gyVsGVOzUEJLAXUdYDUZhfDcsZjG8YXfiNaJn5rVVlvoyxiuyuigHeYGqtPLlCNBsJEwUdiRgl2SAYaWIHKDP8O07t89q+7ga/BDNiO8cipC8g+IgSlWTDJpHwF3fmk+ZA89QA5UT0yYKxaScNWoPNYGmhP418NIo6svPT6tAQ/bNdgoermhq7BaGiLccNJM1Guq0OoUu8SS5u8lynFxBiELVydE42jnaWoGRtb76bjLh9P3NZOrX+yY/17J6Hg3+AvC479EBUPy0eIQgOXIeQaVdwARPxgMUmWE0K7y6Iss/gMMW0kPWgQqIjDskHBRQCOeh81FE3LsibDsn49gemFZ5OWdTxsocZkQwTr7zMqIZvV4zc7vS+jbav5NZ36hDAiHo41Q/BQxiFGIrbWEpiHTm6k9hhJh8gQ0B+boAkrzp1zTNnEEFykuKH2kaclI1ZnH4JWkraYjKBaczrPiHgk2anBsNe3qKWQKt73K50Sl+3c+IVUsyHD1KckYCbH1t72L0ppX+wVJmIKOa+sXAvZL8T6+OXCrxnCgAwpORY948w/J0ymY7EsiWw5rfzPrL7ISYFQl28m5JCH2jhfim1Hj1STs6TPzOxv5vbTvBxCRkalUsFf6H7WOPi4BIdKntgLZSvN+/9W34SKJhwEhVhNDB7KZJt72L7Xs=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781455396

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

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

