%FILENAME%
haskell-sbv-7.5-10-armv7h.pkg.tar.xz

%NAME%
haskell-sbv

%VERSION%
7.5-10

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

%CSIZE%
2177656

%ISIZE%
18048000

%MD5SUM%
7dcd164cfc1b25bb1482f5d13de2bcee

%SHA256SUM%
aedd9e6ee5ce75799362dca934e3f720ea842c169bd367d0abe78e8983e27e5a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqHz7cACgkQdxk/FSvb5qaxcBAAqePwmdZaihL3ZnuItl9aFZ6nyPYnlSuWQ4nEfnSZ7IO70zkbPNuOnjeKANKTahftLRwKz7OWTGom5aYnFm4dVd6NBseoczyhv3hmdWADtMKU/tHBLrB9L2XjP+F7RBH/yYa1Auk4rwhdqJJtVkt+agFVgTR02MjOUXicZ8nr9hN3jRvZQy7cIIrrwoSGNrw+vHcl3oYIO0MWnW4siwKPQpThfnfMslbZ5Pp5xS1TS2eJxhSr2Edxs+vMzZfxHSqvwXfXUyRsyx2ieb/Vyx/eCDkMVL+5fDsoDs37xKjkyjG10mksuDnTFxOA8nDqimr/FfmzzxNnRrdUuLdc+ou3dOSZz+lu/BUO3rAN6dp9PAYZFPuY0W9KU5+YQplrFjgNnYx8UrsXF666MVWrsghSomeeCgpEcrbCacE9gPl6yzVaSOTHtk26k8fd8w6HBDPeYACVn4RgiXa9yBtMwI8jCwK15RQPYjS3MY6vuDfFpYJnelpG4DLc/vUxHMMt/sdoAo1UrYyfzUeis1gbqoHUy2hLCcwlUP7CqCkzOArV+qnHBrKjS1P5ulfPMCBqquE4ffX7kbnEN/FsxglexX4Ya4zCBPR793b8qJIJs+Yliak3bUUBdExP1VLVqZKX6aHHCp2oyGQ+fY3UqTViOaBhdI0eCXeTtAJvxmpu02P4ro4=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1518849956

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

