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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-245

%DESC%
Detached debugging symbols for idris

%CSIZE%
5821398

%ISIZE%
30074920

%SHA256SUM%
ef79c4c18cf0bc13ae16440b5df95628cce6183a1780663f6c5483b538f56b25

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4VKIACgkQeGxj8zDXy5I16A/+Kp36kM6aBgjB9tEfJNLwVKV8uhVz5ePFHY+3lyTd0+bFODamllg5dtEmZBAY3xiATBWZTvc3B3OuvUITQNsClBgaxgoYWzFjqq4yVVfTHcQ/7pHn0uCuuedHPd9+8B4jqSiPOy9xDRod+LwBgmwz38MF5GNl2FhYtlpPCPCA0XW6X8DrNmqKVz8919QMMJdvXqNtSbh9NJTEB+Jn9GQI+DZcjJcSEm/OUXg2WSsd4C2Ujtsang7FlLnXe4923u4X679VwGGFMEANhASjUTS2eBFgn7YVpQsH8LWo+2BXwpmcbLeAD9JfcO2CIrHXfOWP/V6qRDXDkMr/r8O/JLnNxorhRnpsWDCzl1gVJNJqI5c4gzRw8UJhar93grhlvo2m4sFbSqyvq+Fs3n/5TfTEOMwNbxAJsKNLYcGq4dLjPMAn8fHj+1jAuZW7o48LPPwWmWEdjkILoq/9LnLj7NuoOis/6zFzQX8f05r0JHvyE8ohHC4OM1vmRGy8TE7cJFUUob9pqTtS1N+IluxmpeL7/RZG+XSWt3eYm7wmLcKY3rXn/brZz6oRm/aQeAXNdM+R6Q50nrbOrvk4fo7pr7cjg0aPg6gglsYJ5Nd/rc+DJN8bKsr109QYerWaqcNCqJ7D2vfksjNRAffOabcHxZ/p9XtgjCO8unrqHta3wH5FjNQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735938663

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

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

