%FILENAME%
haskell-simple-smt-0.9.7-1.0-pentium4.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.7-1.0

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

%CSIZE%
73335

%ISIZE%
292372

%MD5SUM%
0d20834145379e6527e703f38bb1051c

%SHA256SUM%
1ed3b7b93e78dfeb26e0c67f6a15c1a0861cdcb8adc75c19a50070458097ad22

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFje6AACgkQyOj1oK+bp+eiqAf9EvBzpqWXlg/lOl/KITIVE860m3eKeifK/rEmSlguV3QD/MVe+vps+cNDCjWIJOfRJbzMKV7yhpPUHBea8a9lIcvpqvbneM52KpTrPmiZ1v66VLrSE6z+ydiEIy8ZIZcK7ZM8COYGxYGIWOyuvHzoA4Sz11V6v5wVo4VDSiPRQRYURi8IwrFNllgKrYwIgeYp+BGm6RbaXZPhY+Z2JT5X2wh/jKQ0oRLMBg+rbMZUyHK/jJ9B2p41vL+evnj+aCgLoYg2HbfWRCSv07a8N8D8Ky4jvxyZZhgTNQzjFki7EpTwBoksMoDt/KPVSEvGNJ8osAv3tAzFH2JQmSNLk3seGw==

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

%LICENSE%
BSD

%ARCH%
pentium4

%BUILDDATE%
1633909644

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

