%FILENAME%
haskell-simple-smt-1.0.1-1-x86_64.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
1.0.1-1

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

%CSIZE%
103437

%ISIZE%
475268

%SHA256SUM%
ba6d68b85eded2c29fd39ab418c5cdb90c45384186af144d911879e07afd04d4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVJdIACgkQeGxj8zDXy5Jj8Q//U5mOB0bKhMUhlPdMjkBcFGI1GrNElCrY9kXAD1HA5jyPspv1iN1aIZWsVQgZJGY/zc7mKx3Bq+QzsgamzdTV1P+TeQAEUqrTpUHQ63wh8rZcQhOSCfePsGrWjLheAjheRNgZe0twxsaH/kYBjL1raULGCJ++kuyb1goD4qtpP6IXuI/EaCn0Sqf4Lj71yu588l5HUpRjTQkocs3XuGtOjDjGio4fIv72Wk8i6HfsgqYYf44QMafpNEl+zIBiT4u/qTxkM81mWk++VohmuPZ6NewNSdpAuNwLw7hBcrAVEiz8Nrr6iWAuy0RKIIpamLfV6VmX4XmB6+re2qq9qwwD/byyp/NA29K1Og7w98SyIix8Icm8A+tk56SjBVrvuwG2uQGuHDISg2p19T5W3Rjg/ebgJX7oliTgd83fmYnwJlE6hlVbiq1XPM1An7EkLMYMy8LrrjCl/1qbIA50D7FG6QKQuiGbeVRiDUtwRyh1bFm9loDbvC/Z3NU15Vcb+qJq2zfQ9FaU9FFMs/ORH/61DhZRUypILN1H3k/Jb/mjjVM0H5+V9rFsCkCFcOHwWbaVaMj4vH9ZrHNgmR5m+23zJ/IFT4DkZEJ4n6cITiaG6EcNT3qg5YbP3J1mrANK2DRjjPLh63EuMi3LTV2mYUeNSpb5k+UMZ8K+Hsr751WFE+A=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792353732

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

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

%MAKEDEPENDS%
ghc

