%FILENAME%
haskell-sbv-7.10-18-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.10-18

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

%CSIZE%
2331604

%ISIZE%
18541568

%MD5SUM%
ca8faf64721b75826d83f444e74403b7

%SHA256SUM%
7617cda78a62eab1442472fb292dab80cecc27b6d7d7f88481af453b742a7d5d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluIY5AACgkQdxk/FSvb5qZ/LhAAuqxrG7jI/Pmm+pY6wGSwnOV7gVm8lUgzS8axdvCwH9zmlU3qJkdiYeYqkDb6WPdQBiYUKWjDbbSELz2xbHTmwAq9ny8K4ST/t3RXu+lyVs+TVferTi23/3lI1gNIFBslMNMD6aawHSW8HTHspvRQSUVHU0oP4JRO8tAi9VZ+tJaNoXaDEg0cBMeXxGjzx8Hph+1FDKEbtFqTLNKAjNRbJwbqPeDbQjqMcpAzw2jXq7nJsW3gG9MGGrshf8hpU7HPQn45vQsi24zVh5EEHmPW7g9BEjZoGvhl72UNjm+amsJrcLFf5u9+MOG2sy7Usxi+kkPcw+1cicgNRHbE8wMxMYzOhG3nI0ZcusyYbQDcakQ/A4HnDbzM2C7f1xCZPQPaGivFE5y6gUsKPN8N/gnmHoRwmM4yaPEHB6qzHbM+Ny09hIKDtIHJlU3zmQxtg35/gak7ZQt/lGVPQ4f7C9b8BvFrOOaBYLovlgztZTNTEEEsC2NGC81zwY9Pe67Lwn5S82/paVQoDEg7U6EsiyzB2s0N0nEBz19zQV+U911csu1FMuH0CS4TweYLAX5Gm8pTf8GBXoqT3cFpqQPrVCqtUIG1enKQ4dsxMGBMGTUPwhOz8kC3Q7wpJOeskFnYljK6th4iHx2jWXjZE5ObW9lEmJFX2LhBaZxVUec7KzHpzTg=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1535662641

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

