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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-600

%DESC%
Detached debugging symbols for idris

%CSIZE%
6877288

%ISIZE%
34604891

%SHA256SUM%
8e366294dcd8237014344bafd997e0fba992e45ac7ceb530562bbe2fd705f6fd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrXMAgACgkQeGxj8zDXy5IrnQ/+Oj8G9vRREAiyB6w+BthrQDlnt0WAlaEQ+iVrYgwBfnK30vyr8pndsw1oMumibxfnp6kpSzSFGeIt1F7izE+Bo7IXjB+myLsi4xTQtxxaWbihFomKZFURmXyNjfxoVhtrkuj66xf0pDYK2ifsB8SKlaoDFo3TIqsr18QnfuWOEb3GHYNZWFYSBulehOHZ3BdAV6rwFaL/a2oWmv1jHEDyuC1f4bSxL1wYGwb1y4hBhAVz2C/CUiJyUXY+q5pCNjsXCs715+wLJ1JtZwXeDeOB1MTxGOlA+m37IzK/wRKYSbw4gFFzObjWOYAY6D7MpJ5S5QHlCEZn9KM2wqMrWjShBjx5K1xOiaBfrU8to8FJ2VcKt5IHgVkGbDnjKnjGfHbtrZZahWqam9YGWfa6JFvvuq5T1TbF7QyDQ1DRzJsR5Rmcxhv7oS48B6OzxoZgorkP2DeAj6T7VW6f8+JxzkYesYdPT01+CwpinIL70/WMSJ5iMtaSh3eDssl/LZPWAXhZ7doEJbxmoYpZzeyO0wy3VDNuNBKMINR4i3je3Y76sXR0Hr+y4kr0xuZWqcsHY2C6VCvtOY5qxmpgjovKc+wCNGkoMDFrH7QSvZ7Rxr6S65kTDflBhHsAG1yKZS5TivG9y1mLk8z/rHO6znNctcRk9SxDAhR6aN8sBSADicR6eWc=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792487084

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

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

