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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-142

%DESC%
Detached debugging symbols for agda

%CSIZE%
18487021

%ISIZE%
111393071

%SHA256SUM%
a343bcbb0d2c6cf9a48f6593ce9ef49e6681cf266f5a398f15bcad153b77aeca

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7GgYACgkQeGxj8zDXy5IN3w/+KyzMKvWRwiEaAIgawhj3Pf597/zX8elCQxg1i6CZ1zPF4XEGijjDxdo/7nW9jqmUTgSEvj8EsUPKodV6VCZeXP1Mjb/DBzVLWorM1qmbu6w3Gr8Vbw+PEqhjoOL9uLhyHvyTUs2kd0vmKq5jtPc09UVnyHz/ULVhI8DrWItaFvOvKWmqs4tuYOcm/3JSJBXfwasFbQ+woZTya3ZfP/eO21Y+Mh5VpFbmmkhHDKc2yioDw+YHy6EH2K0QGV6gfmROWls14wvRdxMvaFDQ5bUYQ68ZlAimNkcTdXi2ex6Z39KIaj4bNpwdNKkMT7MdJxLf0Cd9KnAWhfOELQk5ltE2TUKGv1HGz66CdVOCU8M8ldO6LCPjZbt7N1XoHQhGatYdbtd8enLs97KSXUsRhXZfCt83UcQZ5POpTVEqDyGB0CnHfEFM9oE+OLfVxcLJr2n6wZQUmNqQVFmX+Jlu7HUbdh8nz9b7FPRupDdc0/2Lv1jR6LtsSKq6RGvAXwjky//Auuui+rhQq1Fv+emVp4UxCH5MoNW2nsP05+oa8pQJn4XqvI0Hs3uOv68UbcnzdRsyduSb2e6Rxm7lxPkGLBhGY/0IS8XAM+5aHEGOONs67jcSLVtlKidujYrPW753rKTu+zKU3Sl3/W74Dq405Le9J2qHLXJqgbUOq2flEwkADgo=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1778063489

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

%MAKEDEPENDS%
alex
happy
ghc

