%FILENAME%
haskell-sbv-7.12-9-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.12-9

%DESC%
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

%CSIZE%
2461796

%ISIZE%
19526656

%MD5SUM%
0d3f8881279e4754711c9531cddd0ec1

%SHA256SUM%
a933fa4e139d0d145b8d4b3f88d5a27fe8667c113d8b63c9dbbf78a3848b9394

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluw4mwACgkQdxk/FSvb5qYunBAAjlqnlPhFr8OhAWnncf2t8kZidKPTadowGtW3i8+MVKiYEgA7gCvZXXyWf1a7H3Pg13wZBHLEOZ4nC/tbdMR1xRE4ketYYHUABbJS9mHvXRAy44wiconpxqdRpGNhKf98Oe9LSYel4ucloPx0FzJ6tHWR7EcyK8kxGyWdoR+VJuVSyHZ07udPhC6jD7c5LLvCw3Khw/y9JNhi8EwPbIgaWiyvBTbkkm6tRZ9vKzDWvfB6LgQxgDmmoGuPpb+UHCcRqjdjVgPoNhj4rdT5F8Rb37Kd4W0W10XSKohXcMS18rFmaEpkg9GxWY7+WS7ixH45Ne+orPwo0vScMt9BFnfr3xevOG4X/v81GIgZtMulnpSFN6TfXfvEVda7i+CfN15sou/CqheClxcV2srdG1uGJUAqN0xni8g/VH7ATbHvBw+Gk7W2ciBCfg2oPzibPTC40BmTtL+cAAMM6r7mcMxOh4wTn4Hhxm3V5l8Co73vXucpt4JTPphtNnqtFhzpnppZjnTp3McIgkxaE8wJ4KH2RYGx3RDO+JvBlNp4qo5wEU0vcAWUdrv5oY5lOLAEw7YLAAz2bYbWY0muvJUbbNOGrhwOya/a6ajk0lOsPjIIbYXwAoUiVv7uI7WzVe+Q0ClCFz5KpimDsDfdd93+Z50gN1SY5E2/B3ceReriNgsoBtQ=

%URL%
http://leventerkok.github.com/sbv

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1538316477

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

