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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-514

%DESC%
Detached debugging symbols for idris

%CSIZE%
6875601

%ISIZE%
34606467

%SHA256SUM%
4376cfddd966bc83f67a1400de847cc8f9f55d85109df351832ef990c994e77e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHoiMACgkQeGxj8zDXy5KfJA//VMGMoL4nK+EAvXtDFlffHTKyiCNlNfTn3aD2goqbrWcbZTeMGQfVe1Z3ZThTUcJNFQnIxamziQ8ACtYldzxXkaxl8f1Tn6HMpd3kqZJ9mLsUwI1M+VvOjOMrI8q7hfLHXFcEakZt1Pg/3VgZ2Y5lY2wCMI/MN8sNGaDOxnADDs6IK8DjZ68Ib63jFwCT+4SyvzEfRYsRQqdTQYGo3shg9n1HDge2ev/CP6TQggU5I7JE/y/4PMfkGvM8sDjQCk89yMexJ6gOS70wFlXg4w9ci0VjBq7qyUhJAVSp1CAznqh0cGeB8JwRkU1dCo5MF4Xay/prGtyowIXYlilZPZ/3UIoaOr2Wxzfphop8WkJLt25eSpExNKjS9IlVhePAWXnau8ozEUHlShup88e7D4Xrs2T0BQiNFIfZxH4J6XYg3Tl9L/cWK2kwPa+FqnNwsdCPUNpK6pnlpSxyO7dqdobbNPHEqA0DM0e0XanpaMSFDI9LRJiYzF/AnXflYMTvcw2dG+dlxsVCu0KrPNEPEnBCFtG/G/omamfvr90Fb3jylrYAePI0OGsMhhXAphkxDdCgrG/jgNRU6pk6/6IVVfJtPYYW8NmpNMavkPOTP/8XU+CEABMeXShuFWdMroBQ+oDKV/hnYqQFHBhnFRp3wjKrD9N5A2iwnc3gHpwHaMYLwrQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778884827

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

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

