%FILENAME%
cryptol-debug-3.1.0-83-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.1.0-83

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5130221

%ISIZE%
27222329

%SHA256SUM%
7f3a736bfc1d6409c14e24b9071298845fd9d083b1e388a8d9295b225e9299ad

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkiMACgkQrx0hme8KPM9M5xAAnfYf6dVNUB42g6Pe7AwYR9O4X315wmkqkBqY3/y/igVr2CxQgQCmC+eCnkW9Xg6OTSJa+tZ2FQEHeNWh5cfnjO/M22IDdwi+K563WBlDKRzKyYe19dptXpDADv0xsZHd45QqNMQo88/djvYtmWev9anhSHZzRKi+Ub3NGOpeGXAHsJ9cGKNjBVmXpbYuBo4c3Z8lUbhQCtuiovHdOEpsNcQlxAPBtjhUGXswNCrfb6lMmV+R3Yer2LcDWBOW/qD3o39v9/BTNk7Z2Z/x+W1mv6jSUgIWOoFD/l2W27XKla2ue5U7aLRSP8jgeKdwDBkU+4+feM8VAvC/v8KEkn6y1DftGivJfs4a2CKZRSk7UEHGxw+6gHnJujrabjE88pPD55OF6160nXl27fTtHan9uRiUX48loN5DVsYvHkqSIuf9bUEySpyNHUctCxipEvkbdl6xDBx5GR0D7Tj2/9N3+x1/UzO7p77yQ4h/51jgMv/k/bT2U9JMrv+cwZvPF3N8i5ZFcXdU3B7Ebm0u6xxnhrkneSsT0anGJpkxCMryF49TveVHoFa7MApF+TvH6B53vN9o8MSG6AWsXPJTffpR5PLJoBxb9cNCag/kxHNfRnm4UiJEF3/FXOIP0Bd6/B1iw/Sp8EosgHf1/2JKQI2oERsAxIT1Ro34V0px+a5mZiY=

%URL%
https://www.cryptol.net

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753725061

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

%MAKEDEPENDS%
ghc
alex
happy

