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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-177

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5710891

%ISIZE%
30712200

%SHA256SUM%
2d9f73565c4b74380ff3adfb82c9a344ab4e9384ed7d99b212a04975460e8aa4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTb38ACgkQeGxj8zDXy5JaHg//a6/LKMvJt2rIChTSlc29XYFsB9cg37T0aoQWcIj2pAl5XAEzIJtu+xCyODFLpDduzhvqLh4XnKiDwDvJd0nCrXGhsaC36oYOl7VP4Yljt3zWw7fJMtBN01jpYcoRUFRJpLd1ZLutKPWdvySZ4Ms2xgZEhWF3gkJW4x6lQ38vgWU0f04g5uwXc4EfJH522Lo4ACYXZ2aHMZp3dXpkbQYbfi+MdJGnl3X80jRSO99yJFV9ei+tDOu3JtGx5nc81lnwFj9l12exAlArVPFzhMZXomnusuzmvz7Ugh3BPsTaeUzcYkX8A7yA/QSMdDmVBNpprYbMTRWniHipIVBtpy4HLpoYPlSx1/D8mf9Ia30qLKKdezgmBcoe1nb6XDtKvwJN9DEO7j2O75gHMw2M+teQOO7qdQLNTNFvFBGpu1u2EqC2k5MTQNcj5gJEVvV1e4/HIc8MOVfhVjwIt7Ei2T2bCN3bT93nVuW2G0txZTvLkHwV+UJWZb+I0DJHk7pF2F9Ego7dAyXyNnZ5jsuA9ZyuleVQkv518p6fPED9eqbPejdrH4wAZ7L0hAMM/d9GFM3HWzdddDj9T1XYXijgxwpujw/Uls64hFUrYJMiPPJYJ26hZM8UJ1Br6JqiWfm4q07ELkralk5TE87TfNMn0n0RGhHLeIAx/mQlDxKBOhnt6WU=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792241177

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

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

