%FILENAME%
cryptol-debug-3.3.0-144-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-144

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5708453

%ISIZE%
30580368

%SHA256SUM%
3af23ddafd8ccb0e40008fe89768097bc65210bd4cac6318b01c375a11e3d543

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqxaX4ACgkQeGxj8zDXy5Ly1g/+OGVEcKNji8qLfrpIr9ZoWKFqUl/Om6s+ljRv2dywtgdxwgpr6RaN/px9ikh9Coa7/v4CMWuds8RXKAarzeLmraWr4M2MBE6UKzzAjN+Jk//bzXcwUN+Tyg9kZmqLG2bFmokWbRRqJNiCeZIVspGH/S1cKdQN3ozrWj1mwxwwo9O2Ig/PGSg2vZ3epEUFP/wDQno2iYNIswJ5U6FkeM4IqlaVXr7Idy711+h+sMoXIWckw7d4Q8oA8DDx5wjE8Y6WdufpcolcBkNXwlZxQMGS/UYoigBYohHnBXaOlM7w6VK5oKKXgUzixEiG1RwPABnLY1LlEIk0qbgKBzV0Ys/hFzIujIA3TgUWL9ZoZWx+5elRIj8Qvl2JIvdAw9962isDodelEc4NOVlM1/pFfVb01u0OwWfSBL+1nXkOoVyHqDyGCncQy2brJg4MQDx6z+HYQsACBGVgDkuuWS8Zws0ekwZH/FDS0KhdsQdPo3WkJACdjbsZdehe7M1D6FG7f3PDatB6qZPZFEEkDukralBZJHf8ud4F1dhrhwnf99pzBa7O+DOoEVYGOQMl7GBtVcHVSZNrf5XkhWW3VPUgaoIhFa0ymmme78D5/eT9qCavsjVedia/Qq6l5TqfcCNNnfczIcJ7O0S1uHHUPOADnkCvHM69M3V7KcL9TsDa1Jkuk6c=

%URL%
https://tools.galois.com/cryptol

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790011608

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

%MAKEDEPENDS%
ghc
uusi
alex
happy
haskell-tasty
haskell-tasty-hunit

