%FILENAME%
haskell-simple-smt-0.9.4-3-x86_64.pkg.tar.xz

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.4-3

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

%CSIZE%
66828

%ISIZE%
348160

%SHA256SUM%
f4fa8970f2bd65093830d1d72d8327101fafd7a07e232b1bf4a186d2615a33bf

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAlzBzS8ACgkQeGxj8zDXy5I9Sw/+IdZd5kmjNJMQDJcjbKqXLhkUGRQ0N0NvpMNMYKKvjCYuqzQ3R0sYHxmuPz56FuyNtNAPiGdlNRFbEQ307I0rLQJJESptSe1Z1wCn4VoOI7q7JxR2WNviP9jxTzAGgA0e/1toK7X9TzKEQYRi7rjnPBkDn5eejU3eYLsibdxGvExr0cC8RZTGbpnzQ3whrGRa/ZPtFJd1jv/JlbVODpj/0RC5ySg/mKB26zgJzjzO4fLZW1rr3eM5uEPiTAYR2xufo0azir781Mm/pN4CN8f5sGZlDoAmQGuPwAlvuUJlJ7dP3MH+c0vhxQiJYeCzmkaMNDxivIC3/X3PQ7S1pzrzDq9tmfEwaHH+YHWYoneFW1az9oWHgb7gzKtEI7CDZhSnNU7ULJ+J3/2xIka5MVmsX5dm02cSjIEyFP3fmevNiFavFhuDzJxLvtlYG/ArIfWwHP+Jfj7IRpfVdVJCcIkIiKT6kPMswGCUFRNx/HuEhGQNcSJib53TFxRTmY4RGMMucm8pqXNyKiXP0UKbOmgiQy07ap5lHcp3LEkSZofWxRZJOzzq6+LfhgZFivhLw+XtbVlFQHN9WybTVRVppIIoABQF7Nb3jWaCDCZoOhMJzlkDRuEEXA7LF8avKEpD/ntDGXhK2kYublTdum2gTJZ0GmgU4HjUYw8JERneX9pZW8A=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1556204825

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

