%FILENAME%
agda-debug-2.6.4.1-15-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.1-15

%DESC%
Detached debugging symbols for agda

%CSIZE%
16839058

%ISIZE%
101976763

%SHA256SUM%
2c091fe692dfed935a58bc69c5dc869e27a7f1d31fc89246e331992d2b3514c3

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOukACgkQrx0hme8KPM9GIg/+PZ//IjLk2VsNVVTskhjnyT/ReV2KXwBPD8BEFCGtskEvrUCrkPhvrxiO+rpMBxc1irwlz3TaIaq8poYWyNgFDnC/VLPz/52EtqZ/Xuet9Lo1O+49A44tLoYaWG5rSlGEu90kJr0TaXly1uG4EHl4UMj/JNCqnx97hgM8Gh27E7dUBjgqXKBCgQSCkOUolViBEjVuK06FzikXl2uVgN4hEAtIo3AbbgRQvBlWHLYiEa314xaASUDVCRabxR+5ddssTcEJ/TqumR2dOSG5gBeA39vqLctgpn63gCFHDOvAeoxPbQLmJu0cVFWO05p1Rm8O0LhZ7Jl2cWwNbsyzGUbCaM31FZrO+4ky8l/ZThf3h++oKLFETV1GaBoHsfmGREVWDAbZDif/8zr+NiLAdozqFfo1yIBfqPlTVWZs1WUja7FgotpKqSY8jUHhnMCShXU8a1JBchKLaHSPmVrZgd8HG/OxJ/aqDiEbyiKIPNxO2uhPX6kdh1TwxvXOy2z0xXgJzj+R1Ph7ZhNMV4w0T2mdaSVM29Tw5XA8Fc7HKOG4J9rTPGjqjWlKNdMucWezLMLP4zuvP+txUWxCkkoV2VZGHLPuqdm9U+W6vOUBfYMw2gpg2xoXJIv/rSjs4OwmFpftVvvSsD84J33VAot7HoeXU39xRspYXhJgUVd25l1ODu8=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1735932506

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

%MAKEDEPENDS%
alex
happy
ghc

