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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-593

%DESC%
Detached debugging symbols for idris

%CSIZE%
6885502

%ISIZE%
34722155

%SHA256SUM%
de57945cb44441cf3eaa6736451ef03818aa3b90f9151de63bc9a8b25d3fc70d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLWG8ACgkQeGxj8zDXy5I7KQ//bIRtX+IYC4tshJ53HHajfAfA9n4da8DQB59ZxOXHwyXFKUiEA8MybuHQc2GCYP3xEkixNAblVqAk1iprnM/8yEuOsfS5JZkSYEAljqQ4jod43XAmcR9MCulQnVuqwzXY8sAxKKcS6QW1hwuAR4icvFkHn4mKNlQnJrMTsCVpY+6p0yTHui2D+YlTqD4I64Re3AsILClfJ8CY3/Eg8u/SSx+CQau/EvX+GmTzV6Vx0IPzohfogiTCC1awRT9CUrS34hEb+WzgULAG7zN606Vl8lBH8uL4ESB2eGPL8/GKdeOQzWPLUPCyUaDI3o9ZCeN1wdlPOCSm9CdO5Ns+pqzR1AVGPFujdTFAWURyzeg/VvW/B22ZEEPVVV6FBor94hMTKEryJuqHApuRs7MXYjqC+sYZZ4xtdeMMgqHvLKzesPkWpCWYL48Vhyt4Zs7KvxAVHNL00DnJY5T3Pfd4bpZI/DBcqpMI806oa2kHzVI8VW1LaukK7siqoU701lUqDSUpbAd4Yq663yBV+CT1nl53B755ZYektFRlOETV0BaRRCPamlgigIKvcr1yozheVi7+EbhC/Dc1jYCO18ACYsPMEqi70oc5EqsPRgn5fpmDnp1BdC5G2bo7HeMKxkKP04fSJjIhpdEcc2MaeHYELgmrZX7ouIpkJC66OICJzOhIqck=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791710971

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

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

