%FILENAME%
haskell-simple-smt-0.9.3-1-armv7h.pkg.tar.xz

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.3-1

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

%CSIZE%
69572

%ISIZE%
401408

%MD5SUM%
99f6f19c0a8d8b3dd39c42857bbe7c77

%SHA256SUM%
e1210643b122a4f3468b952c8c9aa7e819a4a2c8c096cb5b9441ee4fe6adb646

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvaUdgACgkQdxk/FSvb5qbBEBAAjcCS/yF1MtUc+4OIvZSftAzbGy2xX67VLEtBz4F3OZgTNuhXbYM8olMubQVzxxXb65VWfu2c8lanIFLpEd9TJWUpMH3h7r83hz0fkezIpOQOPlOt9ByoKNNPnDkqmOZbIIWgkJDgO0aoWe6mv9n5PEsxd69qPf1mnSjz4swAMnjsBMJreyfq8GFtX90rZD9zmZvojHFak+gfW5MWi+2EjmjWTj49b2pZcRPErxdJFiPk9KX+QYrrSxmARgC1XWeLjuoRKwJvYPkUnir34ArFVE2JmWLignJjrAcJMkFt1W1A0udDGh0KdYC0Nft1iFW8pjPCJ9XgUcQBb3YjY0aiyWqAWy66IvrOE3AYgiSADEMPV1fpAWuPWLfmeScrF3B/+51uaQrbxUu3mDPmMHbVvZLK9slmFF2rKnp3/584FoDI9FzB9MsEdLi/8Yg/pnisG5DUQ7styLoyhgJcPgsU8QYZe1pIxy7cAEeO+bXKEbEc1BWsbn14sTA+vs47hbTMdV6GflkdgBAyjzKqplxGAThgntlQ+wS9cdjl0fSE5WuN4rvOUFHR8oUm2bV187Tt+tTw+BiIiX3eymrpP48/KEbGZAoXkzXKYuWvjrCTcOV9MzIgoIQ94O3akupy1ncCNjaGCXhe23R88bLLjSuytupYFxC/AIvqoS8Ev/3UJvw=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1541034402

%PACKAGER%
Arch Linux ARM Build System <builder+xu3@archlinuxarm.org>

