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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-338

%DESC%
Detached debugging symbols for idris

%CSIZE%
6463340

%ISIZE%
33051688

%SHA256SUM%
cfbac400062f6a4361748dff5b9a22c014cd1dd7a50b8e88715b2092bd004a2a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHu3kACgkQeGxj8zDXy5L7ehAAouPX0Gn5polz2SAUNhKJSXbJRV0y33TefgC8a3fZddYJNrc3o70oCtEXSVSeTgmHjVWPSciUf6Nt023jsX5tJEToqPH9V8TfkFhsfpONWRZNIafq87OBn+XMLpyULdWApUsGMEnTzDj+Z9lj68BH/lro4dR04W6kCdMs4RYM0h2j+EPtldBhvG1vNl+aAOTSTP6BJDvlwfVSOoCcBYyMu6/iCnAUE4uJKvluuzH1h313qwMzK+il+mpPvOVUAfoaqj2mAcgmx9cmRKyimSgNs4Cl0Jfx1vEsKC5vVqvnmeJEH5mO5oIT8QOIIHjrXnVPHAg0Gh/Bq68yEkMYecZiKIH7K2aojVa8QGxwyR+g7NrtWJ00LwgojyxWOg9SRhag+Ed4uMtBwLYVsA3a6DOWRk0wTLy3z2/lsSUJyO/9Fa7F+RdFcUQm0BpUo862pQXq4GRMJUpoqagkq1kI+/w45pk3nK1bnfdDF9fhS5Nkr81NzCL3aHLWMa5GzKQb5N2/ic7WNSTKcFw+82uPbVSlYTq8fb86/Xy2Y4fb4hLHPZVwpjye1kh6/u76zlRezQ0U0KQNgtAOCbxCtUWi+AHHSjYrxF2m08GTwHIInZ532FN6zmrUaMu6/uXoqWVSIL4toa9cmfvqs7ftwxaiulmG8QQqv1rIJB7TgEQ/MW02yDk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753725308

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

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

