%FILENAME%
haskell-simple-smt-0.9.9-2-x86_64.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.9-2

%DESC%
A simple way to interact with an SMT solver process

%CSIZE%
102568

%ISIZE%
474961

%SHA256SUM%
2373754bcee4c6614daffb9d4420c497fef511f35a99b98371e36cde95d5c871

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBT8gACgkQeGxj8zDXy5IhRw//Qu65+QWRluKN3a9wMRe0GSQs5r1mJX1omKn4jE9OFhhe2X2ejvhbPmPo5SsNOuopXhGf/HeunY2alJfxWvNdIVIvb9I1yY3+7Pp4gM6zuAf7qo1DDcYh5k0wu9avYFE1p6yrgBzYClf5Jr4FoMgogKt+GaUIeErULvXvytbx2D1VHN1oousiHAfgAh4HexLjcO7Xkrw8GbcMUtl/2jpY4DcpEQ/whVA9MeiqkfzfneNHQt5NrxZQ+8osWMoAerQNnKIG16Ryhg01GNIsdwWwPpI5Abpu3EylT4t5DMWSN4yCcviR1Q7+2DKKzdkPZZIFlw7gLDkQBzoi2SogWx4iDTNN5/lZKtM0eJF0HNOQefDZOVp34HO8wwmQlb471opGbT2bC7o5KqrcPAMOtEi+Q1Pwh91NUCQOvfpIFLMuaDbFqkujJS/r84em1c3NSHWzH7wgwrxm9QSkRiEL9Jm3FXK95Tp4tDEk+1Tk5BvIAPplnD9AeWNtzWAOBTNzbfXtMR1P6y3NSQTfETWsx5VSMXlzyS9Lm0Eqh1lZW6Qk0q1FuNvObA8u1M25dIsATIa/Yjewm5QwSkm2GRXrWZC+Xq/I8MSycYPwzmcr5h8hhlSkVOv67zhefpSw+fnvia4Xl7B9sjbI4gIvvLqfCEb4RltGtFToW6GEuqvyllzhe3I=

%URL%
https://github.com/yav/simple-smt

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791053753

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

%DEPENDS%
ghc-libs
haskell-simple-get-opt

%MAKEDEPENDS%
ghc

