%FILENAME%
cryptol-2.8.0-157.0-pentium4.pkg.tar.zst

%NAME%
cryptol

%BASE%
cryptol

%VERSION%
2.8.0-157.0

%DESC%
The Language of Cryptography

%CSIZE%
2669058

%ISIZE%
16920435

%MD5SUM%
d17daa8b76cdefd73f3bfaffcaa8f8b9

%SHA256SUM%
89bc60889263cf3ff08f542fa59adb610559e947d25a77a6b874ceaa674bad6a

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAl8O5nwACgkQLBRsAalSrA/kYA/7BUmtuh2R4vOWiS9Uva9Akv4OHJTq2H6cQT+LNvQDjIG7PUH3QO1iRUbtqUdRqoo5BCJUMXIfhXJfquDBv3J1ay05Sbzjurk8PL0mTr+QWgzGIxXTDl7cztcsWIT6m0XxmwfVnUVZkuwC31CnlimhbfZd7lxHaLdrwJlyKZS2+/HxtIHYCVPBoe9fQWTcI09tUimc93zLRiOmEQgreVprY5/SVFU+47CwYWJavzibwnPASM0nTrAxn/bvW4nvfMPtjPn1lAHczLjCCdN5n4iPD52oU61Hd7vdAbWyjfvMRkEglNwSf0NKSwmw79JgVNbw0Cw7ZNwGaBXFKHloq77oauvCUkamI97UniEQTSJmctgmCJOvF+qJaMY0cZE0bOXlDaAdXys7X16fBTz+sTuY8gyWcAp+znHgCoRWLbKBxseosYlDtTTnb4EWkwIotte4JKuxeF+B2nr+UI2fnWBgRHdt9bu/7jW13J3J4T9/Bgxg/FVv4RBnrooHTe1RwPiyhMmlQc9E6c04gHzkUj77to2HBwul7k9rrcKMU1HhWA7ruc72TJdRpsVER4qras7lxy5Sbr7AdfcmwaIm3+cLfKSynnSLQ6dqWlbjmcvGnhB8Odu6ngEGbRHlb2WqTdZPw/aqG5R+VMXv4MbhVB3yi+O7QMCLuB75SfAINJbp84A=

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

%LICENSE%
BSD

%ARCH%
pentium4

%BUILDDATE%
1594811757

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%DEPENDS%
ghc-libs
z3
haskell-base-compat
haskell-cryptohash-sha1
haskell-gitrev
haskell-graphscc
haskell-haskeline0.7
haskell-heredoc
haskell-monad-control
haskell-monadlib
haskell-panic
haskell-random
haskell-sbv
haskell-simple-smt
haskell-strict
haskell-tf-random
haskell-transformers-base
haskell-ansi-terminal
haskell-blaze-html

%MAKEDEPENDS%
ghc
alex
happy

