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

%NAME%
idris-debug

%BASE%
idris

%VERSION%
1.3.4-567

%DESC%
Detached debugging symbols for idris

%CSIZE%
6882208

%ISIZE%
34664851

%SHA256SUM%
c80b9730e36021d8595058ccb576aa5fcb9864abdf4143798357ddf1b15c3c2b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq1n2UACgkQeGxj8zDXy5LgxQ/+KowATsAippoXYukQ98FzNQSD7IBxE/5L/sKRb6QFoOI33TrUmAGDE4xAEZUGG4gdwXofXFKF/l7d1bdRZQo47J5SO80Zgayp9gHdlqJkctiDqnC60A/Idl8HbtWhtnOZpyYBzCzYLS8tPc2psyens1Ud8seiFR41IgeOujRhOAqQJgVDSk+YhQaQEGs7BOLfwaF1F9382Diar22kVa9Y4o4cbx1Mg8K3mJh+RMSyvJsWgwDOcQEc05NmoEwdSiEftdKANBT9Yszaz3sZEZAXucY8VZS7wBPogkRnLtomKiwlXScHozueks4nl4APEJhJVh38WfDh4PAtUq/l/3W5FBPHQEXxX73+p/8LCgJp1FFEI5QqgF4UbR/z7ITivj2VqE2Usf/wBLuduw8ldEcaUQ46WQK2QffTVU8Jh5ll8iJKop2JFDfRIyVax69+JhqAr3Ua9SftD7U1ww4mrogJVyc7VMZzEvHJaqWBS2el5GCclnjuTN9hW25ZCgvX7PRob9nERDB/P+jFOE+xXoFroABXSnhmyMmvIy5StqCEBP20WEN1CUsT3+cVAvwKvozZfTKKtK40/sCRUx6gVCZWYE96Lotf+AJ6S5HMyuAyBvPa/a0ilwb36njAS76bcTfnWmIJ1D5lfTpG7SqvT7sRb6/dZAh/4CGiyeBG6AnnQXQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1790287263

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

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

