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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
7.12-17

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

%CSIZE%
2461388

%ISIZE%
19526656

%MD5SUM%
163c5cfc547c2e3e8b735b5314fcc6d2

%SHA256SUM%
5dedb7ddb38a6ec18d5d7a3a475b228d5a785368742576d403ffee9a2e2d4708

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvAujsACgkQdxk/FSvb5qbgXBAAlUkOLK26F5AMZlw4lM59goTG4xP8+8Y71paEIz6pvmZl7M5jr+gwIhnuxy7hHlg1y296CeJCOH3wYk7CmD7DbzQwq4SkXcpoFXEfbbAwCx2gvwiXwXud2xaEj+2ArveTmuX+PDpUWAwu4UShgVKv1XYBVHKQnDAnZ4/r7wWidlLtQ6F1b/UO+tgBH0VEgKN7+gCmKmJLbHdH36Uo40C/kPGnWl4XLNpX+LCPG+UOyheXKhLDXmh/pakInDxFP/TaU1l+qNpofuptirt28hdWws8agzMrl3eCToKOP/fnbye5XuA+tYLfu1KWnklVX3mZz7Zo30HblwC4pCYSnPlWrkBAEEV+QKK5Ujg2BC/s/mgabOQp9q3OM/z7acBx7gHA4VetjXMYHo3wIgxvQGhbWOGvzby0hNEu9KWUy7W4FcYk0udkS0uxWPhZbil3R4ip1ew5Cuj8sjODq8vDiQGvUW3tKKmADhWqkVnzStfVeU6otU8Fx47v2eCMka2bdTwCY0iGaG0B1je8uwpl+TzhL8b/H7mMjXC1Ej5BMt0jHPvPaAcIrXPoJkIkD9FRiBd1enRTiJuTjqtOdktpFOPJyKf9kJcMfqfdF+rEZxzHG4mOIKx8VcKgj2tCKlPMwgvItz2DpDSN79+9Ii2klyyT1SmxKjAxMEJKtIPaCGOXcS8=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1539354768

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

