%FILENAME%
agda-debug-2.6.4.3-151-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-151

%DESC%
Detached debugging symbols for agda

%CSIZE%
18481313

%ISIZE%
110746847

%SHA256SUM%
30702588eb4ffc354054749286b23560c8941ff0c0c699e7c409aa5f0a5a0c2f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTEAMACgkQeGxj8zDXy5J7Yg/+Jwvhq3ucjHawk6viQyBb9fliWcsoQoYn8RJL1+UcJsdXvEM7CZzff3Ls07lUTtyrVi77xqFixJA20Jo69OYzHVf6jPBzcc/djdE0EVDrkERThvODfeAIpG8yCFA27Fe6kwUTbA5tfiHPoDqVU71hJxVD5iZoaFjnPeH0u9ofBYZroy294HTEXdGzUWi4LUucXD+NXb9n97aTRiTxoPpUohBQR7WUT8kScydcJM3gWdzWCtaCR+3kfGhhOwUlF+QOAH2bpZ+pUlOYCgLcaSoKrq44s8D03fYCR35Eq4oBqruebqLVFuyiOKQmq165W9uVxdix+rH6lMTF6qEK4whcBtPZGXiP/BMkGr9sll5IJ9tcBPp7GfqCJVsTiTDmWAbd4SPh8WRg8JnZR+J85BGd1/mcZelfv5JkAsphVCIVrPdE4umclFHgTKCLxeITyPpCLvUqIPdT74IIQz8LueG31Gz8dpWj2CmuK6+RiMCK9YU6MRmXw1njd10M08oAR4AHUBkGu53yGH9lyJ2PrTHKLA4bez0q1Qrus1xxTJOLOHFRMVvTwoaifh61AcaTUr7s3C8Mh3uRwUHiociRuEjviYcIYNCAWDmc6abBjmjo12SCATUEJ69QQ4UZ22gexeE/m1wwOwXS4z1uEGBt9UkyD4y2Ol+FZp0WUBJNpnYYtcI=

%URL%
https://wiki.portal.chalmers.se/agda/

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1779633386

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

%MAKEDEPENDS%
alex
happy
ghc

