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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-150

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5716404

%ISIZE%
30646848

%SHA256SUM%
88e604fa5ada3ab8fd97d9f2f954fde49c07a4a1b95e7c9774f8868efd89a431

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9Y7UACgkQeGxj8zDXy5KSpg//Y/nvSOezhvh53G8BFQH/KiCqDe6SL63gCNAPpm2GipSVfk1bqpHjVqR/tEcH1my5JZWDKZePTan5h/x4U9xeMrYZr5ijk8ihnluXCozt8S1TcRFAYi5OQgFJEA/gaVEvui5Sx8UAQ97FxyI5549Nam5dYjXUaXLD53eqqI6d0fPoxBzzP1+sJqkes7czFVLMYLpF0UbB8HaG2f+B8lsLTW6ojY2xHp/yPsiQEdYQTNPdK1CMI3nm8bJVV+528MxPW2JVDReZ4zu/s+xTfE6XbXxmTa6amGg/PfeEccWcJw3poMkpkSQHTgnanH13Lgounn8buluFjzjLu2cSDudJgkqr8L5mUd2yE0zUCOVrI3/kLzVu5YiCsoO04339omUVsD2be3qmwNI0Bi5GSLti866ymZdVXiX6wQaIbMJIS6m1PUcWg5ZL6OCqnGDl+0XwKHF42xW5VVR1uRpUOQ7+jL7Nd2JCTSuoIUXRfAB/Y7ZQOWrU/H3AFJfiwWrlOM+kM11wgdGIZ2Q8RV5EU+lkH/gD5QLhmez+Km0fpXn5kDgdUfDvHJFEfaXgZWrUjJroLd6JDaBLPCIRTRbkKnAXL2WmQsYXTayTBDHpCOn5egpF45KgwxmjtGgMtX89AwvJd8BsBbQ8hD9nDHSqVGpCF5eCH76JH/xly7TExJWj750=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790796602

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

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

