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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.3.0-157

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
5707302

%ISIZE%
30581608

%SHA256SUM%
da3c04bba6fa1631245c8504755d79cc3ae2f7eff7fb1eb31e651b889e66bb0e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAX60ACgkQeGxj8zDXy5Kr0hAAvyo22yzyzW97NB8B2sow7iBheNzeenXnJdxlSJc3MZRnaO+3lF/agg4cnEXdZgFyVn/OOtwiopBGPz4PKApAQ/GxI53UPqvXp6te5t9iEjdgxquRMR1sPzIZssI9s0JHy4P9f9S2J/EqRqNz+P/vDVkCtPo+emqGp+pGvalRiXWEDb+T5iFdpvZVuLU5f5suqg7RdPGw0mfMb3YFcHV7D88lzMV74vpkQiCTuCt9I8GlaByzq+vRsvMdzxN4HNgXNaxFrP8DePdYyAQpwTnnp2lBWBpW/54ilcTOzEI+umTZHWx7LCW5iEierEW3Ms9x3z9RXTOS8719rjmIG4HS+sGR0XcL4+PMkAvsdnbQ/GhR6xHZN4Auoznqq5ugOXXmlI9x9lXNtT8zMWhvkrZ/0Zn5SObJUnJD6HtIbUEjtKNW40bRsrLKXtKvqLVDJiJjohYQOITIPBRbo6guTyE9rgyIjDVyfzXujjkCZP5PgBvcevLSJnIYN4u8WRhdoWdcVYvkxhcQfmJRgv0oHrizUMuERb1/BBwQjBvfH5K2m6yb5qcdnuEv38s2KVp7Lq4xOaoXq6BX5ty52vKVKiVlDm+GOQ27FkVJ6Fc3ouaq+FIAPK6Jonfc7ufRjq8QI0Rxk+VTs1BEmGrC933m2r9imssRAtDdGRMvQxn8gNp7kds=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790991982

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

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

